Deduction with Supernormal Defaults.
Stefan BrassPublished in: Nonmonotonic and Inductive Logic (1991)
Keyphrases
- default reasoning
- inference rules
- default logic
- default theories
- theorem proving
- computer algebra
- default rules
- expressive power
- information retrieval
- nonmonotonic logics
- theorem prover
- partial order
- similarity measure
- three dimensional
- knowledge base
- neural network
- knowledge representation
- query language
- domain theory
- multi agent
- decision trees
- proof procedure
- automated theorem proving
- intuitionistic logic