Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds.
Mario AlvianoSotiris BatsakisGeorge BaryannisPublished in: LPNMR (2022)
Keyphrases
- answer set programming
- modal logic
- logic programs
- logic programming
- temporal logic
- answer sets
- inference rules
- reasoning tasks
- constraint logic programming
- causal theories
- epistemic logic
- answer set programs
- stable model semantics
- classical logic
- nonmonotonic logics
- situation calculus
- stable models
- modulo theories
- autoepistemic logic
- knowledge representation
- default logic
- declarative programming
- answer set semantics
- prime implicates
- disjunctive logic programming
- qualitative spatial and temporal reasoning