The Ontology of Justifications in the Logical Setting.

Sergei N. Artëmov

Published in: Stud Logica (2012)

Keyphrases

logical reasoning
knowledge base
domain knowledge
domain ontology
domain specific
semantic web
semantic information
ontology driven
database systems
knowledge representation
probabilistic logic
logical representation
semantic annotation
semi automatically
conceptual structures
requirement analysis
data sets