HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Ontologies

Papers
Towards Word Sense Disambiguation by Reasoning
Javier Álvez, Itziar Gonzalez-Dios and German Rigau
In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
Japanese Visual Media Graph: Providing researchers with data from enthusiast communities
Magnus Pfeffer and Martin Roth
EasyChair Preprint no. 1800
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Sophie Siebert and Frieder Stolzenburg
In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
SWRL2SPIN: Converting SWRL to SPIN
Nick Bassiliades
EasyChair Preprint no. 520
Abduction for Learning Smart City Rules
Nikolaj Bjorner, Maria-Cristina Marinescu and Mooly Sagiv
In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Reasoning with Concept Diagrams about Antipatterns
Zohreh Shams, Mateja Jamnik, Gem Stapleton and Yuri Sato
In:IWIL Workshop and LPAR Short Presentations
Evaluating Automated Theorem Provers Using Adimen-SUMO
Javier Álvez, Paqui Lucio and German Rigau
In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Copyright © 2012-2023 easychair.org. All rights reserved.