Marta Cialdea Mayer
home page
Home
Publications
Software
Teaching
Contacts
Marta Cialdea Mayer
Dipartimento di Ingegneria
Università degli Studi Roma Tre
Via della Vasca Navale 79, 00146 Roma, Italy
Tel.: +39-06-57333232 Fax: +39-06-57333612
e-mail:
cialdea@ing.uniroma3.it
Research group
Artificial Intelligence
Research interests
Logic for Knowledge Representation
Automated Deduction
Modal and Temporal Logics
Abductive Reasoning
Action and Temporal Planning
