Keyphrases
- defeasible logic
- probability theory
- modal operators
- causal theories
- classical logic
- logic programming
- databases
- theoretical framework
- modal logic
- multi valued
- formal logic
- classical first order logic
- causal reasoning
- closed world assumptions
- proof theory
- asynchronous circuits
- database
- computational properties
- cognitive psychology
- logical framework
- data sets
- nonmonotonic logics
- predicate logic
- set theory
- logical formulas
- legal knowledge
- machine learning
- real time