Modal Logics for Preferences and Cooperation: Expressivity and Complexity.

Cédric Dégremont Lena Kurzen

Published in: KRAMAS (2008)

Keyphrases

modal logic
decision procedures
inference rules
nonmonotonic logics
temporal logic
cooperative
epistemic logic
computational complexity
worst case
multi agent systems
classical logic
default logic
multi agent
user preferences
decision making
situation calculus
logic programming
dynamic logic