Characterizing Equivalence Notions for Labelling-Based Semantics.
Ringo BaumannPublished in: KR (2016)
Keyphrases
- model theoretic
- computational properties
- dynamic aspects
- logic programming
- formal semantics
- logical equivalence
- semantic information
- neural network
- knowledge representation
- logic programs
- conceptual model
- deductive databases
- default reasoning
- proof theory
- object identity
- query containment
- default theories
- semantic representation
- description logics
- multi agent
- knowledge base