author = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina},
  title = {Deon+: Abduction and Constraints for Normative Reasoning},
  booktitle = {Logic Programs, Norms and Action},
  series = {Lecture Notes in Computer Science},
  editor = {Artikis, Alexander and Craven, Robert and Kesim Cicekli, Nihan and Sadighi, Babak and Stathis, Kostas},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {978-3-642-29413-6},
  keyword = {Computer Science},
  pages = {308-328},
  volume = 7360,
  url = {http://dx.doi.org/10.1007/978-3-642-29414-3\_17},
  note = {10.1007/978-3-642-29414-3\_17},
  abstract = {Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems. In the meantime, abductive logic programming (ALP for short) has been exploited to formalize societies of agents, commitments and institutions, taking advantage from ALP operational support as (static or dynamic) verification tool. Nonetheless, the modal nature of deontic operators smoothly fits into abductive semantics and abductive reasoning, where hypotheses can be raised at run-time on the basis of the specified formulas. In recent works, a mapping of the most common deontic operators (obligation, prohibition, permission) to the abductive expectations of an ALP framework for agent societies has been proposed. This mapping was supported by showing a correspondence between declarative semantics of abductive expectations and Kripke semantics for deontic operators. Building upon such correspondence, in this work we introduce Deon + , a language where the two basic deontic operators (namely, obligation and prohibition) are enriched with quantification over time, by means of ALP and Constraint Logic Programming (CLP for short). In this way, we can take into account different flavors for obligations and prohibitions over time, i.e., existential or universal. We also discuss how to address consistency verification of such deontic specifications by a suitable ALP proof procedure, enriched with CLP constraints.},
  year = 2012
  author = {Marco Alberti and Ana Sofia Gomes and Ricardo Gon\c{c}alves and Matthias Knorr and Jo{\~a}o Leite and Martin Slota},
  booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent Systems},
  year = 2012,
  editor = {van der Hoek, Wiebe and Padgham, Lin and Conitzer, Vincent and Winikoff, Michael},
  ee = {http://dl.acm.org/citation.cfm?id=2344040},
  pages = {1425-1426},
  location = {Valencia, Spain},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  address = {Richland, SC},
  keywords = {design languages for agent systems, knowledge representation, norms, organisations and institutions},
  title = {Normative systems require hybrid knowledge bases.},
  year = 2012

This file was generated by bibtex2html 1.98.