Keyphrases
- defeasible logic
- deontic logic
- logic programming
- access control
- dynamical systems
- defeasible reasoning
- dynamic model
- default logic
- nonmonotonic logics
- third party
- modal logic
- classical logic
- multi valued
- digital circuits
- rule base
- update semantics
- sound and complete axiomatization
- nonmonotonic reasoning
- probability theory
- expert systems
- cellular automata
- logic programs