Keyphrases
- asynchronous circuits
- defeasible logic
- state machine
- transition systems
- linear temporal logic
- formal language
- logic programming
- formal specification
- active rules
- specification language
- classical logic
- causal theories
- high level
- automated reasoning
- probability theory
- predicate logic
- multi valued
- computational properties
- modal logic
- causal reasoning
- epistemic logic
- theoretical framework
- logical formulas
- classical first order logic
- specification languages
- propositional theories
- data sets
- operational semantics
- active databases
- user defined
- expressive power
- knowledge base