Keyphrases
- nonmonotonic logics
- dynamic logic
- contextual information
- logic programming
- multi valued
- classical logic
- epistemic logic
- predicate logic
- valued semantics
- answer sets
- modal logic
- agent programming
- programming environment
- inference rules
- case study
- declarative semantics
- context sensitive
- automatic programming
- deontic logic
- digital circuits
- recursive programs
- proof theory
- context aware
- first order logic
- formal theory
- defeasible logic
- computational properties
- probability theory
- finite state machines
- context dependent
- propositional logic