Weak Autoepistemic Reasoning and Well-Founded Semantics.
Jürgen KalinskiPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- autoepistemic logic
- general logic programs
- open world
- logic programming
- logic programs
- reasoning systems
- default logic
- truth maintenance systems
- reasoning tasks
- automated reasoning
- default reasoning
- deductive databases
- knowledge base
- modal logic
- probabilistic reasoning
- reasoning process
- normal logic programs
- neural network
- fixpoint
- knowledge representation
- knowledge representation and reasoning
- defeasible logic
- model based reasoning
- machine learning
- expressive power
- legal reasoning
- default theories
- qualitative reasoning