A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
George BaryannisIlias TachmazidisSotiris BatsakisGrigoris AntoniouMario AlvianoEmmanuel PapadakisPublished in: CoRR (2020)
Keyphrases
- answer set programming
- modulo theories
- reasoning tasks
- causal theories
- causal reasoning
- qualitative spatial and temporal reasoning
- logic programming
- logic programs
- answer sets
- knowledge representation
- stable model semantics
- constraint logic programming
- satisfiability modulo theories
- interval algebra
- answer set programs
- update semantics
- reasoning problems
- knowledge base
- tree decomposition
- cp nets
- event calculus
- answer set semantics
- reasoning about actions
- default logic
- knowledge representation and reasoning
- qualitative and quantitative
- point algebra
- haplotype inference
- automated reasoning
- stable models