Notions of Nonmonotonic Derivability.
Gerhard JägerPublished in: Nonmonotonic and Inductive Logic (1990)
Keyphrases
- model theoretic
- multiple inheritance
- nonmonotonic logics
- logic programming
- default rules
- modal logic
- nonmonotonic reasoning
- minimal models
- description logics
- default logic
- default reasoning from conditional knowledge bases
- computational properties
- information systems
- data sets
- real time
- logic programs
- e learning
- genetic algorithm
- databases
- complexity theoretic