Publications
- M. Baldoni and U. Endriss, editors.
Declarative Agent Languages and Technologies IV: Fourth
International Workshop, DALT 2006, Selected, Revised, and Invited
Papers, volume 4327 of Lecture Notes in Artificial
Intelligence (LNAI).
Springer, 2007.
- M. Baldoni,
C. Baroglio, and V. Mascardi, editors.
Proceedings of the
Multi-Agent Logics, Languages, and Organisations, Federated Workshops,
MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies
(MALLOW-AWESOME'007) workshop, Durham, GB, September 2007.
(PDF)
- M. Baldoni,
A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors.
Proc. of Workshop Dagli
Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli
agenti software, WOA 2007, Genova, Italy, September 2007. Seneca
Edizioni.
(PDF)
- M. Baldoni, T. C.
Son, M. B. van Riemsdijk, and M. Winikoff, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2007, Honolulu, Hawai'i, USA, May 2007.
(PDF)
- M. Baldoni and
U. Endriss, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2006, Hakodate, Japan, May 2006.
(PDF)
- M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors.
Declarative Agent
Languages and Technologies III: Third International Workshop,
DALT 2005, Selected and Revised Papers, volume 3904 of
Lecture Notes in Artificial Intelligence (LNAI).
Springer, 2006.
- M. Baldoni,
C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and
C. Schifanella.
Reasoning
About Agents' Interaction Protocols Inside DCaseLP.
In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of
the International Workshop on Declarative Agent Languages and Technologies,
DALT'04, number 3476 in LNAI, pages 112-131. Springer, 2005.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and
L. Torasso.
Personalization, verification and
conformance for logic-base communicating agents.
In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors,
Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi
formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora
Editrice Bologna.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Verification of protocol
conformance and agent interoperability.
In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
pages 12-27, London, UK, June 2005.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Verifying
protocol conformance for logic-based communicating agents.
In J. Leite and P. Torroni, editors, Post Proc. of Fifth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA V,
volume 3487 of LNAI, pages 192-212. Springer, 2005.
(PDF)
- M. Baldoni,
U. Endriss, A. Omicini, and P. Torroni, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2005, Utrecht, The Netherlands, July 2005.
(PDF)
- M. Baldoni,
C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and
C. Schifanella.
Reasoning
about agents' interaction protocols inside DCaseLP.
In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Pre-Proc. of
the International Workshop on Declarative Agent Languages and Technologies,
DALT'04, pages 250-265, New York, USA, July 2004.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about logic-based agent
interaction protocols.
In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on
Computational Logic, CILC'04, pages 250-264, Parma, Italy, June 2004.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Verifying
protocol conformance for logic-based communicating agents.
In J. Leite and P. Torroni, editors, Pre-Proc. of Fifth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages
82-97, Lisbon, Portugal, September 2004.
(PDF)
- M. Baldoni,
F. De Paoli, A. Martelli, and A. Omicini, editors.
Proc. of Workshop Dagli Oggetti agli
Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004, Torino,
Italy, November 2004. Pitagora Editrice Bologna.
ISBN: 88-371-1533-4.
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Programming Rational
Agents in a Modal Action Logic.
Annals of Mathematics and Artificial Intelligence, Special issue on
Logic-Based Agent Implementation, 41(2-4):207-257, 2004.
(PDF)
- M. Baldoni,
C. Baroglio, L. Giordano, A. Martelli, and V. Patti.
Reasoning
about communicating agents in the semantic web.
In F. Bry, H. Henze, and J. Maluszynski, editors, Proc. of the 1st
International Workshop on Principle and Practice of Semantic Web Reasoning,
PPSWR 2003, volume 2901 of LNCS, pages 84-98, Mumbai,
India, December 2003. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about Conversation Protocols in a Logic-based Agent
Language.
In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial
Intelligence, 8th Congress of the Italian Association for Artificial
Intelligence, volume 2829 of LNAI, pages 300-311.
Springer, September 2003.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about self and others: communicating agents in a modal action logic.
In C. Blundo and C. Laneve, editors, Theoretical Computer Science,
8th Italian Conference, ICTCS'2003, volume 2841 of
LNCS, pages 228-241, Bertinoro, Italy, October 2003. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, V. Patti, and L. Torasso.
Using a rational agent in an adaptive web-based tutoring system.
In P. Brusilovsky, N. Henze, and E. Millán, editors, Proc. of
Workshop on Adaptive System for Web-based Education, 2nd Int. Conf.
on Adaptve Hypermedia and Adaptive Web Based Systems, pages 43-55,
Málaga, Spain, May 2002. Universidad de Málaga.
(PDF)
- M. Baldoni,
C. Baroglio, A. Chiarotto, and V. Patti.
Programming
Goal-driven Web Sites using an Agent Logic Language.
In I. V. Ramakrishnan, editor, Proc. of the Third International Symposium
on Practical Aspects of Declarative Languages, volume 1990 of
Lecture Notes in Computer Science, pages 60-75, Las Vegas,
Nevada, USA, march 2001. Springer.
(PostScript)
(PDF)
- M. Baldoni,
C. Baroglio, A. Molia, and V. Patti.
Exploiting planning capabilities of a rational agent in adaptive web-based
recommendation systems: a case-study.
In S. Pizzutilo, editor, Proc. of AI*IA 2001, Demo Session, pages
9-12, Bari, Italy, September 2001.
(PDF)
- M. Baldoni,
C. Baroglio, A. Chiarotto, A. Martelli, and V. Patti.
Intention-guided Web Sites: A New Perspective on Adaptation.
In P. L. Emiliani and C. Stephanidis, editors, Proc. of the 6th ERCIM
Workshop, User Interfaces for All, pages 68-82, Florence, Italy,
September 2000.
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Modeling Agents in a Logic Action Language.
In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on
Practical Reasoning Agents, FAPR2000, 2000.
(PostScript)
(PDF)
|