Partitioned Branch Condition Resolution Logic.
Aamir A. FarooquiK. Wayne CurrentVojin G. OklobdzijaPublished in: SBCCI (2000)
Keyphrases
- consequence finding
- high resolution
- low resolution
- logic programming
- modal logic
- defeasible logic
- multi valued
- automated reasoning
- sufficient conditions
- probabilistic logic
- abductive reasoning
- computational properties
- database
- sound and complete axiomatization
- valued logic
- delay insensitive
- deontic logic
- predicate logic
- higher resolution
- classical logic
- logical framework
- video sequences
- multi agent
- information systems
- neural network