Decidable Reasoning in a Logic of Limited Belief with Function Symbols.
Gerhard LakemeyerHector J. LevesquePublished in: KR (2016)
Keyphrases
- function symbols
- logic programming
- reasoning tasks
- automated reasoning
- logic programs
- horn clauses
- consistency checking
- answer set programming
- first order logic
- knowledge representation
- knowledge base
- probabilistic reasoning
- truth maintenance systems
- modal operators
- normal form
- equational theories
- stable models
- description logics
- situation calculus
- constraint programming
- inductive logic programming
- programming language
- belief revision
- deductive databases
- temporal reasoning
- propositional logic
- modal logic
- fixpoint
- background knowledge
- artificial intelligence
- inference rules
- belief functions
- theorem proving