Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- imperative programs
- discourse structure
- multi attribute
- decision making
- propositional dynamic logic
- soft constraints
- user preferences
- artificial intelligence
- preference relations
- computer mediated
- agent programming
- argumentation frameworks
- first order logic
- modal operators
- expert systems
- anaphora resolution
- natural language
- classical first order logic