Well-Founded Reasoning with Classical Negation.
Phan Minh DungPhaiboon RuamviboonsukPublished in: LPNMR (1991)
Keyphrases
- reasoning systems
- logic programs
- logic programming
- spatial reasoning
- neural network
- knowledge base
- model based reasoning
- knowledge representation and reasoning
- reasoning tasks
- computational properties
- reasoning process
- probabilistic logic
- uncertain information
- meta level
- default reasoning
- deductive databases
- analogical reasoning
- knowledge representation
- horn logic