Publications
- 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,
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, and V. Patti.
Supporting Users in
Adaptive Web-based Applications: Techniques from Reasoning about
Actions.
In F. De Paoli, S. Manzoni, and A. Poggi, editors, Proc. of WOA 2002:
Dagli oggetti agli agenti, dall'informazione alla conoscenza, Milan,
Italy, November 2002. Pitagora Editrice Bologna.
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Reasoning
about Complex Actions with Incomplete Knowledge: A Modal
Approach.
In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc.
of Theoretical Computer Science, 7th Italian Conference,
ICTCS'2001, volume 2202 of Lecture Notes in Computer
Science, pages 405-425, Turin, Italy, 2001. Springer.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
An
Abductive Procedure for Reasoning about Actions in Modal Logic
Programming.
In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the
2nd International Workshop on Non-Monotonic Extentions of Logic Programming,
NMELP'96, volume 1216 of LNAI, pages 132-150.
Springer-Verlag, 1997.
(PostScript)
(PDF)
|