A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
George BaryannisIlias TachmazidisSotiris BatsakisGrigoris AntoniouMario AlvianoEmmanuel PapadakisPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- answer set programming
- modulo theories
- reasoning tasks
- causal theories
- qualitative spatial and temporal reasoning
- causal reasoning
- logic programming
- logic programs
- answer sets
- satisfiability modulo theories
- knowledge representation
- stable model semantics
- constraint logic programming
- answer set programs
- proof theory
- qualitative and quantitative
- interval algebra
- event calculus
- knowledge base
- tree decomposition
- cp nets
- stable models
- update semantics
- point algebra
- haplotype inference
- relational databases
- machine learning
- reasoning problems
- knowledge representation and reasoning
- default theories
- probability theory
- spatial reasoning
- declarative programming
- expert systems
- decision theory