Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Ontologies
Publications
Ontology as a Source for Rule Generation
Olegs Verhodubs
EasyChair Preprint 10518
Japanese Visual Media Graph: Providing researchers with data from enthusiast communities
Magnus Pfeffer
and
Martin Roth
EasyChair Preprint 1800
SWRL2SPIN: Converting SWRL to SPIN
Nick Bassiliades
EasyChair Preprint 520
A Case for Extensional Non-Wellfounded Metamodeling
Joseph Zalewski
and
Pascal Hitzler
In
:
LPAR 2024 Complementary Volume
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
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
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-2024 easychair.org. All rights reserved.