Search Results for author:
Found 9 papers, 1 papers with code
Ontology Matching Using Convolutional Neural Networks
In order to achieve interoperability of information in the context of the Semantic Web, it is necessary to find effective ways to align different ontologies.
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipating their next steps.
Spartan Networks: Self-Feature-Squeezing Neural Networks for increased robustness in adversarial settings
Results of this study of Adversarial AI as a new attack vector are based on tests conducted on the MNIST dataset.
Improving QED-Tutrix by Automating the Generation of Proofs
This automation must follow fundamental constraints in order to create problems compatible with QED-Tutrix: 1) readability of the proofs, 2) accessibility at a high school level, and 3) possibility for the teacher to modify the parameters defining the "acceptability" of a proof.
Improving Entity Linking using Surface Form Refinement
The approach extends the surface form coverage of our entity linking system, and rewrites or reformulates misspelled mentions (entities) prior to starting the annotation process.
A multimodal interpreter for 3D visualization and animation of verbal concepts
We present an algorithm intended to visually represent the sense of verb related to an object described in a text sequence, as a movement in 3D space.
A disambiguation resource extracted from Wikipedia for semantic annotation
The Semantic Annotation (SA) task consists in establishing the relation between a textual entity (word or group of words designating a named entity of the real world or a concept) and its corresponding entity in an ontology.
