Normative, Subjunctive and Autoepistemic Defaults.
Craig BoutilierPublished in: ECAI Workshop on Knowledge Representation and Reasoning (1992)
Keyphrases
- default logic
- default theories
- autoepistemic logic
- default reasoning
- truth maintenance systems
- logic programming
- nonmonotonic logics
- default rules
- nonmonotonic reasoning
- modal logic
- fixed point
- multi agent systems
- data mining
- classical logic
- multi agent
- decision trees
- expressive power
- programming language
- temporal reasoning
- software engineering
- hidden markov models
- search algorithm
- cooperative
- case study
- artificial intelligence
- databases