Traverso, Paolo
Traverso, Paolo
Pianificazione Strategica
20 Years of Planning via Model Checking: From Theory to Practice
2015-01-01 Traverso, Paolo
A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models
2021-01-01 Patra, Sunandita; Mason, James; Ghallab, Malik; Traverso, Paolo; Nau, Dana
A Dynamic Logic for Acting, Sensing and Planning
2000-01-01 Luca, Spalazzi; Traverso, Paolo
A Framework for Planning with Extended Goals under Partial Observability
2003-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Pistore, Marco; Traverso, Paolo
A Hierarchical Task-Network Planner Based on Symbolic Model Checking
2005-01-01 U., Kuter; D., Nau; Pistore, Marco; Traverso, Paolo
A knowledge based system for automatic 3D scene generation
1992-01-01 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
A Logic for Acting, Sensing and Planning
1995-01-01 Traverso, Paolo; Luca, Spalazzi
A Metatheory of a Mechanized Object Theory
1996-01-01 Giunchiglia, Fausto; Traverso, Paolo
A Metatheory of a Mechnized Object Theory
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions
2006-01-01 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Minimalist Approach to Semantic Annotations for Web Processes Compositions
2006-01-01 Pistore, Marco; L., Spalazzi; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A Multi-Context Architecture for Formalizing Complex Reasoning
1995-01-01 Enrico, Giunchiglia; Traverso, Paolo
A planning language and a semantics for real world autonomous agents
1993-01-01 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
1997-01-01 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
2002-01-01 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
1998-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Mathematical Reasoning
1994-01-01 Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Reasoning
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
A three level architecture for the modular specification of knowledge and reasoning strategies
1994-01-01 Mauro Di, Manzo; Enrico, Giunchiglia; Traverso, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 20 Years of Planning via Model Checking: From Theory to Practice | 1-gen-2015 | Traverso, Paolo | |
| A Demonstration of Refinement Acting, Planning and Learning System Using Operational Models | 1-gen-2021 | Patra, Sunandita; Mason, James; Ghallab, Malik; Traverso, Paolo; Nau, Dana | |
| A Dynamic Logic for Acting, Sensing and Planning | 1-gen-2000 | Luca, Spalazzi; Traverso, Paolo | |
| 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 |