User Guided Abductive Proof Generation for Answer Set Programming Queries.
Avishkar MahajanMartin StreckerMeng Weng WongPublished in: PPDP (2022)
Keyphrases
- answer set programming
- logic programming
- constraint logic programming
- automated theorem proving
- logic programs
- answer sets
- reasoning tasks
- query processing
- causal theories
- knowledge representation
- query language
- query evaluation
- stable model semantics
- answer set programs
- database
- theorem prover
- disjunctive logic programming
- constraint solving
- answering queries
- deductive databases
- nonmonotonic reasoning
- background knowledge
- programming language
- knowledge base
- inference rules
- modulo theories
- optimal solution
- database systems
- machine learning