CIALDEA, Marta

CIALDEA, Marta  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 85 (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 General Theorem Prover for Quantified Modal Logics 1-gen-2002 V., Thion; S., Cerrito; 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 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
Abduction is not Deduction-in-Reverse. 1-gen-1996 Cialdea, Marta; Pirri, F.
An AI-Based Approach to Automatic Waste Sorting 1-gen-2020 Strollo, E.; Sansonetti, G.; Mayer, M. C.; Limongelli, C.; Micarelli, A.
An efficient approach to nominal equalities in hybrid logic tableaux 1-gen-2010 Cerrito, S.; Cialdea, Marta
Applicazioni di intelligenza artificiale nella formazione. Alcune esperienze 1-gen-1991 Aiello, L.; Cialdea, Marta; Micarelli, A.; Mungo, F.; Nucci, F. S.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings 1-gen-2003 Cialdea, Marta; Pirri, F.
Autonomous Generation of Symbolic Knowledge via Option Discovery 1-gen-2021 Sartor, Gabriele; Zollo, Davide; Cialdea, Marta; Oddi, Angelo; Giuliano Santucci, Vieri; Rasconi, Riccardo