Improving QED-Tutrix by Automating the Generation of Proofs
Font, Ludovic, Richard, Philippe R., Gagnon, Michel
Published in Electronic proceedings in theoretical computer science (02.03.2018)
Published in Electronic proceedings in theoretical computer science (02.03.2018)
Get full text
Journal Article
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Font, Ludovic, Cyr, Sébastien, Richard, Philippe R, Gagnon, Michel
Published in arXiv.org (28.02.2020)
Published in arXiv.org (28.02.2020)
Get full text
Paper
Journal Article
Assessing the Quality of Domain Concepts Descriptions in DBpedia
Font, Ludovic, Zouaq, Amal, Gagnon, Michel
Published in 2015 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) (01.11.2015)
Published in 2015 11th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) (01.11.2015)
Get full text
Conference Proceeding