Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
Gerhard LakemeyerHector J. LevesquePublished in: AAAI (2005)
Keyphrases
- truth maintenance systems
- knowledge base
- reasoning tasks
- modal logic
- qualitative reasoning
- default logic
- logical reasoning
- default reasoning
- knowledge representation and reasoning
- analogical reasoning
- autoepistemic logic
- knowledge representation
- artificial intelligence
- reasoning problems
- rule based reasoning
- formal models
- consistency checking
- automated reasoning
- computational properties
- fuzzy reasoning
- reasoning process
- data sets
- theorem proving
- fixed point
- logic programming
- multi agent
- neural network