Paolo Traverso

127 papers A* 22A 14B 8C 3Misc 5Journal 35Unranked 25
YearRankTypeTitle / Venue / Authors
2026 — conf
Online Learning of Object-Centric Symbolic Models in Partially Observable Environments.
ICAART (1)
Leonardo Lamanna, Luciano Serafini, Alessandro Saffiotti, Paolo Traverso
2025 J jnl
A Novel Method to Compute the Contact Surface Area Between an Organ and Cancer Tissue.
J. Imaging
Alessandra Bulanti, Alessandro Carfì, Paolo Traverso, Carlo Terrone, Fulvio Mastrogiovanni
2025 — conf
Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM.
ECMR
Oscar Lima, Marc Vinci, Sunandita Patra, Sebastian Stock, Joachim Hertzberg, Martin Atzmueller, Malik Ghallab, Dana S. Nau, Paolo Traverso
2025 J jnl
Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM.
CoRR
Oscar Lima, Marc Vinci, Sunandita Patra, Sebastian Stock, Joachim Hertzberg, Martin Atzmueller, Malik Ghallab, Dana S. Nau, Paolo Traverso
2025 J jnl
DIMA: DIffusing Motion Artifacts for Unsupervised Correction in Brain MRI Images.
IEEE Access
Paolo Angella, Luca Balbi, Fabrizio Ferrando, Paolo Traverso, Rosario Varriale, Vito Paolo Pastore, Matteo Santacesaria
2025 J jnl
DIMA: DIffusing Motion Artifacts for unsupervised correction in brain MRI images.
CoRR
Paolo Angella, Luca Balbi, Fabrizio Ferrando, Paolo Traverso, Rosario Varriale, Vito Paolo Pastore, Matteo Santacesaria
2025 J jnl
Lifted action models learning from partial traces.
Artif. Intell.
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini, Paolo Traverso
2024 J jnl
A novel method to compute the contact surface area between an organ and cancer tissue.
CoRR
Alessandra Bulanti, Alessandro Carfì, Paolo Traverso, Carlo Terrone, Fulvio Mastrogiovanni
2023 A* conf
Learning to Act for Perceiving in Partially Unknown Environments.
IJCAI
Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Saffiotti, Luciano Serafini, Paolo Traverso
2023 A* conf
Planning for Learning Object Properties.
AAAI
Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2023 J jnl
Planning for Learning Object Properties.
CoRR
Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2022 A* conf
Online Grounding of Symbolic Planning Domains in Unknown Environments.
KR
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2022 A* conf
Online Learning of Reusable Abstract Models for Object Goal Navigation.
CVPR
Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
2022 J jnl
Online Learning of Reusable Abstract Models for Object Goal Navigation.
CoRR
Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
2021 Misc conf
Coordination and Control of Hierarchically Organized Interacting Agents.
FLAIRS
Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau
2021 J jnl
Deliberative acting, planning and learning with hierarchical operational models.
Artif. Intell.
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
2021 — ch.
Next Big Challenges in Core AI Technology.
Reflections on Artificial Intelligence for Humanity
Andreas Dengel, Oren Etzioni, Nicole DeCario, Holger H. Hoos, Li Fei-Fei, Junichi Tsujii, Paolo Traverso
2021 J jnl
On some Foundational Aspects of Human-Centered Artificial Intelligence.
CoRR
Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schüller, Paolo Traverso, Javier Vázquez-Salceda
2021 A* conf
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces.
AAAI
Leonardo Lamanna, Alfonso Emilio Gerevini, Alessandro Saetti, Luciano Serafini, Paolo Traverso
2021 J jnl
Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments.
CoRR
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
2021 A* conf
Online Learning of Action Models for PDDL Planning.
IJCAI
Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso
2020 J jnl
Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models.
CoRR
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
2020 J jnl
Integrating Acting, Planning and Learning in Hierarchical Operational Models.
CoRR
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
2020 A* conf
Integrating Acting, Planning, and Learning in Hierarchical Operational Models.
ICAPS
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
2019 A* conf
Acting and Planning Using Operational Models.
AAAI
Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso
2019 J jnl
Incremental Learning of Discrete Planning Domains from Continuous Perceptions.
CoRR
Luciano Serafini, Paolo Traverso
2019 — conf
Learning Abstract Planning Domains and Mappings to Real World Perceptions.
AI*IA
Luciano Serafini, Paolo Traverso
2018 — ed.
AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings
AI*IA
Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso
2018 J jnl
Learning abstract planning domains and mappings to real world perceptions.
CoRR
Luciano Serafini, Paolo Traverso
2018 — ed.
Web Information Systems and Technologies - 13th International Conference, WEBIST 2017, Porto, Portugal, April 25-27, 2017, Revised Selected Papers
WEBIST (Revised Selected Papers)
Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valérie Monfort
2017 C ed.
Proceedings of the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, Porto, Portugal, April 25-27, 2017
WEBIST
Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valérie Monfort
2017 — ed.
Web Information Systems and Technologies - 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
WEBIST (Revised Selected Papers)
Valérie Monfort, Karl-Heinz Krempels, Tim A. Majchrzak, Paolo Traverso
2016 — book
Automated Planning and Acting
Malik Ghallab, Dana S. Nau, Paolo Traverso
2016 A conf
Incremental Composition for Adaptive By-Design Service Based Systems.
ICWS
Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
2016 — ed.
Proceedings of the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, Volume 1, Rome, Italy, April 23-25, 2016
WEBIST (1)
Tim A. Majchrzak, Paolo Traverso, Valérie Monfort, Karl-Heinz Krempels
2016 — ed.
Proceedings of the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, Volume 2, Rome, Italy, April 23-25, 2016
WEBIST (2)
Tim A. Majchrzak, Paolo Traverso, Valérie Monfort, Karl-Heinz Krempels
2015 — conf
An Open Platform for Children's Independent Mobility.
SMARTGREENS/VEHITS (Selected Papers)
Matteo Gerosa, Annapaola Marconi, Marco Pistore, Paolo Traverso
2015 A* conf
Blended Planning and Acting: Preliminary Approach, Research Challenges.
AAAI
Dana S. Nau, Malik Ghallab, Paolo Traverso
2015 C conf
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
CLOSER
Paolo Traverso
2015 — conf
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
SMARTGREENS
Paolo Traverso
2015 C conf
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.
WEBIST
Paolo Traverso
2015 A conf
Design for Adaptation of Distributed Service-Based Systems.
ICSOC
Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
2015 — conf
Keynote abstract: From smart cities to smart communities: The case of children's independent mobility.
SMAP
Paolo Traverso
2014 J jnl
The actor's view of automated planning and acting: A position paper.
Artif. Intell.
Malik Ghallab, Dana S. Nau, Paolo Traverso
2013 A conf
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems.
ICWS
Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin
2010 J jnl
Automated composition of Web services via planning in asynchronous domains.
Artif. Intell.
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
2009 — conf
From Software Services to a Future Internet of Services.
Future Internet Assembly
Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner
2009 — ed.
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers
FIS
John Domingue, Dieter Fensel, Paolo Traverso
2009 J jnl
Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell.
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2009 B ed.
The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings
ESWC
Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl
2008 Misc ed.
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
AIMSA
Danail Dochev, Marco Pistore, Paolo Traverso
2008 J jnl
Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull.
Annapaola Marconi, Marco Pistore, Paolo Traverso
2008 — ch.
Automated Planning.
Handbook of Knowledge Representation
Alessandro Cimatti, Marco Pistore, Paolo Traverso
2008 A* conf
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
AAAI
Dmitry Shaparau, Marco Pistore, Paolo Traverso
2008 — conf
Semantic Annotation for Web Service Processes.
SEBD
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2008 J jnl
Service-Oriented Computing: a Research Roadmap.
Int. J. Cooperative Inf. Syst.
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann
2007 — conf
07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Autonomous and Adaptive Web Services
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007 — conf
Agree or Change! Making Services Evolve.
ICSM
Paolo Traverso, Marco Pistore
2007 — ch.
Assumption-Based Composition and Monitoring of Web Services.
Test and Analysis of Web Services
Marco Pistore, Paolo Traverso
2007 A conf
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.
ICWS
Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso
2007 — ed.
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Autonomous and Adaptive Web Services
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
2007 J jnl
Service-Oriented Computing: State of the Art and Research Challenges.
Computer
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann
2007 — conf
Web Service Discovery at Process-level Based on Semantic Annotation.
SEBD
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2006 B conf
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
ESWC
Marco Pistore, Luca Spalazzi, Paolo Traverso
2006 — conf
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
SEBD
Marco Pistore, Luca Spalazzi, Paolo Traverso
2006 A* conf
Automated Web Service Composition by On-the-Fly Belief Space Search.
ICAPS
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
2006 A* conf
Contingent Planning with Goal Preferences.
AAAI
Dmitry Shaparau, Marco Pistore, Paolo Traverso
2006 A ed.
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings
ECAI
Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso
2006 A conf
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.
ICSOC
Annapaola Marconi, Marco Pistore, Paolo Traverso
2006 — conf
Planning Under Uncertainty and Its Applications.
Reasoning, Action and Interaction in AI Theories and Systems
Paolo Traverso
2006 A conf
Run-Time Monitoring of Instances and Classes of Web Service Compositions.
ICWS
Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
2006 A* conf
Run-Time Monitoring of the Execution of Plans for Web Service Composition.
ICAPS
Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
2006 B conf
Specifying Data-Flow Requirements for the Automated Composition of Web Services.
SEFM
Annapaola Marconi, Marco Pistore, Paolo Traverso
2006 J jnl
Strong planning under partial observability.
Artif. Intell.
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
2005 A conf
05462 Service-Oriented Computing: A Research Roadmap.
Service Oriented Computing
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
2005 A* conf
A Hierarchical Task-Network Planner based on Symbolic Model Checking.
ICAPS
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
2005 A conf
ASTRO: Supporting Composition and Execution of Web Services.
ICSOC
Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
2005 A* conf
Automated Composition of Web Services by Planning at the Knowledge Level.
IJCAI
Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
2005 A* conf
Automated Composition of Web Services by Planning in Asynchronous Domains.
ICAPS
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli
2005 A conf
Automated Synthesis of Composite BPEL4WS Web Services.
ICWS
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
2005 — conf
Automated synthesis of executable web service compositions from BPEL4WS processes.
WWW (Special interest tracks and posters)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
2005 B conf
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.
ESWC
Marco Pistore, Pierluigi Roberti, Paolo Traverso
2005 A ed.
Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings
ICSOC
Boualem Benatallah, Fabio Casati, Paolo Traverso
2004 Misc conf
Automated Composition of Semantic Web Services into Executable Processes.
ISWC
Paolo Traverso, Marco Pistore
2004 — book
Automated planning - theory and practice.
Malik Ghallab, Dana S. Nau, Paolo Traverso
2004 A conf
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
ECAI
Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso
2004 Misc conf
Planning and Monitoring Web Service Composition.
AIMSA
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso
2004 J jnl
Specifying and analyzing early requirements in Tropos.
Requir. Eng.
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
2003 A* conf
A Framework for Planning with Extended Goals under Partial Observability.
ICAPS
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
2003 — ch.
The Problem of Planning with Three Sources of Uncertainty.
Planning Based on Decision Theory
Paolo Traverso
2003 J jnl
Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell.
Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
2002 — conf
A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
TES
Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso
2002 — conf
Planning with a Language for Extended Goals.
AAAI/IAAI
Ugo Dal Lago, Marco Pistore, Paolo Traverso
2002 — ed.
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France
AIPS
Malik Ghallab, Joachim Hertzberg, Paolo Traverso
2001 A conf
Model Checking Early Requirements Specifications in Tropos.
RE
Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso
2001 A* conf
Planning as Model Checking for Extended Goals in Non-deterministic Domains.
IJCAI
Marco Pistore, Paolo Traverso
2001 A* conf
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
IJCAI
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
2000 J jnl
A dynamic logic for acting, sensing, and planning.
J. Log. Comput.
Luca Spalazzi, Paolo Traverso
2000 J jnl
Mechanized result verification: an industrial application.
Int. J. Softw. Tools Technol. Transf.
Paolo Traverso, Piergiorgio Bertoli
2000 J jnl
Theorem proving in technology transfer: the user's point of view.
Int. J. Softw. Tools Technol. Transf.
Fausto Giunchiglia, Paolo Traverso
1999 — ed.
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings
FM-Trends
Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
1999 B conf
Formal Specification and Development of a Safety-Critical Train Management System.
SAFECOMP
Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
1999 — conf
Formal Specification and Validation of a Vital Communication Protocol.
World Congress on Formal Methods
Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
1999 — conf
Planning as Model Checking.
ECP
Fausto Giunchiglia, Paolo Traverso
1999 — conf
Strong Cyclic Planning Revisited.
ECP
Marco Daniele, Paolo Traverso, Moshe Y. Vardi
1998 B conf
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
SAFECOMP
Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
1998 — conf
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
AAAI/IAAI
Alessandro Cimatti, Marco Roveri, Paolo Traverso
1998 J jnl
Formal Verification of a Railway Interlocking System using Model Checking.
Formal Aspects Comput.
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
1998 B conf
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
SAFECOMP
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
1998 — conf
Strong Planning in Non-Deterministic Domains Via Model Checking.
AIPS
Alessandro Cimatti, Marco Roveri, Paolo Traverso
1997 A* conf
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
CAV
Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu
1997 — conf
Planning via Model Checking: A Decision Procedure for
ECP
Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
1996 J jnl
A Metatheory of a Mechanized Object Theory.
Artif. Intell.
Fausto Giunchiglia, Paolo Traverso
1996 J jnl
Computational reflection via mechanized logical deduction.
Int. J. Intell. Syst.
Alessandro Cimatti, Paolo Traverso
1996 J jnl
Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell.
Fausto Giunchiglia, Paolo Traverso
1996 J jnl
Visual representation of natural language scene descriptions.
IEEE Trans. Syst. Man Cybern. Part B
Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti
1995 A* conf
A Logic for Acting, Sensing and Planning.
IJCAI
Paolo Traverso, Luca Spalazzi
1995 J jnl
A multicontext architecture for formalizing complex reasoning.
Int. J. Intell. Syst.
Enrico Giunchiglia, Paolo Traverso
1995 — conf
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
ATAL
Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia
1994 J jnl
MRG: Building planers for real-world complex applications.
Appl. Artif. Intell.
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
1994 — conf
Planning with Failure.
AIPS
Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso
1994 B conf
Program Tactics and Logic Tactics.
LPAR
Fausto Giunchiglia, Paolo Traverso
1992 Misc conf
A Knowledge Based System for Automatic 3D Scene.
AIMSA
Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
1992 A conf
Beyond the Single Planning Paradigm: Introspective Planning.
ECAI
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi
1992 J jnl
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
Int. J. Man Mach. Stud.
Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco
1991 — conf
Automating Meta-Theory Creation and System Extension.
AI*IA
David A. Basin, Fausto Giunchiglia, Paolo Traverso
1991 A* conf
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
IJCAI
Fausto Giunchiglia, Paolo Traverso