Publications
- 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)
- C. Schifanella, L. Lusso, M. Baldoni, and C. Baroglio.
Design and development of a visual environment
for writing DyLOG programs.
In M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors,
Proc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi e
Agenti Razionali, pages 43-50, Torino, Italy, November 2004. 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.
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)
- M. Baldoni.
Normal Multimodal Logics: Automatic Deduction and Logic
Programming Extension.
PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino,
Italy, 1998.
(PostScript)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming: Modularity, Beliefs and
Hypothetical Reasoning.
Journal of Logic and Computation, 8(5):597-635, 1998.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
A Modal Programming Language for Representing Complex Actions.
In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98
Post-Conference Workshop on Transactions and Change in Logic Databases,
DYNAMICS'98, pages 1-15, Manchester, UK, June 1998.
Technical Report MPI-9808.
(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)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Framework for
Modal Logic Programming.
In M. Maher, editor, Proc. of the Joint International Conference and
Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996.
The MIT Press.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
Translating
a Modal Language with Embedded Implications into Horn Clause
Logic.
In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of
the 5th International Workshop on Extensions of Logic Programming,
ELP'96, volume 1050 of LNAI, pages 19-33.
Springer-Verlag, 1996.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Modal Extention of Logic Programming.
In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint
Conference on Declarative Programming GULP-PRODE'94, volume 2, pages
324-335, Peñiscola, Spain, September 1994.
(PostScript)
(PDF)
- M. Baldoni,
L. Giordano, and A. Martelli.
A Multimodal Logic to define Modules in Logic Programming.
In D. Miller, editor, Proc. of the International Logic Programming
Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press.
(PDF)
|