A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming.
Ezgi Iraz SuPublished in: Fundam. Informaticae (2020)
Keyphrases
- answer set programming
- autoepistemic logic
- logic programs
- logic programming
- default theories
- nonmonotonic reasoning
- default logic
- answer sets
- strong equivalence
- minimal models
- reasoning tasks
- answer set solvers
- truth maintenance systems
- causal theories
- stable model semantics
- answer set programs
- classical logic
- fixpoint
- stable models
- nonmonotonic logics
- deductive databases
- default reasoning
- modal logic
- programming language
- update semantics
- general purpose
- inductive logic programming
- answer set semantics
- relational databases
- probabilistic reasoning
- inference rules