A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions.
Diego Agustín AmbrossioMarcos CramerPublished in: CoRR (2019)
Keyphrases
- autoepistemic logic
- default logic
- query processing
- nonmonotonic reasoning
- database
- query evaluation
- modal logic
- general logic programs
- logic programs
- logic programming
- decision making
- minimal models
- decision rules
- inductive logic programming
- inference rules
- database queries
- default theories
- knowledge representation
- data sources
- artificial intelligence
- databases