Semantical Equivalences of (Non-Classical) Logic Programs.
Aïda BatarekhV. S. SubrahmanianPublished in: ICLP/SLP (1988)
Keyphrases
- classical logic
- logic programming
- modal logic
- logic programs
- autoepistemic logic
- possibilistic logic
- commonsense reasoning
- intuitionistic logic
- answer sets
- default logic
- revision operators
- connected components
- fixpoint
- stable models
- possibility theory
- computer science and artificial intelligence
- answer set programming
- rationality postulates
- multi agent systems
- nonmonotonic reasoning
- automated theorem proving
- databases
- general purpose
- software engineering
- artificial intelligence