Non-Clausal Reasoning with Definite Theories.
Zbigniew StachniakPublished in: Fundam. Informaticae (2001)
Keyphrases
- defeasible logic
- formal models
- propositional theories
- causal reasoning
- knowledge representation and reasoning
- reasoning mechanisms
- legal reasoning
- reasoning and decision making
- computational properties
- reasoning systems
- knowledge base
- reasoning tasks
- theoretical framework
- artificial intelligence
- reasoning processes
- knowledge representation
- computational problems
- inductive logic programming
- constraint propagation
- neural network
- approximate reasoning
- reasoning about actions
- probabilistic knowledge
- prime implicates
- automated reasoning
- information systems
- reasoning process