Publications
- 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,
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,
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,
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)
- Cristina Baroglio.
Exploiting qualitative knowledge to enhance skill acquisition.
In Proc. of ECML-97, European Conference on Machine Learning,
volume 1224 of LNAI, pages 49-56, Prague, Czech Republic, April
1997. Springer Verlag.
- Cristina
Baroglio.
Soft Teaching.
PhD thesis, Università degli Studi di Torino, 1996.
- Cristina Baroglio.
Teaching by shaping.
In ICML-95 Workshop on Learning by Induction vs. Learning by
Demonstration (also in Proc. of the 2nd European Workshop on Learning Robots,
Milano, Italy, 1995), Tahoe City, CA, USA, 1995.
|