CIALDEA, Marta
CIALDEA, Marta
Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche
A Planner Fully Based on Linear Time Logic
2000-01-01 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
A Formal Account of Planning with Flexible Timelines
2014-01-01 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
A Framework for Modelling Molecular Interaction Maps
2021-01-01 Alliot, Jean-Marc; Cialdea, Marta; Demolombe, Robert; Diéguez, Martín; Fariñas del Cerro, Luis
A game-theoretic approach to timeline-based planning with uncertainty
2018-01-01 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea; Reynolds, Mark
A General Theorem Prover for Quantified Modal Logics
2002-01-01 V., Thion; S., Cerrito; Cialdea, Marta
A Language for Timeline-based Planning
2020-01-01 Bernardi, Giulio; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro; Cialdea, Marta
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems.
1991-01-01 Aiello, L. C.; Cialdea, Marta; Nardi, D.
A modal Herbrand's property
1986-01-01 Cialdea, Marta; FARINAS DEL CERRO, L.
A Planner Fully Based on Linear Time Logic
2000-01-01 Cialdea, Marta; Balestreri, A. O. R. L. A. N. D. I. N. I. G.; Limongelli, Carla
A polynomial translation of S4 into T and contraction-free tableaux for S4
1997-01-01 Cerrito, S; Cialdea, Marta
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies
2013-01-01 Cialdea, Marta
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati)
2005-01-01 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
A Prototype for the Robust Execution of Flexible Plans
2020-01-01 Lanzilli, Annarita; Cialdea, Marta; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies
2020-01-01 Cialdea Mayer, Marta
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems
1990-01-01 Cialdea, Marta; Micarelli, A.; Nardi, D.; Spohrer, J. C.; Aiello, L.
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems
1990-01-01 Cialdea, Marta; Micarelli, Alessandro; Nardi, D; Spohrer J., C; Aiello, L. C.
A study on the logic of abduction
1996-01-01 Cialdea, Marta; Pirri, F.
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities
2013-01-01 Cerrito, S; Cialdea, Marta
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
2011-01-01 Cerrito, S.; Cialdea, Marta
Abduction and consequence generation in a support system for the design of logical multiple-choice questions
2009-01-01 Cialdea, Marta