Sign in
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