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)
- M. Baldoni.
Normal Multimodal Logics with Interaction Axioms.
In D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Viganò,
editors, Labelled Deduction, volume 17 of Applied Logic
Series, pages 33-53. Applied Logic Series, Kluwer Academic Publisher,
2000.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A
Tableau Calculus for Multimodal Logics and some (Un)Decidability
Results.
In H. de Swart, editor, Proc. of the International Conference on
Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of
LNAI, pages 44-59. Springer-Verlag, 1998.
(PostScript)
(PDF)
|