Università di Torino



  • 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)

    [Group's HOME] [Department's HOME]

    If you are interested in papers which are not available, please, contact directly the author(s).