On Three-Valued Autoepistemic Reasoning and the Semantics of Logic Programs.
V. S. LakshmananPublished in: Methods Log. Comput. Sci. (1994)
Keyphrases
- semantics of logic programs
- nonmonotonic logics
- default logic
- logic programs
- modal logic
- knowledge base
- deductive databases
- truth maintenance systems
- answer sets
- logic programming
- inference rules
- autoepistemic logic
- truth values
- answer set semantics
- reasoning tasks
- fixpoint
- knowledge representation
- production rules
- default reasoning
- default theories
- knowledge representation and reasoning
- machine learning