Leśniewski's Ontology - Proof-Theoretic Characterization.
Andrzej IndrzejczakPublished in: IJCAR (2022)
Keyphrases
- proof theoretic
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- proof theory
- default reasoning
- knowledge representation
- domain ontology
- domain knowledge
- fixpoint
- model theoretic
- semantic web
- cut elimination
- background knowledge
- belief revision
- knowledge base
- logic programming
- temporal reasoning
- conceptual modeling
- owl ontologies
- wide class
- np complete