A Logical Framework for Modelling eMAS.

Pierangelo Dell'Acqua Luís Moniz Pereira

Published in: PADL (2003)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
linear logic
higher order logic
normative systems
epistemic logic
possibilistic logic
software engineering
coalition logic
knowledge base
temporal reasoning
general purpose
semi supervised
data model
optimal solution