Keyphrases
- modal logic
- viewpoint
- logic programming
- automated reasoning
- classical logic
- asynchronous circuits
- probability theory
- epistemic logic
- predicate logic
- digital circuits
- multiple perspectives
- nonmonotonic logics
- computational properties
- data sets
- graphical representation
- information technology
- expert systems
- genetic algorithm
- real world
- databases