Keyphrases
- np hard
- modal logic
- preference elicitation
- decision procedures
- inference rules
- temporal logic
- cooperative
- multi agent systems
- epistemic logic
- classical logic
- nonmonotonic logics
- multi agent
- software agents
- conflict resolution
- situation calculus
- user preferences
- default logic
- negotiation support systems
- automated negotiation
- belief revision
- electronic commerce
- autoepistemic logic
- knowledge base
- utility function
- preference relations
- negotiation strategies
- propositional logic
- multi attribute
- satisfiability problem
- modal operators
- artificial intelligence
- kripke models