Dipartimento di Informatica e Automazione
Via della Vasca Navale 79, 00146 Roma, Italy
Tel.: +39-06-57333232 Fax: +39-06-57333612

e-mail: cialdea@dia.uniroma3.it

Marta Cialdea Mayer

Research interests: Logic for Knowledge Representation Automated Deduction Modal and Temporal Logics Abductive Reasoning Action Planning Publications, Technical Reports, Slides Software: The Planner Pdk Pilate and Herod, two tableau provers for basic hybrid logic Logitest, a support system for logical MCQs designers. Events: TABLEAUX 2003 in Rome

The Artificial Intelligence Laboratory at Roma Tre

Teaching:

e-mail me