Skeptical Inheritance: Computing the Intersection of Credulous Extensions.
Lynn Andrea SteinPublished in: IJCAI (1989)
Keyphrases
- default logic
- argumentation frameworks
- nonmonotonic inference
- default theories
- default reasoning
- nonmonotonic reasoning
- graph theoretic
- argumentation semantics
- logic programming
- neural network
- preferred semantics
- inheritance reasoning
- object oriented databases
- modal logic
- answer set programming
- evolutionary algorithm
- conditional logic
- object oriented languages
- artificial neural networks
- database systems
- real time
- database