Automatic Verification of Deontic Properties of Multi-agent Systems.

Franco Raimondi Alessio Lomuscio

Published in: DEON (2004)

Keyphrases

deontic logic
classical logic
representation language
active learning
temporal logic
machine learning
prior knowledge
supervised learning
fine grained