Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Gerhard LakemeyerHector J. LevesquePublished in: IJCAI (2013)
Keyphrases
- automated reasoning
- truth maintenance systems
- proof theory
- autoepistemic logic
- logical framework
- computational properties
- deductive reasoning
- probabilistic logic
- order of magnitude reasoning
- human reasoning
- probabilistic reasoning
- reasoning engine
- belief revision
- intuitionistic logic
- logical inference
- logical rules
- evidential reasoning
- probability theory
- logic programming
- proof theoretic
- first order logic
- modal logic
- modal operators
- classical logic
- reasoning tasks
- abductive reasoning
- knowledge representation and reasoning
- knowledge representation formalisms
- belief functions
- qualitative reasoning
- proof procedure
- reasoning problems
- truth values
- reasoning about actions
- knowledge base
- commonsense reasoning
- default reasoning
- theorem proving
- causal reasoning
- datalog programs
- linear time temporal logic
- horn logic
- logic programs