@incollection{AlbGavLam06-IUS-BC,
author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Giovanni Sartor and Paolo Torroni},
title = {Un Sistema Basato su Logica Computazionale per il Trattamento degli Operatori Deontici},
booktitle = {La Gestione e la Negoziazione Automatica dei Diritti sulle Opere dell'Ingegno Digitali: Aspetti Giuridici e Informatici},
pages = {1--33},
publisher = {Gedit},
year = 2006,
editor = {Silvia Bisi and Claudio di Cocco},
chapter = 1,
address = {Bologna},
month = {October},
isbn = { 978-88-6027-015-3}
}
@incollection{AlbCheGav08-RRP-BC,
author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello},
title = {Abduction in the context of a reasoning process: the SCIFF framework},
booktitle = {Reasoning, Rationality and Probability},
publisher = {Center for the Study of Language and Information, Stanford University},
year = 2008,
pages = {271--287},
editor = {Maria Carla Galavotti and Roberto Scazzieri and Patrick Suppes},
address = {Stanford, California},
isbn = { 978-157586557-7}
}
@incollection{TorCheMel09-OMAS-BC,
author = {Paolo Torroni and Federico Chesani and Paola Mello and Pinar Yolum and Munindar P. Singh and Marco Alberti and Marco Gavanelli and Evelina Lamma},
title = {Modeling Interactions via Commitments and Expectations},
year = {2009},
publisher = {Information Science Reference},
editor = {Virginia Dignum},
booktitle = {Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of
Organizational Models},
month = {March},
pages = {263--284},
url = {http://www.igi-global.com/reference/details.asp?ID=33141},
abstract = {Organizational models often rely on two assumptions: openness and heterogeneity. This is, for instance,
the case with organizations consisting of individuals whose behaviour is unpredictable, whose internal
structure is unknown, and who do not necessarily share common goals, desires, or intentions. This
fact has motivated the adoption of social-based approaches to modelling interaction in organizational
models. The idea of social semantics is to abstract away from the agent internals and provide a social
meaning to agent message exchanges. In this chapter, we present and discuss two declarative, social
models interaction in terms of commitments. The second one adopts a rule-oriented perspective, and
models interaction in terms of logical formulae expressing expectations about agent interaction. We use
a simple interaction protocol taken from the e-commerce domain to present the functioning and features
of the commitment- and expectation-based approaches, and to discuss various forms of reasoning and
verification that they accommodate, and how organizational modelling can benefit from them},
isbn = { 978-1-60566-256-5},
keywords = {Social commitments, Social expectations, Interaction protocols, Open agent societies, Semantics of interaction}
}
@incollection{AlbGavLam12-LPNA-BC,
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
}
This file was generated by bibtex2html 1.98.