Keyphrases
- logical language
- epistemic logic
- logic program updates
- formal semantics
- logic programming
- belief change
- logic programs
- semantic information
- dynamic epistemic logic
- causal models
- modal operators
- independent natural extension
- genetic algorithm
- kripke models
- argumentation semantics
- nonmonotonic logics
- semantic representation
- propositional logic
- modal logic
- knowledge representation
- multi agent