Traverso, Paolo

Traverso, Paolo  

Mostra records
Risultati 1 - 20 di 166 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
20 Years of Planning via Model Checking: From Theory to Practice 1-gen-2015 Traverso, Paolo
A Dynamic Logic for Acting, Sensing and Planning 1-gen-2000 Luca Spalazzi; Paolo Traverso
A Framework for Planning with Extended Goals under Partial Observability 1-gen-2003 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Hierarchical Task-Network Planner Based on Symbolic Model Checking 1-gen-2005 U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo
A knowledge based system for automatic 3D scene generation 1-gen-1992 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
A Logic for Acting, Sensing and Planning 1-gen-1995 Traverso, Paolo; Luca, Spalazzi
A Metatheory of a Mechanized Object Theory 1-gen-1996 Giunchiglia, Fausto; Traverso, Paolo
A Metatheory of a Mechnized Object Theory 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 1-gen-2006 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A Multi-Context Architecture for Formalizing Complex Reasoning 1-gen-1995 Enrico, Giunchiglia; Traverso, Paolo
A planning language and a semantics for real world autonomous agents 1-gen-1993 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
A Request Language for Web-Services Based on Planning and Constraint Satisfaction 1-gen-2002 M., Aiello; Mike P., Papazoglou; J., Yang; Carman, Mark James; Pistore, Marco; Serafini, Luciano; Traverso, Paolo
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Mathematical Reasoning 1-gen-1994 Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Reasoning 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
A three level architecture for the modular specification of knowledge and reasoning strategies 1-gen-1994 Mauro Di, Manzo; Enrico, Giunchiglia; Traverso, Paolo
Acting and Planning Using Operational Models 1-gen-2019 Patra, Sunandita; Ghallab, Malik; Nau, Dana S.; Traverso, Paolo