|
[4]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and
Riccardo Zese.
Dischargeable obligations in the SCIFF framework.
Fundamenta Informaticae, 176(3-4):321--348, 2020.
[ bib |
DOI ]
|
|
[3]
|
Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Fabrizio Riguzzi.
Declarative and mathematical programming approaches to decision
support systems for food recycling.
Engineering Applications of Artificial Intelligence, 95:103861,
2020.
[ bib |
DOI ]
|
|
[2]
|
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese.
Improving the efficiency of euclidean TSP solving in constraint
programming by predicting effective nocrossing constraints.
In Matteo Baldoni and Stefania Bandini, editors, AIxIA 2020 -
Advances in Artificial Intelligence - XIXth International Conference of the
Italian Association for Artificial Intelligence, Virtual Event, November
25-27, 2020, Revised Selected Papers, volume 12414 of Lecture Notes in
Computer Science, pages 318--334. Springer, 2020.
[ bib |
DOI |
http ]
|
|
[1]
|
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese.
Improving the efficiency of euclidean TSP solving in Constraint
Programming by predicting effective nocrossing constraints.
In Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico
Scala, Ivan Serina, Alessandro Umbrico, and Mauro Vallati, editors,
IPS-RCRA 2020, Italian Workshop on Planning and Scheduling and International
Workshop on Experimental Evaluation of Algorithms for Solving Problems with
Combinatorial Explosion, volume 2745 of CEUR Workshop Proceedings,
pages 1--15, Aachen, Germany, 2020. © by the authors, Sun
SITE Central Europe.
[ bib |
.pdf ]
|
|
[2]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese
Riccardo.
Dischargeable obligations in abductive logic programming.
In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman
Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and
Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July
12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer
Science, pages 7--21, Cham, 2017. © Springer International
Publishing AG, Springer International Publishing.
The final publication is available at Springer via
http://dx.doi.org/10.1007/978-3-319-61252-2_2.
[ bib |
DOI |
.pdf ]
|
|
[1]
|
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo,
and Giuseppe Cota.
Abductive logic programming for normative reasoning and ontologies.
In Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, and Daisuke
Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2015
Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa,
Japan, November 16-18, 2015, Revised Selected Papers, volume 10091 of
Lecture Notes in Computer Science, pages 187--203, Cham, 2017.
© Springer International Publishing AG, Springer International
Publishing.
[ bib |
DOI ]
|
|
[3]
|
Marco Gavanelli, Evelina Lamma, and Fabrizio Riguzzi, editors.
AI*IA 2015, Advances in Artificial Intelligence, XIVth
International Conference of the Italian Association for Artificial
Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, volume
9336 of Lecture Notes in Computer Science, Heidelberg, Germany, 2015.
© Springer International Publishing Switzerland, Springer
International Publishing.
[ bib |
DOI |
http ]
|
|
[2]
|
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
An abductive framework for Datalog+- ontologies.
In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni,
editors, Technical Communications of the 31st Int'l. Conference on Logic
Programming (ICLP 2015), number 1433 in CEUR Workshop Proceedings, Aachen,
Germany, 2015. © by the authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[1]
|
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese,
and Giuseppe Cota.
Abductive logic programming for Datalog+- ontologies.
In Davide Ancona, Marco Maratea, and Viviana Mascardi, editors,
Proceedings of the 30th Italian Conference on Computational Logic
(CILC2015), Genova, Italy, 1-3 July 2015, number 1459 in CEUR Workshop
Proceedings, pages 128--143, Aachen, Germany, 2015. © by the
authors, Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[5]
|
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro
Cangini, and Paolo Cagnoli.
An application of fuzzy logic to strategic environmental assessment.
In Roberto Pirrone and Filippo Sorbello, editors, Proceedings of
the 12th Congress of the Italian Association for Artificial Intelligence,
Palermo, 15-17 September 2011, volume 6934 of Lecture Notes in
Artificial Intelligence, pages 324--335, Heidelberg, Germany, 2011.
© Springer, Springer.
The original publication is available at
http://www.springerlink.com.
[ bib |
DOI |
http |
.pdf ]
|
|
[4]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Learning specifications of interaction protocols and business
processes and proving their properties.
Intelligenza artificiale, 5(1):71--75, February 2011.
[ bib |
DOI |
.pdf ]
|
|
[3]
|
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina
Lamma, Paola Mello, Marco Montali, and Paolo Torroni.
A computational logic application framework for service discovery and
contracting.
International Journal of Web Services Research, 8(3):1--25,
2011.
[ bib ]
|
|
[2]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integration of abductive reasoning and constraint optimization in
SCIFF.
In Fabio Fioravanti, editor, Proceedings of the 26th Italian
Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop
Proceedings, Pescara, Italy, September 2011.
[ bib |
http ]
|
|
[1]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
The CHR-based implementation of the sciff abductive system.
In Fabio Fioravanti, editor, Proceedings of the 26th Italian
Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop
Proceedings, Pescara, Italy, September 2011.
[ bib |
http ]
|
|
[4]
|
Marco Gavanelli, Fabrizio Riguzzi, and Alberto Pettorossi.
Preface of the special issue on CILC09.
Fundamenta Informaticae, 105(1-2), 2010.
[ bib |
DOI |
.pdf ]
|
|
[3]
|
Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli.
Logic-Based Decision Support for Strategic Environmental
Assessment.
Theory and Practice of Logic Programming, 26th Int'l. Conference
on Logic Programming (ICLP'10) Special Issue, 10(4-6):643--658,
© Cambridge University Press, July 2010.
[ bib |
DOI |
.pdf ]
|
|
[2]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
Runtime addition of integrity constraints in abductive logic
programs.
In Manuel Hermenegildo and Torsten Schaub, editors, Technical
Communications of the 26th International Conference on Logic Programming,
volume 7 of Leibniz International Proceedings in Informatics (LIPIcs),
pages 4--13, Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum
fuer Informatik.
[ bib |
DOI |
http ]
|
|
[1]
|
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
Runtime addition of integrity constraints in SCIFF.
In Wolfgang Faber and Nicola Leone, editors, Proceedings of the
25th Italian Conference on Computational Logic, volume 598 of CEUR
workshop proceedings, 2010.
[ bib |
.pdf ]
|
|
[5]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Inducing specification of interaction protocols and business
processes and proving their properties.
In Matteo Baldoni and Cristina Baroglio, editors, Il Milione
(i.e. 26, June 3rd 2008) A Journey in the Computational Logic in Italy,
Proceedings of the Day Dedicated to Prof. Alberto Martelli Turin, Italy,
June 3, 2008, volume 487 of CEUR Workshop Proceedings, pages 32--37,
Aachen, Germany, 2009. Sun SITE Central Europe.
[ bib |
.pdf ]
|
|
[4]
|
Paolo Torroni, Federico Chesani, Paola Mello, Pinar Yolum, Munindar P. Singh,
Marco Alberti, Marco Gavanelli, and Evelina Lamma.
Modeling interactions via commitments and expectations.
In Virginia Dignum, editor, Handbook of Research on Multi-Agent
Systems: Semantics and Dynamics of Organizational Models, pages 263--284.
Information Science Reference, March 2009.
[ bib |
http ]
|
|
[3]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico
Chesani, Marco Montali, Paola Mello, and Paolo Torroni.
Integrating abductive logic programming and description logics in a
dynamic contracting architecture.
In Paul Hofmann, editor, ICWS 2009: 2009 IEEE International
Conference on Web Services, pages 254--261. IEEE Computer Society, IEEE
Computer Society Press, 2009.
[ bib |
DOI |
http ]
|
|
[2]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integration of abductive reasoning and constraint optimization in
SCIFF.
In Patricia M. Hill and David S. Warren, editors, 25th
International Conference on Logic Programming (ICLP 2009), volume 5649 of
Lecture Notes in Computer Science, pages 387--401, Berlin Heidelberg,
2009. Springer-Verlag.
[ bib |
http ]
|
|
[1]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma.
Exploiting semantic technology in computational logic-based service
contracting.
In Marco Gavanelli and Fabrizio Riguzzi, editors, CILC09:
24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June
2009. GULP.
[ bib |
.pdf ]
|
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Verifiable agent interaction in abductive logic programming: the
SCIFF framework.
ACM Transactions on Computational Logic (TOCL), 9(4), 2008.
IF: 2.766.
[ bib ]
|
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Expressing and verifying business contracts with abductive logic
programming.
International Journal of Electronic Commerce, 12(4):9--38,
Summer 2008.
IF: 1.366.
[ bib |
DOI ]
|
|
[4]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola
Mello.
Abduction in the context of a reasoning process: the sciff framework.
In Maria Carla Galavotti, Roberto Scazzieri, and Patrick Suppes,
editors, Reasoning, Rationality and Probability, pages 271--287. Center
for the Study of Language and Information, Stanford University, Stanford,
California, 2008.
[ bib ]
|
|
[3]
|
Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni.
Verification from declarative specifications using logic programming.
In Maria Garcia de la Banda and Enrico Pontelli, editors, Logic
Programming, 24th International Conference, ICLP 2008, volume 5366 of
Lecture Notes in Computer Science, pages 440--454. Springer-Verlag, 2008.
[ bib |
DOI |
http |
.pdf ]
|
|
[2]
|
Marco Gavanelli, Marco Alberti, and Evelina Lamma.
Integrating abduction and constraint optimization in constraint
handling rules.
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and
Nikos Avouris, editors, ECAI 2008: 18th European Conference on
Artificial Intelligence, pages 903--904. IOS press, July 2008.
[ bib |
DOI |
http ]
|
|
[1]
|
Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma.
Exploiting semantic technology in computational logic-based service
contracting.
In Aldo Gangemi, Johannes Keizer, Valentina Presutti, and Heiko
Stoermer, editors, SWAP 2008: 5th workshop on Semantic Web Applications
and Perspectives, volume 426 of CEUR Workshop Proceedings, Rome,
Italy, December 2008.
[ bib |
http |
.pdf ]
|
|
[4]
|
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni.
Specification and verification of agent interaction protocols in a
logic-based system.
Scalable Computing: Practice and Experience, 8(1):1--13, March
2007.
[ bib ]
|
|
[3]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, Sergio Storari, and Paolo Torroni.
A computational logic-based approach to verification of IT systems.
In H.-G. Hegering, H. Reiser, M. Schiffers, and Th. Nebe, editors,
Proceedings of the 14th Annual Workshop of HP Software University
Association, Hosted by the Leibniz Computing Center and the Munich Network
Management Team, July 8--11, 2007, pages 115--125, Stuttgart, Germany, July
2007. HP Software University Association, Infonomics-Consulting.
[ bib |
http |
http ]
|
|
[2]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
A rule-based approach for reasoning about collaboration between smart
web services.
In Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie,
editors, Proceedings of the 1st International Conference on Web
Reasoning and Rule Systems (RR), volume 4524 of Lecture Notes in
Artificial Intelligence, pages 279--288, Innsbruck, June 2007.
Springer-Verlag.
[ bib ]
|
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Web service contracting: specification and reasoning with sciff.
In Enrico Franconi, Michael Kifer, and Wolfgang May, editors,
Proceedings of the 4th European Semantic Web Conference (ESWC), volume 4519
of Lecture Notes in Artificial Intelligence, pages 68--83, Innsbruck,
June 2007. Springer-Verlag.
[ bib ]
|
|
[10]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based software
tool.
Applied Artificial Intelligence, 20(2-4):133--157,
February-April 2006.
IF: 0.576.
[ bib |
DOI ]
|
|
[9]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
Computational and Mathematical Organization Theory,
12(2--3):205 -- 225, October 2006.
[ bib |
DOI |
http ]
|
|
[8]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Giovanni Sartor, and Paolo
Torroni.
Un sistema basato su logica computazionale per il trattamento degli
operatori deontici.
In Silvia Bisi and Claudio di Cocco, editors, La Gestione e la
Negoziazione Automatica dei Diritti sulle Opere dell'Ingegno Digitali:
Aspetti Giuridici e Informatici, chapter 1, pages 1--33. Gedit, Bologna,
October 2006.
[ bib ]
|
|
[7]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, Sergio Storari, and Paolo Torroni.
Computational logic for run-time verification of web services
choreographies: exploiting the SOCS-SI tool.
In Mario Bravetti and Gianluigi Zavattaro, editors, Web Services
and Formal Methods - Third International Workshop, WS-FM 2006 Vienna,
Austria, September 8-9, 2006 Proceedings, volume 4184 of Lecture Notes
in Computer Science, pages 58--72, Berlin/Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola
Mello.
A verifiable logic-based agent architecture.
In Floriana Esposito, Zbigniew W. Raś, Donato Malerba, and
Giovanni Semeraro, editors, Foundations of Intelligent Systems - 16th
International Symposium, ISMIS 2006 Bari, Italy, September 27-29, 2006
Proceedings, volume 4203 of Lecture Notes in Artificial Intelligence,
pages 188--197, Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
DOI |
http ]
|
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Proceedings of the 1st International Workshop on Applications
of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS
2006), volume 196 of CEUR Workshop Proceedings, pages 87--102,
Seattle, WA, USA, August 2006.
[ bib ]
|
|
[4]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Marco Montali.
An abductive framework for a-priori verification of web services.
In Michael Maher, editor, Proceedings of the Eighth Symposium on
Principles and Practice of Declarative Programming, July 10-12, 2006, Venice,
Italy, pages 39--50, New York, USA, July 2006. Association for Computing
Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN),
ACM Press.
[ bib |
DOI |
http ]
|
|
[3]
|
Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Specification and verification of agent interaction using abductive
reasoning.
In Francesca Toni and Paolo Torroni, editors, CLIMA VI, volume
3900 of Lecture Notes on Artificial Intelligence, pages 243--264,
Berlin Heidelberg, 2006. Springer-Verlag.
[ bib |
http ]
|
|
[2]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Security protocols verification in abductive logic programming: a
case study.
In Oğuz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci,
editors, Proceedings of 6th International Workshop "Engineering
Societies in the Agents' World" (ESAW'05), October 26-28, 2005, volume 3963
of Lecture Notes on Artificial Intelligence, pages 106--124, Berlin
Heidelberg, 2006. Department of Computer Engineering Ege University,
Springer-Verlag.
[ bib |
http ]
|
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
Marco Montali, and Paolo Torroni.
Policy-based reasoning for smart web service interaction.
In Giovanni Tummarello, Paolo Bouquet, and Oreste Signore, editors,
Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa,
Italy, December 2006. CEUR Workshop Proceedings.
available electronically at http://ceur-ws.org/Vol-201.
[ bib ]
|
|
[5]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano.
A CHR-based implementation of known arc-consistency.
Theory and Practice of Logic Programming, 5(4/5):419--440, July
2005.
IF: 1.372.
[ bib |
DOI |
http ]
|
|
[4]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Abduction with hypotheses confirmation.
In Fausto Giunchiglia, editor, IJCAI-05 Proceedings of the
Nineteenth International Joint Conference on Artificial Intelligence, pages
1545--1546, USA, 2005. Professional Book Center.
[ bib |
http |
.pdf ]
|
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
The SCIFF abductive proof-procedure.
Lecture Notes in Artificial Intelligence, 3673:135--147, 2005.
IF: 0.302.
[ bib ]
|
|
[2]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
The SOCS computational logic approach to the specification and
verification of agent societies.
Lecture Notes in Computer Science, 3267:314 -- 339, February
2005.
IF: 0.402.
[ bib |
DOI ]
|
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina
Lamma, Paola Mello, and Paolo Torroni.
Expressing interaction in combinatorial auction through social
integrity constraints.
Intelligenza Artificiale, II(1):22--29, 2005.
[ bib |
http ]
|
|
[7]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Specification and verification of agent interactions using social
integrity constraints.
Electronic Notes in Theoretical Computer Science,
85(2):94--116, April 2004.
[ bib |
http |
.pdf ]
|
|
[6]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
A logic based approach to interaction design in open multi-agent
systems.
In Martin Fredriksson, Rune Gustavsson, Alessandro Ricci, and Andrea
Omicini, editors, 13th IEEE International Workshops on Enabling
Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004),
pages 387--392, Washington, DC, USA, September 2004. IEEE Computer Society.
[ bib |
DOI |
http |
.pdf ]
|
|
[5]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
Compliance verification of agent interaction: a logic-based tool.
In Robert Trappl, editor, Proceedings of the 17th European
Meeting on Cybernetics and Systems Research, Vol. II, Symposium “From Agent
Theory to Agent Implementation” (AT2AI-4), pages 570--575, Vienna, Austria,
April 13-16 2004. Austrian Society for Cybernetic Studies.
[ bib |
http ]
|
|
[4]
|
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma,
and Paola Mello.
Specification and verification of agent interaction protocols in a
logic-based system.
In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M.
Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied
Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 72--78, New York,
NY, USA, 2004. ACM Press.
[ bib |
http ]
|
|
[3]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
Modeling interactions using social integrity constraints: a resource
sharing case study.
Lecture Notes in Artificial Intelligence, 2990:243--262, 2004.
IF: 0.251.
[ bib |
.pdf ]
|
|
[2]
|
Marco Alberti, Evelina Lamma, Marco Gavanelli, Paola Mello, Giovanni Sartor,
and Paolo Torroni.
Mapping deontic operators to abductive expectations.
In Proceedings of the Symposium on Normative Multi-Agent
Systems, pages 126--136, University of Hertfordshire, Hatfield, UK, April
12-15 2005. The Society for the study of Artificial Intelligence and the
Simulation of Behaviour.
[ bib |
http |
http ]
|
|
[1]
|
Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina
Lamma, Paola Mello, and Paolo Torroni.
Expressing interaction in combinatorial auction through social
integrity constraints.
In Alfredo Milani, editor, Conferenza Italiana sui Sistemi
Intelligenti, page 80, Perugia (Italy), sep 2004. AI*IA, SIREN, GIPR,
Morlacchi Editore.
[ bib |
http |
.pdf ]
|
|
[2]
|
Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello,
and Paolo Torroni.
A social ACL semantics by deontic constraints.
In V.Marik, J.Muller, and M.Pechoucek, editors, Proceedings of
the 3rd International/Central and Eastern European Conference on Multi-Agent
Systems, number 2691 in Lecture Notes in Artificial Intelligence, pages
204--213, Prague, Czech Republic, June 2003.
[ bib ]
|
|
[1]
|
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni.
An abductive interpretation for open agent societies.
In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in
Artificial Intelligence: 8th Congress of the Italian Association for
Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings,
volume 2829 of Lecture Notes in Artificial Intelligence, pages
287--299, Pisa, Italy, September 23-26 2003. Springer Verlag.
[ bib |
http |
.pdf ]
|
