Publications
- M. Baldoni,
C. Baroglio, and E. Marengo.
Curricula
Modeling and Checking.
In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances
in Artificial Intelligence, 10th Congress of the Italian Association for
Artificial Intelligence, volume 4733 of LNAI, pages
471-482, Rome, Italy, September 2007. Springer.
(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.
Reasoning
about interaction protocols for web service composition.
In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on
Web Services and Formal Methods, WS-FM 2004, volume 105 of
Electronic Notes in Theoretical Computer Science, pages 21-36.
Elsevier Science Direct, 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, and V. Patti.
Web-based adaptive
tutoring: an approach based on logic agents and reasoning about actions.
Artificial Intelligence Review, 22(1):3-39, 2004.
(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, and V. Patti.
Applying logic inference techniques for gaining flexibility and adaptivity in
tutoring systems.
In C. Stephanidis, editor, Proceedings of the 10th International
Conference on Human-Computer Interaction (HCII 2003), Symposium on Human
Interfaces 2003, 5th Intrnational Conference on engineering Psychology and
Cognitive Ergonomics, 2th International Conference in Human-Computer
Interaction, volume 4, pages 517-521, Crete, Greece, June 2003.
Lawrence Erlbaum Associates, Inc.
(PDF)
- M. Baldoni,
C. Baroglio, and V. Patti.
Structereless, Intention-guided Web Sites: Planning Based
Adaptation.
In C. Stephanidis, editor, Universal Access in HCI: Toward an Information
Society for All, Proceedings of the 9th International Conference on
Human-Computer Interaction (HCII 2001), Symposium on Human Interfaces 2001,
4th Intrnational Conference on engineering Psychology and Cognitive
Ergonomics, 1th International Conference in Human-Computer
Interaction, volume 3, pages 237-241, New Orleans, LA, USA, August
2001. Lawrence Erlbaum Associates, Inc.
(PDF)
|