Selected
publications
Books
Springer
Amazon.co.uk
Amazon.com
AllBookstores.com
BookFinder.com
Papers
Vision
& overview papers
Technical papers
Demos & reports
Advance
search
AI@UniBO
PRIMA 2015
|
Principles
and Practice of Multi-Agent Systems
series
Eighteenth
International Conference, PRIMA
2015, Bertinoro, Italy, October
26-30, 2015, Proceedings.
Vol. 9387
of Lecture Notes in Artificial
Intelligence. Qingliang Chen,
Paolo Torroni, Serena Villata, Jane Hsu,
and Andrea Omicini, editors,
2015. XXI, 708 p. 135 illus.
Softcover. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 978-3-319-25523-1 (download
flyer) (electronic
edition).
|
LADS I
LADS II
|
LAnguages,
methodologies and Development tools
for multi-agent Systems workshop
series
First
International Workshop, LADS
007, Durham, UK, September 4-6,
2007, Revised
Selected and Invited Papers.
Vol. 5118
of Lecture Notes in Artificial
Intelligence. Mehdi Dastani, Amal
El Fallah Seghrouchni, Joao Leite, and
Paolo Torroni, editors,
2008. X, 279 p. With online
files/update. Softcover. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 978-3-540-85057-1 (download
flyer) (electronic
edition).
Second
International Workshop, LADS
009, Torino, Italy, September 7-9,
2009. Revised Selected Papers. Vol. 6039
of Lecture Notes in Artificial
Intelligence.Mehdi Dastani, Amal
El Fallah Seghrouchni, Joao Leite, and
Paolo Torroni, editors,
2009. X, 183 p., Softcover.
Heidelberg: Springer-Verlag. ISSN:
0302-9743, ISBN: 978-3-642-13337-4 (electronic
edition). LADS 2009 Proceedings
available inside CEUR Workshop
Proceedings,
Vol. 494.
(introductory
essay).
|
|
|
CLIMA V
CLIMA VI
CLIMA XII
CLIMA XIV
|
Computational
logic in multi-agent systems workshop
series
Fifth
International Workshop, CLIMA
V, Lisbon,
Portugal, September 29-30, 2004,
Revised Selected and Invited Papers.
Vol. 3487
of Lecture Notes in Artificial
Intelligence. Joao
Leite and Paolo Torroni, editors,
2005. XII, 281 p., Softcover. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 3-540-28060-X
(electronic
edition).
Sixth
International Workshop, CLIMA
VI, City
University London, UK, June 27-29,
2005. Revised Selected and Invited
Papers. State-of-the-art Survey.
Vol. 3900
of Lecture Notes in Artificial
Intelligence. Francesca
Toni and Paolo Torroni, editors, 2006.
XVII, 427 p., Coloured Softcover. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 3-540-33996-5
(electronic
edition).
Twelfth
International Workshop, CLIMA
XII,
Barcelona, Spain, July 17-18, 2011.
Proceedings. Vol. 6814
of Lecture Notes in Artificial
Intelligence. Joao
Leite, Paolo Torroni, Thomas Agotnes,
Guido Boella, and Leon van der Torre,
editors, 2011. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 3-642-22358-7
(electronic
edition).
Fourteenth
International Workshop, CLIMA
XIV,
Corunna, Spain, September 16-17, 2013.
Proceedings. Vol. 8143
of Lecture Notes in Artificial
Intelligence. Joao
Leite, Tran Cao Son, Paolo Torroni,
Leon van der Torre, and Stefan
Woltran, editors, 2013. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN: 3-642-40623-2
(electronic
edition).
|
|
|
DALT I
DALT II
DALT III
|
Declarative
agent languages and technologies
workshop series
First
International Workshop, DALT
2003, Melbourne, Australia, July
15, 2003, Revised Selected and Invited
Papers. Hot Topics. Vol. 2990
of Lecture Notes in Artificial
Intelligence. Joao Leite, Andrea
Omicini, Leon Sterling, and Paolo
Torroni, editors, 2004. XII, 281 p.
Coloured Softcover. Heidelberg:
Springer-Verlag. ISSN:
0302-9743, ISBN:
3-540-22124-7. (electronic
edition).
Second
International Workshop, DALT
2004, New York, NY, USA, July 19,
2004, Revised Selected Papers. Vol. 3476
of Lecture Notes in Artificial
Intelligence. Joao Leite, Andrea
Omicini, Paolo Torroni, and Pinar Yolum,
editors, 2005. XII, 289 p. Softcover.
Heidelberg: Springer-Verlag. ISSN:
0302-9743, ISBN: 3-540-26172-9.
(electronic
edition).
Third
International Workshop, DALT
2005, Utrecht, The Netherlands,
July 25, 2005, Revised Selected and
Invited Papers. Vol. 3904
of Lecture Notes in Artificial
Intelligence. Matteo Baldoni, Ulle
Endriss, Andrea Omicini, and Paolo
Torroni, editors, 2006. XII, 245 p.
Softcover. Heidelberg: Springer-Verlag.
ISSN:
0302-9743, ISBN:
3-540-33106-9. (electronic
edition).
|
|
|
|
Argumentation
and non-monotonic reasoning workshop
First
International Workshop, ArgNMR
2007, Tempe, Arizona, US, May 14,
2007, Proceedings. Guillermo Ricardo
Simari and Paolo Torroni, editors, 2007.
IV, 141 p. Electronic
edition.
|
Vision
& overview papers
[technical papers]
[demos & reports]
[books]
Sanjay Modgil, Francesca Toni, Floris Bex,
Ivan Bratko, Carlos I. Chesnevar, Wolfgang Dvorak,
Marcelo A. Falappa, Xiuyi Fan, Sarah A Gaggl,
Alejandro J. Garcia, Maria P. Gonzalez, Thomas F.
Gordon, Joao Leite, Martin Mozina, Chris Reed,
Guillermo R. Simari, Stefan Szeider, Paolo
Torroni, and Stefan Woltran. The added
value of argumentation.
Chapter
21
in Agreement Technologies,
Law, Governance and Technology Series 8,
pp. 357-404. ©
Springer-Verlag, 2013.
Stefano Bragaglia, Federico Chesani, Paola
Mello, Marco Montali, and Paolo Torroni. Reactive
event calculus for monitoring global computing
applications.
Invited chapter
in Essays in Honour of Marek
Sergot: Computational Logic for Normative
Systems. LNCS 7360,
pp.123-146. ©
Springer-Verlag, 2012.
Paolo Torroni, Federico Chesani, Paola
Mello, and Marco Montali. A
retrospective on the reactive event calculus and
commitment modeling language.
In Proceedings
of the 9th International Workshop on
Declarative Agent Languages and Technologies
(DALT 2011). LNCS 7168,
pp. 120-127. ©
Springer-Verlag, 2012.
Alessandro Dal Palu' and Paolo Torroni. 25
years of logic programming applications in Italy.
Invited chapter in A. Dovier and E. Pontelli,
eds., A 25-Year Perspective on Logic
Programming, LNCS 6125,
pp. 298-325. ©
Springer-Verlag, 2010.
Matteo Baldoni, Cristina Baroglio, Viviana
Mascardi, Andrea Omicini, and Paolo Torroni. Agents,
multi-agent systems and declarative programming:
What, When, Where, Why, Who, How?.
Invited chapter in A. Dovier and E. Pontelli,
eds., A 25-Year Perspective on Logic
Programming, LNCS 6125,
pp. 199-224. ©
Springer-Verlag, 2010.
cited
by...
Federico Chesani, Marco Montali, Paola
Mello, and Paolo Torroni. Declarative
technologies for open agent systems and beyond.
Keynote speech abstract in Proceedings
of the 4th International KES Symposium on
Agents and Multi-agent Systems —
Technologies and Applications (KES-AMSTA),
Gdynia, Poland, June 23-25, 2010, Part I, LNCS
6070, pp. 1-5. ©
Springer-Verlag, 2010.
Paolo Torroni, Marco
Gavanelli, and Federico Chesani. Arguing
on the semantic grid. Invited
chapter
in Guillermo R. Simari and Iyad Rahwan, eds.,
Argumentation
in Artificial Intelligence. ISBN:
978-0-387-98196-3 ©
Springer-Verlag, 2009.
Michael Fisher, Rafael H. Bordini,
Benjamin Hirsch, and Paolo Torroni. Computational
logics and agents: a road map of current
technologies and future trends. Computational
Intelligence Journal, Vol. 23,
No. 1, pp. 61-91. ©
Blackwell Publishing,
2007.
cited
by...
Paolo Torroni. Computational
logic in multi-agent systems: recent
advances and future directions. Annals
of Mathematics and Artificial Intelligence,
Vol. 42 Nos. 1-3,
pp. 293-305. Invited
article for a special issue on Computational
Logic in Multi-Agent Systems,
edited by Juergen
Dix, Joao Leite, and Ken Satoh. ©
Kluwer Academic
Publishers, 2004.
cited
by...
Technical
papers
[demos & reports]
[books]
[vision & overview papers]
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Nefise Yaglikci and Paolo Torroni. Microdebates
App for Android: A tool for participating in
argumentative online debates using a handheld
device. In Proceedings of the 26th
IEEE International Conference on Tools with
Artificial Intelligence
(ICTAI 2014),
Limassol, Cyprus,
November 10-12, 2014. @
IEEE
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Simone Gabbriellini and Paolo Torroni. A
new framework for ABMs based on argumentative
reasoning. In Proceedings of the
9th Conference of the European Social Simulation
Association
(ESSA 2013),
Warsaw, Poland,
September 16-20, 2013. @
Springer
Simone Gabbriellini and Paolo Torroni. Abstract
argumentation for agent-based social simulations.
In Proceedings of the 10th International
Workshop on Argumentation in Multi-Agent Systems
(ArgMAS 2013),
Saint Paul, Minnesota, US,
May 6-10, 2013, pp. 1-14. [slides]
Simone Gabbriellini and Paolo Torroni. MS
Dialogues: Persuading and getting persuaded. A
model of social network debates that reconciles
arguments and trust. In Proceedings
of the 10th International Workshop on
Argumentation in Multi-Agent Systems
(ArgMAS 2013),
Saint Paul, Minnesota, US,
May 6-10, 2013, pp. 15-36. [slides]
Simone Gabbriellini and Paolo Torroni. NetArg:
an agent-based social simulator with
argumentative agents (demonstration).
In Proceedings of the 12th International
Joint Conference on
Autonomous Agents and Multiagent Systems
(AAMAS 2013),
Saint Paul, Minnesota, US,
May 6-10, 2013. IFAAMAS [video]
Federico Chesani, Paola Mello, Marco
Montali, and Paolo Torroni. Representing
and monitoring social commitments using the
event calculus. Autonomous
Agents and Multi-Agent and Systems,
Vol. 27, No. 1,
pp. 85-130. @
Springer, July 2013. Online since
22 June 2012.
cited
by...
Simone Gabbriellini and Paolo Torroni. Arguments
in social networks (extended abstract).
In Proceedings of the 12th International
Joint Conference on Autonomous Agents and
Multiagent Systems (AAMAS-2013),
Saint Paul, Minnesota, US,
May 6-10, 2013. IFAAMAS [poster]
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Simone Gabbriellini and Paolo Torroni. Large-scale
agreements via microdebates. In Proceedings
of the 1st International Conference on Agreement
Technologies (AT 2012),
Dubrovnik,
Croatia, October 15-16, 2012. CEUR
Workshop Proceedings, Vol. 918,
pp. 366-377.
ISSN
1613-0073 [slides]
Simone Gabbriellini and Paolo Torroni. Microdebates
for policy-making. Work presented at
the 3rd International Conference on
Computational Sustainability (CompSust'12),
Copenhagen, Denmark, July 4-6, 2012.
[paper,
poster,
slides].
cited
by...
Ozgur Kafali and Paolo Torroni. Exception
diagnosis in multiagent contract executions.
Annals of Mathematics and Artificial
Intelligence,
Vol. 64 No. 1,
pp. 73-107. DOI: 10.1007/s10472-012-9282-1.
© Springer-Verlag,
2012.
Francesca Toni and Paolo Torroni. Bottom-up
argumentation. In Proceedings
of the First International Workshop
on the Theory and Applications of Formal
Argumentation (TAFA-11), Barcelona,
Spain, July 16-17, 2011, LNAI 7132,
pp. 249-262. ©
Springer-Verlag, 2012.
cited
by...
2014
2013
2012 2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Federico Chesani, Paola Mello, Marco
Montali, and Paolo Torroni. Monitoring
time-aware commitments within agent-based
simulation environments. Cybernetics
and Systems, Vol. 42,
No. 7, pp. 546-566. ©
Taylor & Francis, October 2011.
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, Vol. 8, No.
3, pp. 1-25 (direct
link from JWSR home). DOI:
10.4018/jwsr.2011070101 ©
IGI-Global, 2011.
Ozgur Kafali and Paolo Torroni. Social
commitment delegation and monitoring.
In
Computational Logic in Multi-Agent
Systems (CLIMA XII), Barcelona,
Spain, July 16-17, 2011, LNAI 6814,
pp. 171-189. ©
Springer-Verlag, 2011.
Ozgur Kafali, Francesca Toni and Paolo
Torroni. Reasoning
about exceptions to contracts. In
Computational Logic in Multi-Agent
Systems (CLIMA XII), Barcelona,
Spain, July 16-17, 2011, LNAI 6814,
pp. 225-242. ©
Springer-Verlag, 2011.
Ozgur Kafali and Paolo Torroni. Diagnosing
commitments: delegation revisited (extended
abstract). In Proceedings
of the 10th International Joint Conference
on Autonomous Agents and Multiagent Systems
(AAMAS-2011), Taipei, Taiwan, pp.
1175-1176. © IFAAMAS,
May 2011.
Ozgur Kafali, Francesca Toni, and Paolo
Torroni. Collaborative
diagnosis of exceptions to contracts (extended
abstract). In Proceedings
of the 10th International Joint Conference
on Autonomous Agents and Multiagent Systems
(AAMAS-2011), Taipei, Taiwan, pp.
1167-1168. © IFAAMAS,
May 2011.
Marco Montali, Paolo Torroni, Nicola
Zannone, Paola Mello, and Volha Bryl. Engineering
and verifying agent-oriented requirements
augmented by business constraints with
B-Tropos. Autonomous
Agents and Multiagent Systems,
Vol. 23, No. 2,
pp. 193-223. © Springer,
September 2011. Online since May 14, 2010.
Federico Chesani, Paola Mello, Marco
Montali, and Paolo Torroni. Modeling
and verifying business processes and
choreographies through the abductive proof
procedure SCIFF and its extensions. Intelligenza
Artificiale, the International Journal of
the AIxIA, Vol. 5,
No. 1, pp. 101-105. © IOS
Press, February 2011.
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Paolo Torroni, Marco Prandini, Marco
Ramilli, Jaoa Leite, Joao Martins. Arguments
against the troll.
In Proceedings of the Eleventh AI*IA
Symposium on Artificial Intelligence,
Brescia, December 1-3, 2010, pp. 232-235.
Arti Grafiche Apollonio, Brescia, Italy,
2010. ISBN: 9-788890-492419.
Marco Montali, Paolo Torroni, Marco
Alberti, Federico Chesani, Evelina Lamma, and
Paola Mello. Abductive
logic programming as an effective technology
for the static verification of declarative
business processes. Fundamenta
Informaticae, Vol. 102,
Nos. 3-4, pp. 325-361. ©
IOS Press, November 2010.
Federico Chesani, Paola Mello, Marco
Montali, and Paolo Torroni. A
logic-based, reactive calculus of events.
Fundamenta
Informaticae, Vol. 105,
Nos. 1-2, pp. 135-161. ©
IOS Press, 2010.
cited
by...
Federico Chesani, Paola Mello, Marco Montali,
Sergio Storari, and Paolo Torroni. On
the integration of declarative choreographies
and commitment-based agent societies into the
SCIFF logic programming framework. Multiagent
and Grid Systems, Vol. 6,
No. 2, pp. 165-190. ©
IOS Press, June 2010.
Ozgur Kafali, Federico Chesani, and
Paolo Torroni. What
happened to my commitment? Exception diagnosis
among misalignment and misbehavior.
In Computational Logic in Multi-Agent
Systems (CLIMA XI), Lisbon,
Portugal, August 16-17, 2010, LNCS 6245,
pp. 82-98. ©
Springer-Verlag, 2010.
Federico Chesani, Marco Montali, Paola
Mello, and Paolo Torroni. Role
monitoring in open agent societies.
In Proceedings of the 4th International
KES Symposium on Agents and Multi-agent
Systems — Technologies and
Applications (KES-AMSTA), Gdynia,
Poland, June 23-25, 2010, Part I, LNCS 6070,
pp. 112-121. ©
Springer-Verlag, 2010.
Marco Montali, Federico Chesani, Paola
Mello, and Paolo Torroni. Monitoring
time-aware social commitments with reactive
event calculus.
In Proceedings of the 20th European
Meeting on Cybernetics and Systems
Research (EMCSR'2010),
Symposium "From Agent Theory to Agent
Implementation" (AT2AI-7),
Vienna, Austria, April 6-7, 2010. Best paper
award. Austrian Society for Cybernetic
Studies.
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Federico Chesani, Paola Mello, Marco Montali and
Paolo Torroni. Verifying
a-priori the composition of declarative
specified services. In Proceedings
of the 2nd Multi-Agent Logics, Languages, and
Organisations Federated Workshops (MALLOW),
International Workshop on Agents, Web Services
and Ontologies, Integrated Methodologies
(MALLOW-AWESOME), Torino, Italy,
September 7-10, 2009. CEUR
Workshop Proceedings, ISSN 1613-0073, Vol.
494, Article 2 (8 pages).
Marco Alberti, Massimiliano Cattafi, Federico
Chesani, Marco Gavanelli, Evelina Lamma, Paola
Mello, Marco Montali, and Paolo Torroni. Integrating
abductive logic programming and description
logics in a dynamic contracting architecture.
In Proceedings of the 7th IEEE
International Conference on Web Services
(ICWS), Los Angeles, CA, July 6-10,
2009, pp. 254-261. ©
2009 IEEE
Marco Montali, Federico Chesani, Paola
Mello, and Paolo Torroni. Commitment
tracking via the Reactive Event Calculus.
In Proceedings
of the 21th International Joint Conference
on Artificial Intelligence (IJCAI),
Pasadena, CA, US, July 14-17, pp. 91-96, 2009.
© 2009 AAAI
cited
by...
Paolo Torroni, Federico Chesani, Paola Mello,
and Marco Montali. Social
commitments in time: satisfied or
compensated. In 7th
International Workshop on Declarative Agent
Languages and Technologies (DALT),
Budapest, Hungary, May 11, 2009. Revised
Selected and Invited Papers. LNCS 5498,
pp.228-243,
©
Springer-Verlag, 2009.
cited
by...
Paolo Torroni, Pinar Yolum, Munindar P. Singh,
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, and Paola Mello. Modelling
interactions via commitments and
expectations. Chapter in Virginia
Dignum, ed., Handbook of Research on
Multi-Agent Systems: Semantics and Dynamics
of Organizational Models, chapter 11,
pages 263-284. ©
IGI Global, Hershey, Pennsylvania, March
2009. ISBN: 978-1-60566-256-5
Publisher's Web site
cited
by...
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Federico Chesani, Marco Montali, Paola
Mello, and Paolo Torroni. Ontological
reasoning and abductive logic programming for
service discovery and contracting. In
Proceedings
of the 5th Workshop on Semantic Web
Applications and Perspectives (SWAP),
FAO-UN, Roma, Italy, December 15-17, 2008.
CEUR Workshop
Proceedings, Vol. 426,
Art. 23. ISSN 1613-0073.
Marco Montali, Paolo Torroni, Marco
Alberti, Federico Chesani, Marco Gavanelli,
Evelina Lamma, and Paola Mello. Verification
from declarative specifications using logic
programming. In Proceedings
of the 24th International Conference on
Logic Programming (ICLP), Udine,
Italy, December 9-13, 2008. LNCS 5366,
pp. 440-454, ©
Springer-Verlag, 2008. (LIA
Technical Report 08-004)
cited
by...
Marco Montali, Federico Chesani, Paola
Mello, and Paolo Torroni. Verification
of choreographies during execution using the
Reactive Event Calculus. In Proceedings
of the 5th International Workshop on Web
Services and Formal Methods (WS-FM), Milano,
Italy, September 4-5, 2008. LNCS 5387,
pp. 55-72, ©
Springer-Verlag, 2008.
cited
by...
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, Paola Mello, and Paolo
Torroni. Verifiable
agent interaction in abductive logic
programming: the SCIFF framework. ACM
Transaction on Computational Logic (ToCL),
Vol. 9, No. 4,
Article 29, August 2008. ©
ACM, 2008.
cited
by...
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, Paola Mello, Marco
Montali, and Paolo Torroni. Expressing
and verifying contracts with abductive logic
programming. International
Journal on Electronic Commerce,
Vol. 12, No. 4,
pp. 9-38. @
M.E. Sharpe, Inc., Summer 2008.
Special Issue on Contract Architectures and
Languages, edited by Claudio Bartolini,
Guido Governatori, and Zoran Milosevic.
cited
by...
Volha Bryl, Paola Mello, Marco Montali,
Paolo Torroni and Nicola Zannone. B-Tropos:
Agent-oriented requirements engineering meets
computational logic for declarative business
process modelling and verification.
In Fariba Sadri and Ken Satoh, eds.,
Proceedings of the 8th
International Workshop on Computational
Logic in Multi-Agent Systems (CLIMA-VIII), Porto,
Portugal, September 11-12, 2007, LNAI
5056, pp. 157-176. ©
Springer-Verlag, 2008. Based
on a presentation given at the Fourth
Italian Conference on Computational Logic
(CILC), held in Messina, Italy, on June
21-22, 2007.
Online proceedings on the CILC 2007 web site.
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Paolo Torroni, Marco Gavanelli and
Federico Chesani. Argumentation
in the semantic Web.
IEEE Intelligent Systems, Vol. 22,
Issue 6, Nov-Dec'07, pp.
66-74. Special Issue on Argumentation
Technology, edited by Iyad Rahwan and
Peter McBurney. ©
IEEE, 2007.
cited
by...
Paolo Torroni. Formal
properties of the SCIFF-AF multiagent
argumentation framework.
In Fariba Sadri and Ken Satoh, eds.,
Proceedings of the 8th
International Workshop on Computational
Logic in Multi-Agent Systems (CLIMA-VIII), Porto,
Portugal, September 10-11, 2007. Based
on a presentation given at the International
Workshop on Argumentation and Non-Monotonic
Reasoning (ArgNMR), Tempe, Arizona, US,
May 14, 2007.
Online proceedings on the ArgNMR web site.
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 Heinz-Gerd Hegering, Helmut Reiser, Michael
Schiffers, and Thomas Nebe, eds., Proceedings
of the 14th HP Software University Association
Workshop (HP-SUA), Garching/Munich,
Germany, July 11-14, 2007. ©
Managebright, Fort Collins, CO, 2007. ISBN
3000216901.
Slides.
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, Paola Mello, Marco
Montali, and Paolo Torroni. Expressing
and verifying contracts with abductive logic
programming. In
Guido
Boella, Leon van der Torre, and Harko
Verhagen, eds., Normative
Multi-agent Systems, Dagstuhl
Seminar Proceedings, Vol.
07122.
Internationales
Begegnungs- und Forschungszentrum fuer
Informatik (IBFI), Schloss Dagstuhl,
Germany, 2007. ISSN
1862-4405.
Online proceedings on the DROPS web site
maintained by Schloss Dagstuhl.
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, eds., Proceedings of the
1st International Conference on Web Reasoning
and Rule Systems (RR), Innsbrueck,
Austria, June 7-8, 2007.
LNAI
4524, pp. 279-288. ©
Springer-Verlag, 2007.
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, eds., Proceedings of the 4th European
Semantic Web Conference (ESWC),
Innsbrueck, Austria, June 3-7, 2007.
LNAI
4519, pp. 68-83. ©
Springer-Verlag, 2007.
cited
by...
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, Vol. 8
No. 1, pp. 1-13. Special
Issue on Foundational
Underpinnings for Pragmatic
Agent-based Systems, edited by Henry
Hexmoor, Marcin Paprzycki, and
Niranjan Suri.
Warsaw School of Social Psychology, Poland,
2007.
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Paolo Torroni. Multi-agent
agreements about actions through argumentation.
In Paul E. Dunne and Trevor J.M. Bench-Capon,
eds., Computational Models of Argument, Proceedings
of COMMA 2006. Frontiers in
Artificial Intelligence and Applications
series, Vol. 144, pp. 323-328.
©
IOS Press, 2006. ISBN 1-58683-652-1, ISSN
0922-6389.
Marco Alberti, Marco Gavanelli, Evelina
Lamma, Giovanni Sartor, and Paolo Torroni. Un
sistema basato su logica computazionale per il
trattamento degli operatori deontici.
In La gestione e la negoziazione automatica
dei diritti sulle opere dell'ingegno digitali:
aspetti giuridici e informatici,
Volume a cura di Silvia Bisi e Claudio di
Cocco, Ottobre 2006. Capitolo
1, pp. 1-34. @ Gedit
Edizioni, Bologna.
ISBN 978-88-6027-015-3. In Italian.
Marco Alberti, Federico Chesani, Evelina
Lamma, Marco Gavanelli, 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, Manuel
Nunez, and Gianluigi Zavattaro, eds., Proceedings
of the
3rd International Workshop on Web Services
and Formal Methods (WS-FM'06), Vienna,
Austria, September 8-9, 2006,
LNAI 4184, pp. 58-72. ©
Springer-Verlag, 2006.
cited
by...
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, Paola Mello, Marco
Montali, and Paolo Torroni. Policy-based
reasoning for smart web service interaction.
In Axel Polleres, Stefan Decker, Gopal Gupta,
and Jos de Bruijn, eds., Proceedings of
the
1st International Workshop on Applications
of Logic Programming in the Semantic Web and
Semantic Web Services (ALPSWS 2006), Seattle,
WA, USA, August 16, 2006. CEUR
Workshop Proceedings, ISSN 1613-0073, Vol.
196, pp. 87-102.
cited
by...
Marco Alberti, Marco Gavanelli,
Evelina Lamma, Paola Mello, Giovanni Sartor,
and Paolo Torroni. Mapping
deontic operators to abductive
expectations. In Computational
and Mathematical Organization Theory,
Vol. 12, Nos. 2-3,
pp. 205-225 ©
Springer
Netherlands, October 2006.
cited
by...
Marco
Alberti, Federico Chesani, Marco Gavanelli,
Evelina Lamma, Paola Mello, and Paolo
Torroni. Compliance verification of
agent interaction: a logic-based software
tool. In Applied Artificial
Intelligence, Vol. 20,
Nos. 2-4, pp. 133-157.
Special Issue on Best of "From Agent
Theory to Agent Implementation (AT2AI-4),"
edited by Paolo Petta and Joerg P. Mueller.
@
Taylor & Francis,
February-April 2006.
cited
by...
Marco Alberti, Federico Chesani, Marco
Gavanelli, Evelina Lamma, Paola Mello, and Paolo
Torroni. Security protocols
verification in abductive logic programming: a
case study. In Oguz Dikenelli,
Marie-Pierre Gleizes, and Andrea Ricci, eds., Proceedings
of the 6th International Workshop "Engineering
Societies in the Agents' World"
(ESAW'05), October 26-28, 2005, LNAI
3963, pp. 106-124. © Springer-Verlag,
2006. Based on a presentation given at
the Second Italian Conference on
Computational Logic (CILC 2005),
held at Universita'Â degli Studi di Roma
Tor Vergata on June 21-22 2005.
Online proceedings edited by Alberto Pettorossi,
Maurizio Proietti, and Valerio Senni on the CILC
2005 web site.
Federico
Chesani, Marco Gavanelli, Marco Alberti,
Evelina Lamma, Paola Mello, and Paolo Torroni.
Specification and verification of
agent interaction using abductive reasoning
(tutorial paper). In Computational
Logic in Multi-agent Systems VI, LNAI 3900,
pp. 243-264 ©
Springer-Verlag, 2006.
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004 [prehistoric
rocks] [vision
& overview papers] [books]
[top]
Federico Chesani, Anna Ciampolini, Paola
Mello, Marco Montali, Paolo Torroni, Marco
Alberti, and Sergio Storari. Protocol
specification and verification by using
computational logic. In Flavio
Corradini, Flavio De Paoli, Emanuela Merelli,
and Andrea Omicini, eds., Proceedings of the
6th AI*IA/TABOO Joint Workshop "from Objects
to Agents", WOA 2005, Camerino, MC,
Italy, November 14-16, 2005, pp. 184-192.
Pitagora Editrice Bologna. ISBN 88-371-1590-3.
Marco Alberti, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. The SCIFF
abductive proof-procedure. In
Stefania Bandini and Sara Manzoni, eds., Proceedings
of the 9th National Congress on Artificial
Intelligence, AI*IA 2005, Milan, Italy,
September 21-23, 2005, LNAI 3673, pp.
135-147. ©
Springer-Verlag, 2005.
cited
by...
Marco Alberti, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. Abduction
with hypotheses confirmation. Short
paper.
In Fausto Giunchiglia, ed., Proceedings
of the 19th Biennal International Joint
Conference on Artificial Intelligence, IJCAI
2005, Edinburgh, Scotland, July
30-August 5, 2005, pp. 1545-1546. © AAAI
Press.
Marco Alberti, Marco Gavanelli, Evelina Lamma,
Paola Mello, Giovanni Sartor, and Paolo
Torroni. Mapping deontic operators to
abductive expectations. In Harko
Verhagen, ed., Proceedings of 1st
International Symposium on Normative
Multiagent Systems (NorMAS 2005),
AISB 2005, Hertfordshire, Hatfield, UK,
April 2005. The Society for the Study of
Artificial Intelligence and Simulation of
Behaviour. ISBN 1-902956-47-6.
Marco
Alberti, Federico Chesani, Marco Gavanelli,
Alessio Guerri, Evelina Lamma, Paola Mello,
and Paolo Torroni. Applicazione dei
vincoli di integrita' sociali come
strumento dispecifica delle interazioni in
aste combinatorie. In
Intelligenza
Artificiale, Anno II No.
1, Marzo
2005, pp. 22-29. ISSN
1724-8035.
Marco Alberti, Federico
Chesani, Marco Gavanelli, Alessio Guerri,
Evelina Lamma, Paola Mello, Michela Milano,
and Paolo Torroni. Expressing interaction
in combinatorial
auctions
through
Social Integrity Constraints. In
Armin Wolf, ed., Proceedings of the
19th Workshop on (Constraint) Logic
Programming, (W(C)LP), University of
Ulm, Germany, February 21-23, 2005. Ulmer
Informatik-Berichte 2005-01, pp.53-64.
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.
In Post-Proceedings
of the Global Computing 2004 Workshop
(GC 2004), Rovereto, Italy, March
9-12, 2004, LNAI 3267, pp. 314-339.
©
Springer-Verlag, 2005.
cited
by...
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
[prehistoric
rocks] [vision
& overview papers] [books]
[top]
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello, and
Paolo Torroni. Abduction with hypotheses
confirmation. In Atti del
Diciannovesimo incontro annuale della
Associazione Italiana Gruppo Ricercatori e
Utenti di Logic Programming (GULP),
Parma, Italy, June 16-17, 2004. Dipartimento
di Matematica, Universita'Â di Parma.
Antonis Kakas, Paolo
Torroni, and Neophytos Demetriou. Agent
planning,
negotiation,
and control
of operation.
In Ramon Lopez de Mantaras and Lorenza
Saitta, eds., Proceedings of the 16th
Biennal European Conference on Artificial
Intelligence, ECAI 2004, Valencia,
Spain, August 22-27, 2004, pp. 28-32. @ IOS
Press.
cited
by...
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 Proceedings
of the 13th IEEE International workshops
on Enabling technologies: Infrastructures
for collaborative enterprises (WETICE-2004),
2nd International Workshop "Theory and
practice of open computational systems (TAPOCS)".
Modena, Italy, June 14, 2004. pp. 387-392. @
IEEE.
Marco Alberti, Federico
Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. Compliance
verification of agent interaction: a
logic-based tool. In R. Trappl,
editor, Proceedings of the 17th European
Meeting on Cybernetics and Systems
Research (EMCSR'2004),
Vol. II, Symposium "From Agent Theory to
Agent Implementation" (AT2AI-4),
pp. 570-575, Vienna, Austria, April 13-16,
2004. Austrian Society for Cybernetic
Studies. An extended
version appeared in Applied
Artificial Intelligence in 2006.
Marco Alberti, Davide
Daolio, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. Specification
and verification
of agent
interaction
protocols
in a logic-based
system.
In Hisham M. Haddad, Andrea Omicini, and
Roger L. Wainwright, eds., Proceedings
of the 19th ACM Symposium on Applied
Computing, SAC
2004, Special Track on Agents,
Interactions, Mobility, and Systems
(AIMS). Nicosa, Cyprus, March 14-17,
2004. pp. 72-78. © ACM
Press.
cited
by...
Anna Ciampolini and Paolo
Torroni. Using abductive
logic
agents
for modeling
the judicial
evaluation
of criminal
evidence.
In Applied Artificial Intelligence,
Volume 18, Nos. 3-4,
pp. 251-275. Taylor & Francis,
March-April 2004. Special issue on
The Construction of
Judicial Proof: A Challenge for Artificial
Intelligence Modelling, edited
by Antonio A. Martino and Ephraim Nissan.
cited
by...
Marco Gavanelli, Evelina
Lamma, Paola Mello, and Paolo Torroni. An
abductive
framework
for information
exchange
in multi-agent
systems. In Juergen Dix and Joao
Leite, eds., 4th
International Workshop on Computational
Logic in Multi-Agent Systems (CLIMA-IV),
Fort Lauderdale, FL, January 6-7,
2004, LNAI 3259, pp. 34-52. ©
Springer-Verlag, 2004.
Pre-proceedings published in the
Universita'¤t Clausthal Technical Report
series, Band 1 Heft 5,
pp. 4-21, January 2003. ISBN 3-89720-688-9.
cited
by...
Andrea Bracciali and
Paolo Torroni. A new framework for
knowledge revision of abductive agents
through their interaction (preliminary
report). In Juergen Dix and Joao
Leite, eds., 4th
International Workshop on Computational
Logic in Multi-Agent Systems (CLIMA-IV),
Fort Lauderdale, FL, January 6-7,
2004, LNAI 3259, pp. 159-177. ©
Springer-Verlag, 2004.
Pre-proceedings published in the
Universita'¤t Clausthal Technical Report
series, Band 1 Heft 5,
pp. 143-161, January 2003. ISBN
3-89720-688-9.
cited
by...
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello, and
Paolo Torroni. Modeling interactions
using social integrity constraints:
a resource sharing case study. In Joao
Leite, Andrea Omicini, Leon Sterling, and
Paolo Torroni, eds., Declarative
Agent Languages and Technologies.
First International Workshop, DALT 2003,
Melbourne, Australia, July 15, 2003, Revised
Selected and Invited Papers, LNAI 2990,
pp. 243-262. ©
Springer-Verlag, 2004.
[recent papers]
2003
2002
2001
2000
1999 [vision
& overview papers] [books]
[top]
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello, and
Paolo Torroni. An abductive
computational
model
for open
societies.
In Angelo Cappelli and Franco Turini, eds.,
Proceedings
of the 8th National Congress on
Artificial Intelligence, AI*IA 2003,
Pisa, Italy, September 23-26, 2003, LNAI 2829,
pp. 287-299. ©
Springer-Verlag, 2003.
Marco Gavanelli, Evelina
Lamma, Paola Mello, Michela Milano, and
Paolo Torroni. Interpreting abduction in
CLP. In Luigi Palopoli, ed., APPIA-GULP-PRODE
Joint Conference on Declarative
Programming, Reggio Calabria, Italy,
September 3-5, 2003. Universita'Â
Mediterranea di Reggio Calabria.
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello, and
Paolo Torroni. Specification and verification
of agent
interaction
using social
integrity
constraints.
Electronic Notes in Theoretical Computer
Science, Vol. 85 No. 2.
Special Issue on Proceedings
of the Workshop on Logic and Communication
in Multi-Agent Systems, LCMAS 2003,
Eindhoven, the Netherlands, 29 June 2003,
edited by Wiebe van der Hoek, Alessio
Lomuscio, Erik de Vink, and Mike Wooldridge.
@ Elsevier Science, October 2003.
cited
by...
Fariba Sadri, Francesca
Toni, and Paolo Torroni. Minimally
intrusive negotiating agents for resource
sharing. In Georg Gottlob, ed., Proceedings
of the 18th Biennal International Joint
Conference on Artificial Intelligence,
IJCAI 2003, Acapulco, Mexico, August
12-15, 2003. @ AAAI Press.
Marco Alberti, Anna
Ciampolini, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. A social
ACL semantics
by deontic
constraints.
In Vladimir Marik, Joerg Mueller, and Michal
Pechoucek, editors, Multi-Agent
Systems and Applications III.
Proceedings of the 3rd International
Central and Eastern European Conference on
Multi-Agent Systems, CEEMAS 2003,
Prague, Czech Republic, June 16-18 2003.
LNCS 2691, pp. 204-213. ©
Springer-Verlag, 2003.
Marco Alberti, Anna
Ciampolini, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. Logic
based semantics for an agent communication
language. In Barbara Dunin-Keplicz and
Rineke Verbrugge, eds., Proceedings of
the 1st international Workshop on Formal
Approaches to Multi-Agent Systems (FAMAS),
Warsaw, Poland, April 12, 2003, pp. 21-36.
Anna Ciampolini, Evelina
Lamma, Paola Mello, Francesca Toni, and
Paolo Torroni. Co-operation and
competition in ALIAS: a logic framework
for agents that negotiate.
Annals
of Mathematics and Artificial Intelligence,
Volume 37 Nos. 1-2,
pp. 65-91. Special issue on Computational
Logic in Multi-Agent Systems, edited
by Juergen Dix, Fariba Sadri, and Ken Satoh.
@ Kluwer Academic Publishers, January 2003.
ISSN 1012-2443.
cited
by...
[recent papers] 2003
2002
2001
2000
1999
[vision
& overview papers] [books]
[top]
Fariba Sadri, Francesca
Toni, and Paolo Torroni. A multi-stage
negotiation architecture for sharing
resources amongst logic-based agents
(extended abstract). Short paper. In
Peter Mc Burney and Michael Wooldridge,
eds., Proceedings of the Special
Interest Group on Multi-Agent Systems,
(UKMAS'02), Liverpool, London,
December 2002 (2 pages).
Paolo Torroni, Paola
Mello, N. Maudet, Marco Alberti, Anna
Ciampolini, Evelina Lamma, Fariba Sadri,
and Francesca Toni. A logic-based
approach to modeling interaction among computees
(preliminary report). In Peter Mc
Burney and Michael Wooldridge, eds., Proceedings
of the Special Interest Group on
Multi-Agent Systems, (UKMAS'02),
Liverpool, London, December 2002 (14
pages).
Paolo Torroni. A
study on the termination of negotiation
dialogues. In Cristiano
Castelfranchi and W. Lewis Johnson, eds.,
Proceedings of the 1st International
Joint Conference on Autonomous Agents
and Multiagent Systems (AAMAS-2002),
Bologna, Italy, ©
ACM, July 2002. ISBN 1-58113-480-0
pp. 1223-1230.
cited
by...
Anna Ciampolini,
Evelina Lamma, Paola Mello and Paolo
Torroni. Coordinating the safe
execution of tasks in a constrained
multi-agent system. Short paper. In
Cristiano Castelfranchi and W. Lewis
Johnson, eds., Proceedings of the 1st
International Joint Conference on
Autonomous Agents and Multiagent Systems
(AAMAS-2002), Bologna, Italy, ©
ACM, July 2002. ISBN 1-58113-480-0
pp. 940-941. Extended version in
Proceedings of the 3rd International
Workshop on Distributed Constraint
Reasoning (DCR), July 2002 (9 pages).
Fariba Sadri, Francesca
Toni, and Paolo Torroni. An abductive
logic programming architecture for
negotiating agents. In Sergio
Flesca, Sergio Greco, Giovambattista
Ianni, and Nicola Leone, eds., Proceedings
of the 8th European Conference on
Logics in Artificial Intelligence
(JELIA'02), Cosenza, Italy,
September, 23-26, 2002, LNAI 2424,
2002, pp. 419-431. ©
Springer-Verlag, 2002.
cited
by...
Anna Ciampolini,
Evelina Lamma, Paola Mello and Paolo
Torroni. A Proof-system for the Safe
Execution of Tasks in Multi-Agent
Systems. In Sergio Flesca, Sergio
Greco, Giovambattista Ianni, and Nicola
Leone, eds., Proceedings
of the 8th European Conference on
Logics in Artificial Intelligence
(JELIA'02), Cosenza, Italy,
September, 23-26, 2002, LNAI 2424,
2002, pp. 14-26. ©
Springer-Verlag, 2002.
Andrea Roli and Paolo
Torroni. Logics, local search, and
resource allocation. Short paper. In
Thierry Vidal and Paolo Liberatore, eds.,
Proceedings of the STarting Artificial
Intelligence Researchers Symposium
(STAIRS'02), Lyon, France, July
22-23, 2002. Frontiers in Artificial
Intelligence and Applications, Vol
78, pp. 119-120. © IOS Press,
Ohmsha, 2002.
Fariba Sadri, Francesca
Toni, and Paolo Torroni. Dialogues for
negotiation: agent varieties and
dialogue sequences. In John-Jules
Meyer and Milind Tambe, eds., Intelligent
Agent VIII, revised papers from
the 8th International Workshop on Agent
Theories, Applications, and Languages
(ATAL'01), Seattle, WA, USA, August
1-3, 2001. Best paper award, LNAI 2333,
pp. 405-421. ©
Springer-Verlag, 2002.
cited
by...
[recent papers] 2003 2002
2001
2000
1999 [vision
& overview papers] [books]
[top]
Anna Ciampolini, Evelina
Lamma, Paola Mello and Paolo Torroni. LAILA:
a language for coordinating abductive
reasoning among logic agents. Computer
Languages, Vol. 27 No. 4,
@ Elsevier Science, 2001. pp. 137-161.
cited
by...
Paolo Torroni and
Francesca Toni. Extending a logic
based one-to-one negotiation framework
to one-to-many negotiation. In
Andrea Omicini, Paolo Petta and Robert
Tolksdorf, eds., Engineering
Societies in the Agents World II,
Proceedings ESAW'01, LNCS 2203,
December 2001, pp. 105-118. ©
Springer-Verlag, 2001.
Fariba Sadri, Francesca
Toni, and Paolo Torroni. Logic agents,
dialogues and negotiation: an abductive
approach. In Kosthas Stathis and
Michael Schroeder, eds., Proceedings
of the Symposium on Information Agents
for E-Commerce, AISB'01, York, UK,
March 2001.
cited
by...
[recent papers] 2003 2002
2001
2000
1999 [vision
& overview papers] [books]
[top]
Anna Ciampolini, Evelina
Lamma, Paola Mello and Paolo Torroni. Expressing
collaboration and competition among
abductive logic agents. AI*IA
Notizie - Anno XIII No. 3,
Settembre 2000, pp. 19-24.
Rosy Barruffi, Michela
Milano, Paolo Torroni. Planning while
executing: a constraint-based approach.In
Sasha Ohsuga and Zbigniew W. Ras, eds., Foundations
of Intelligent Systems,
Proceedings ISMIS'00, LNAI 1932,
pp. 228-236, December, 2000. ©
Springer-Verlag, 2000.
Anna Ciampolini,
Evelina Lamma, Paola Mello, Cesare
Stefanelli and Paolo Torroni. An
implementation for Abductive LogIc
AgentS. In Paola Mello and Evelina
Lamma, eds., AI*IA
99: Advances in Artificial
Intelligence, LNAI 1792,
pp. 61-71. ©
Springer-Verlag, 2000.
cited
by...
Anna Ciampolini,
Evelina Lamma, Paola Mello and Paolo
Torroni. Expressing
collaborative and competitive
coordination among abductive logic
agents. In Ken Satoh and Fariba
Sadri, eds., Proceedings of the 1st
International Workshop on Computational
Logic in Multi-Agent Systems (CLIMA'00),
Imperial College, London, 2000.
[recent papers] 2003 2002
2001
2000
1999
[vision
& overview papers] [books]
[top]
Rosy Barruffi, Michela
Milano, Paolo Torroni, Interactive
constraints for plan construction and
execution, In Proceedings of the
Eighteenth Workshop of the UK Planning
and Scheduling Special Interest Group,
Gary J. Petley, Alex M. Coddington, Ruth
Aylett, eds., University of Salford, UK,
1999
Anna Ciampolini,
Evelina Lamma, Paola Mello and Paolo
Torroni. The dynamic composition of
abductive agents in ALIAS. In
Antonio Brogi and Particia Hill, eds., Proceedings
of the Workshop on COmponent-based
software developement in Computational
Logic (COCL'99), Paris, 1999.
Anna Ciampolini,
Evelina Lamma, Paola Mello and Paolo
Torroni. Rambling abductive agents in
ALIAS. In Fariba Sadri, Francesca
Toni, and Stephen Rochefort, Proceedings
of the ICLP Workshop on Multi-Agent
Sytems in Logic Programming (MAS'99),
Las Cruces, New Mexico, 1999.
Demos
& reports
[books]
[vision & overview papers]
[technical papers]
Federico Chesani,
Paola Mello, Marco Montali, and Paolo
Torroni. A REC-based commitment
tracking
tool.
System demonstration.
Proceedings of the 10th AI*IA/TABOO
Italian Joint Workshop "From Objects to
Agents" (WOA 2009).
Marco Alberti, Anna
Ciampolini, Marco Gavanelli, Evelina
Lamma, Paola Mello, and Paolo Torroni. Verifiable
agent
interaction
in abductive
logic
programming:
the SCIFF proof-procedure.
Department of Electronics, Computer
Science, and Systems, University of
Bologna, Italy. DEIS Technical Report
DEIS-LIA-06-001, Universita'Â di
Bologna, LIA Series No 75, March 2006 (76
pages).
Marco Alberti, Marco
Gavanelli, Evelina Lamma, Paola Mello,
Giovanni Sartor, and Paolo Torroni. Towards
a mapping
of deontic
logic
onto
an abductive
framework.
In Alfredo Milani, ed., Atti della
Conferenza Italiana sui Sistemi
Intelligenti CISI-04, 9th AI*IA
Convention. Workshop Agenti e Vincoli:
Modelli e Tecnologie per Dominare la
Complessita'Â . Perugia,
Italy, 2004. Morlacchi Editore, Perugia.
ISBN 88-89422-09-2.
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, ed., Atti della
Conferenza Italiana sui Sistemi
Intelligenti CISI-04, 9th AI*IA
Convention. Workshop Agenti e Vincoli:
Modelli e Tecnologie per Dominare la
Complessita'Â . Perugia,
Italy, 2004. Morlacchi Editore, Perugia.
ISBN 88-89422-09-2.
Marco Alberti, Federico
Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. Storyboard
of the AAMAS 2004 DEMO presented at
Columbia University, New York, NY, USA, on
July 22, 2004.
Marco Alberti, Anna
Ciampolini, Marco Gavanelli, Evelina
Lamma, Paola Mello, and Paolo Torroni. Logic
based
semantics
for an agent
communication
language.
Department of Electronics, Computer
Science, and Systems, University of
Bologna, Italy. DEIS Technical Report
DEIS-LIA-03-001, Universita'Â di
Bologna, LIA Series No 62, January 2003
(18 pages).
Paolo Torroni. Logics
and multi-agents: towards a new symbolic
model of cognition. Invited
contribution (panel discussion abstract).
In Electronic Notes in Theoretical
Computer Science, Vol. 70
No. 5, Elsevier Science, 2002. Also
published in Juergen Dix, Joao Leite, and
Ken Satoh, eds., Proc. 3rd
International Workshop in Computational
Logic in Multi-Agent Systems (CLIMA'02)
No. 93 in Datalogiske Skrifter (Writings
on Computer Science), Roskilde University,
Denmark, 2002. ISSN 0109-9779, pp.
177-180.
Fariba Sadri, Francesca
Toni, and Paolo Torroni. A multi-stage
negotiation architecture for sharing
resources amongst logic-based agents.
Department of Electronics, Computer
Science, and Systems, University of
Bologna, Italy. DEIS Technical Report
DEIS-LIA-02-008, Universita'Â di
Bologna, LIA Series No 61, November 2002
(21 pages).
Paolo Torroni. Reasoning
and interaction in logic-based
multi-agent systems. PhD thesis,
Department of Electronics, Computer
Science, and Systems, University of
Bologna, Italy. DEIS Technical Report
DEIS-LIA-02-005, Universita'Â
di Bologna, LIA Series No 58, February
2002 (171 pages).
Paolo Torroni, Paola
Mello, Anna Ciampolini, Evelina Lamma,
Michela Milano, Rebecca Montanari,
Fabrizio Riguzzi, and Andrea Roli. The
SOcieties of ComputeeS Project: a
position paper. DEIS Technical
Report DEIS-LIA-02-004,
Universita'Â di Bologna, LIA Series
No 57, 2002 (28 pages).
Anna Ciampolini and
Paolo Torroni. Using abductive
logic
agents
for legal
justification.
DEIS Technical Report DEIS-LIA-02-002,
Universita'Â di Bologna, LIA Series
No 55, 2002 (24 pages).
Maurelio
Boari, Carlo Polacchini, Francesco
Panciroli, and Paolo Torroni. Modello di
un sistema per la programmazione didattica
dell'Ateneo di Bologna. Dicembre 1999
(in Italian, 28 pages). Stampa TECHNOPRINT,
Bologna. Disponibile su richiesta.
Copyright
The documents distributed by this server have
been provided by the contributing authors as a
means to ensure timely dissemination of
scholarly and technical work on a
noncommercial basis.Copyright and all rights
therein are maintained by the authors or by
other copyright holders, notwithstanding that
they have offered their works here
electronically. It is understood that all
persons copying this information will adhere
to the terms and constraints invoked by each
author's copyright. These works may not be
reposted without the explicit permission of
the copyright holder.
©
ACM Copyright Notice: Permission to make
digital or hard copies of part or all of this
work for personal or classroom use is granted
without fee provided that copies are not made
or distributed for profit or commercial
advantage and that copies bear this notice and
the full citation on the first page.
Copyrights for components of this work owned
by others than ACM must be honored.
Abstracting with credit is permitted. To copy
otherwise, to republish, to post on servers,
or to redistribute to lists, requires prior
specific permission and/or a fee.
© IEEE Copyright Notice: Personal use of this
material is permitted. However, permission to
reprint/republish this material for
advertising or promotional purposes or for
creating new collective works for resale or
redistribution to servers or lists, or to
reuse any copyrighted component of this work
in other works must be obtained from the IEEE.
© Springer Copyright Notice (LNCS):
Publication on the author's personal Web page
is permitted, provided that the author creates
a link to the volume of LNCS at the
Springer-Verlag server or to the LNCS
series Homepage and that together with
the electronic version it is clearly pointed
out, by prominently adding "©
Springer-Verlag"Â, that the copyright for
this contribution is held by Springer.
|
|
some
articles citing my work
|