A Logic for Reasoning Equationally in the Presence of Partiality.
Joseph M. MorrisAlexander BunkenburgPublished in: Sci. Comput. Program. (1999)
Keyphrases
- automated reasoning
- proof theory
- deductive reasoning
- order of magnitude reasoning
- intuitionistic logic
- computational properties
- proof theoretic
- logical framework
- human reasoning
- probabilistic logic
- logic programming
- logical inference
- reasoning systems
- abductive reasoning
- logical rules
- qualitative reasoning
- causal reasoning
- computational logic
- reasoning about actions
- knowledge representation
- linear logic
- knowledge representation formalisms
- classical logic
- knowledge base
- derivation rules
- probabilistic reasoning
- horn logic
- description logics
- default reasoning
- proof procedure
- commonsense reasoning
- probabilistic knowledge
- reasoning tasks
- truth maintenance systems
- spatial reasoning
- theorem prover
- inference rules
- abstract argumentation
- expert systems
- formal theory
- neural network