Verification of the Logic of Plausible Reasoning.
Bartlomiej SniezynskiPublished in: Intelligent Information Systems (2001)
Keyphrases
- plausible reasoning
- probability theory
- asynchronous circuits
- verification method
- bounded model checking
- model checking
- belief revision
- modal logic
- classical logic
- model checker
- belief change
- logic programming
- face verification
- epistemic logic
- predicate logic
- logical framework
- belief functions
- linear time temporal logic
- sound and complete axiomatization
- set theory
- formal verification
- signature verification
- multi valued
- temporal logic
- pattern recognition
- digital circuits
- propositional logic
- theoretical framework
- cooperative
- data sets