CIALDEA, Marta

CIALDEA, Marta  

Dipartimento di Ingegneria civile, informatica e delle tecnologie aeronautiche  

Mostra records
Risultati 1 - 20 di 86 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A Planner Fully Based on Linear Time Logic 1-gen-2000 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
A Formal Account of Planning with Flexible Timelines 1-gen-2014 Cialdea, Marta; Orlandini, Andrea; Umbrico, Alessandro
A Framework for Modelling Molecular Interaction Maps 1-gen-2021 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 1-gen-2018 Gigante, Nicola; Montanari, Angelo; Cialdea, Marta; Orlandini, Andrea; Reynolds, Mark
A General Theorem Prover for Quantified Modal Logics 1-gen-2002 V., Thion; S., Cerrito; Cialdea, Marta
A Language for Timeline-based Planning 1-gen-2020 Bernardi, Giulio; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro; Cialdea, Marta
A Meta-Level Abstract Description of Diagnosis in Intelligent Educational Systems. 1-gen-1991 Aiello, L. C.; Cialdea, Marta; Nardi, D.
A modal Herbrand's property 1-gen-1986 Cialdea, Marta; FARINAS DEL CERRO, L.
A Planner Fully Based on Linear Time Logic 1-gen-2000 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 1-gen-1997 Cerrito, S; Cialdea, Marta
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies 1-gen-2013 Cialdea, Marta
A Proposal for Planning with graded fluents and actions (Pianificare con azioni e fluenti graduati) 1-gen-2005 Cialdea, Marta; Limongelli, Carla; A., Orlandini; V., Poggioni
A Prototype for the Robust Execution of Flexible Plans 1-gen-2020 Lanzilli, Annarita; Cialdea, Marta; Cesta, Amedeo; Orlandini, Andrea; Umbrico, Alessandro
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies 1-gen-2020 Cialdea Mayer, Marta
A rational reconstruction of the diagnostic process in Intelligent Tutoring Systems 1-gen-1990 Cialdea, Marta; Micarelli, A.; Nardi, D.; Spohrer, J. C.; Aiello, L.
A Rational reconstruction of the Diagnostic Process in Intelligent Tutoring Systems 1-gen-1990 Cialdea, Marta; Micarelli, Alessandro; Nardi, D; Spohrer J., C; Aiello, L. C.
A study on the logic of abduction 1-gen-1996 Cialdea, Marta; Pirri, F.
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities 1-gen-2013 Cerrito, S; Cialdea, Marta
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders 1-gen-2011 Cerrito, S.; Cialdea, Marta
Abduction and consequence generation in a support system for the design of logical multiple-choice questions 1-gen-2009 Cialdea, Marta