Completeness and Incompleteness for Plausibility Logic.
Karl SchlechtaPublished in: J. Log. Lang. Inf. (1996)
Keyphrases
- probability theory
- modal logic
- automated reasoning
- proof theory
- classical logic
- incomplete information
- predicate logic
- real time
- database
- neural network
- sound and complete axiomatization
- logic synthesis
- dempster shafer belief
- delay insensitive
- deontic logic
- abductive reasoning
- digital circuits
- reasoning about actions
- defeasible logic
- logical framework
- data quality
- logic programming
- expert systems
- decision trees
- databases