A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract).
Giovanni AmendolaCarmine DodaroMarco MarateaPublished in: IJCAI (2020)
Keyphrases
- extended abstract
- answer set programming
- reasoning tasks
- disjunctive logic programs
- logic programming
- logic programs
- answer sets
- modulo theories
- knowledge representation
- automated theorem proving
- constraint logic programming
- causal theories
- event calculus
- stable model semantics
- stable models
- meta level
- answer set programs
- reasoning problems
- knowledge base
- haplotype inference
- knowledge representation and reasoning
- tree decomposition
- reasoning systems
- polynomial hierarchy
- update semantics
- disjunctive logic programming
- expert systems
- declarative programming
- fixpoint
- programming language
- high level