Automating Meta-Theory Creation and System Extension. - David A. Basin; Fausto Giunchiglia; Paolo Traverso (AI*IA, 1991)

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. - Fausto Giunchiglia; Paolo Traverso (IJCAI, 1991)

A Knowledge Based System for Automatic 3D Scene. - Paolo Traverso; Alessandro Armando; Enrico Giunchiglia (AIMSA, 1992)

Beyond the Single Planning Paradigm: Introspective Planning. - Paolo Traverso; Alessandro Cimatti; Luca Spalazzi (ECAI, 1992)

Understanding Scene Descriptions by Integrating Different Sources of Knowledge. - Fausto Giunchiglia; Carlo Ferrari; Paolo Traverso; Emanuele Trucco (Int. J. Man Mach. Stud., 1992)

Planning with Failure. - Fausto Giunchiglia; Luca Spalazzi; Paolo Traverso (AIPS, 1994)

MRG: Building planers for real-world complex applications. - Paolo Traverso; Alessandro Cimatti; Luca Spalazzi; Alessandro Armando; Enrico Giunchiglia (Appl. Artif. Intell., 1994)

Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. - Paolo Traverso; Luca Spalazzi; Fausto Giunchiglia (ATAL, 1995)

A Logic for Acting, Sensing and Planning. - Paolo Traverso; Luca Spalazzi (IJCAI, 1995)

A multicontext architecture for formalizing complex reasoning. - Enrico Giunchiglia; Paolo Traverso (Int. J. Intell. Syst., 1995)

A Metatheory of a Mechanized Object Theory. - Fausto Giunchiglia; Paolo Traverso (Artif. Intell., 1996)

Program Tactics and Logic Tactics. - Fausto Giunchiglia; Paolo Traverso (Ann. Math. Artif. Intell., 1996)

Computational reflection via mechanized logical deduction. - Alessandro Cimatti; Paolo Traverso (Int. J. Intell. Syst., 1996)

Visual representation of natural language scene descriptions. - Enrico Giunchiglia; Alessandro Armando; Paolo Traverso; Alessandro Cimatti (IEEE Trans. Syst. Man Cybern. Part B, 1996)

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. - Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu (CAV, 1997)

Planning via Model Checking: A Decision Procedure for AR. - Alessandro Cimatti; Fausto Giunchiglia; Enrico Giunchiglia; Paolo Traverso (ECP, 1997)

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. - Alessandro Cimatti; Marco Roveri; Paolo Traverso (AAAI/IAAI, 1998)

Strong Planning in Non-Deterministic Domains Via Model Checking. - Alessandro Cimatti; Marco Roveri; Paolo Traverso (AIPS, 1998)

A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. - Piergiorgio Bertoli; Alessandro Cimatti; Fausto Giunchiglia; Paolo Traverso (SAFECOMP, 1998)

Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (SAFECOMP, 1998)

Formal Verification of a Railway Interlocking System using Model Checking. - Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano; Fernando Torielli; Paolo Traverso (Formal Aspects Comput., 1998)

Strong Cyclic Planning Revisited. - Marco Daniele; Paolo Traverso; Moshe Y. Vardi (ECP, 1999)

Planning as Model Checking. - Fausto Giunchiglia; Paolo Traverso (ECP, 1999)

Formal Specification and Validation of a Vital Communication Protocol. - Alessandro Cimatti; P. L. Pieraccini; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita (World Congress on Formal Methods, 1999)

Formal Specification and Development of a Safety-Critical Train Management System. - Angelo Chiappini; Alessandro Cimatti; Carmen Porzia; G. Rotondo; Roberto Sebastiani; Paolo Traverso; Adolfo Villafiorita (SAFECOMP, 1999)

A dynamic logic for acting, sensing, and planning. - Luca Spalazzi; Paolo Traverso (J. Log. Comput., 2000)

Theorem proving in technology transfer: the user's point of view. - Fausto Giunchiglia; Paolo Traverso (Int. J. Softw. Tools Technol. Transf., 2000)

Mechanized result verification: an industrial application. - Paolo Traverso; Piergiorgio Bertoli (Int. J. Softw. Tools Technol. Transf., 2000)

Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (IJCAI, 2001)

Planning as Model Checking for Extended Goals in Non-deterministic Domains. - Marco Pistore; Paolo Traverso (IJCAI, 2001)

Model Checking Early Requirements Specifications in Tropos. - Ariel Fuxman; John Mylopoulos; Marco Pistore; Paolo Traverso (RE, 2001)

Planning with a Language for Extended Goals. - Ugo Dal Lago; Marco Pistore; Paolo Traverso (AAAI/IAAI, 2002)

A Request Language for Web-Services Based on Planning and Constraint Satisfaction. - Marco Aiello 001; Mike P. Papazoglou; Jian Yang 001; Mark James Carman; Marco Pistore; Luciano Serafini; Paolo Traverso (TES, 2002)

The Problem of Planning with Three Sources of Uncertainty. - Paolo Traverso (Planning Based on Decision Theory, 2003)

A Framework for Planning with Extended Goals under Partial Observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Pistore; Paolo Traverso (ICAPS, 2003)

Weak, strong, and strong cyclic planning via symbolic model checking. - Alessandro Cimatti; Marco Pistore; Marco Roveri; Paolo Traverso (Artif. Intell., 2003)

Automated planning - theory and practice. - Malik Ghallab; Dana S. Nau; Paolo Traverso (Elsevier, 2004)

Planning and Monitoring Web Service Composition. - Marco Pistore; Fabio Barbon; Piergiorgio Bertoli; Dmitry Shaparau; Paolo Traverso (AIMSA, 2004)

Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. - Piergiorgio Bertoli; Alessandro Cimatti; Paolo Traverso (ECAI, 2004)

Automated Composition of Semantic Web Services into Executable Processes. - Paolo Traverso; Marco Pistore (ISWC, 2004)

Specifying and analyzing early requirements in Tropos. - Ariel Fuxman; Lin Liu 001; John Mylopoulos; Marco Roveri; Paolo Traverso (Requir. Eng., 2004)

A Hierarchical Task-Network Planner based on Symbolic Model Checking. - Ugur Kuter; Dana S. Nau; Marco Pistore; Paolo Traverso (ICAPS, 2005)

Automated Composition of Web Services by Planning in Asynchronous Domains. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli (ICAPS, 2005)

05462 Service-Oriented Computing: A Research Roadmap. - Mike P. Papazoglou; Paolo Traverso; Schahram Dustdar; Frank Leymann; Bernd J. Krämer (Service Oriented Computing, 2005)

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. - Marco Pistore; Pierluigi Roberti; Paolo Traverso (ESWC, 2005)

ASTRO: Supporting Composition and Execution of Web Services. - Michele Trainotti; Marco Pistore; Gaetano Calabrese; Gabriele Zacco; Gigi Lucchese; Fabio Barbon; Piergiorgio Bertoli; Paolo Traverso (ICSOC, 2005)

Automated Synthesis of Composite BPEL4WS Web Services. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (ICWS, 2005)

Automated Composition of Web Services by Planning at the Knowledge Level. - Marco Pistore; Annapaola Marconi; Piergiorgio Bertoli; Paolo Traverso (IJCAI, 2005)

Automated synthesis of executable web service compositions from BPEL4WS processes. - Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Annapaola Marconi (WWW (Special interest tracks and posters), 2005)

Contingent Planning with Goal Preferences. - Dmitry Shaparau; Marco Pistore; Paolo Traverso (AAAI, 2006)

Run-Time Monitoring of the Execution of Plans for Web Service Composition. - Fabio Barbon; Paolo Traverso; Marco Pistore; Michele Trainotti (ICAPS, 2006)

Automated Web Service Composition by On-the-Fly Belief Space Search. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (ICAPS, 2006)

Planning Under Uncertainty and Its Applications. - Paolo Traverso (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. - Annapaola Marconi; Marco Pistore; Paolo Traverso (ICSOC, 2006)

Run-Time Monitoring of Instances and Classes of Web Service Compositions. - Fabio Barbon; Paolo Traverso; Marco Pistore; Michele Trainotti (ICWS, 2006)

A Minimalist Approach to Semantic Annotations for Web Processes Compositions. - Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2006)

Specifying Data-Flow Requirements for the Automated Composition of Web Services. - Annapaola Marconi; Marco Pistore; Paolo Traverso (SEFM, 2006)

Strong planning under partial observability. - Piergiorgio Bertoli; Alessandro Cimatti; Marco Roveri; Paolo Traverso (Artif. Intell., 2006)

07061 Abstracts Collection – Autonomous and Adaptive Web Services. - Jana Koehler; Marco Pistore; Amit P. Sheth; Paolo Traverso; Martin Wirsing (Autonomous and Adaptive Web Services, 2007)

Agree or Change! Making Services Evolve. - Paolo Traverso; Marco Pistore (ICSM, 2007)

AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. - Annapaola Marconi; Marco Pistore; Piero Poccianti; Paolo Traverso (ICWS, 2007)

Web Service Discovery at Process-level Based on Semantic Annotation. - Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2007)

Assumption-Based Composition and Monitoring of Web Services. - Marco Pistore; Paolo Traverso (Test and Analysis of Web Services, 2007)

Service-Oriented Computing: State of the Art and Research Challenges. - Mike P. Papazoglou; Paolo Traverso; Schahram Dustdar; Frank Leymann (Computer, 2007)

Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. - Dmitry Shaparau; Marco Pistore; Paolo Traverso (AAAI, 2008)

Semantic Annotation for Web Service Processes. - Ivan Di Pietro; Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2008)

Automated Composition of Web Services: the ASTRO Approach. - Annapaola Marconi; Marco Pistore; Paolo Traverso (IEEE Data Eng. Bull., 2008)

Service-Oriented Computing: a Research Roadmap. - Mike P. Papazoglou; Paolo Traverso; Schahram Dustdar; Frank Leymann (Int. J. Cooperative Inf. Syst., 2008)

Automated Planning. - Alessandro Cimatti; Marco Pistore; Paolo Traverso (Handbook of Knowledge Representation, 2008)

From Software Services to a Future Internet of Services. - Marco Pistore; Paolo Traverso; Massimo Paolucci 001; Matthias Wagner 001 (Future Internet Assembly, 2009)

Task decomposition on abstract states, for planning under nondeterminism. - Ugur Kuter; Dana S. Nau; Marco Pistore; Paolo Traverso (Artif. Intell., 2009)

Automated composition of Web services via planning in asynchronous domains. - Piergiorgio Bertoli; Marco Pistore; Paolo Traverso (Artif. Intell., 2010)

Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. - Antonio Bucchiarone; Annapaola Marconi; Marco Pistore; Paolo Traverso; Piergiorgio Bertoli; Raman Kazhamiakin (ICWS, 2013)

The actor's view of automated planning and acting: A position paper. - Malik Ghallab; Dana S. Nau; Paolo Traverso (Artif. Intell., 2014)

Blended Planning and Acting: Preliminary Approach, Research Challenges. - Dana S. Nau; Malik Ghallab; Paolo Traverso (AAAI, 2015)

Design for Adaptation of Distributed Service-Based Systems. - Antonio Bucchiarone; Martina De Sanctis; Annapaola Marconi; Marco Pistore; Paolo Traverso (ICSOC, 2015)

Keynote abstract: From smart cities to smart communities: The case of children's independent mobility. - Paolo Traverso (SMAP, 2015)

An Open Platform for Children's Independent Mobility. - Matteo Gerosa; Annapaola Marconi; Marco Pistore; Paolo Traverso (SMARTGREENS/VEHITS (Selected Papers), 2015)

Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. - Paolo Traverso (SMARTGREENS, 2015)

Automated Planning and Acting - Malik Ghallab; Dana S. Nau; Paolo Traverso (Cambridge University Press, 2016)

Incremental Composition for Adaptive By-Design Service Based Systems. - Antonio Bucchiarone; Martina De Sanctis; Annapaola Marconi; Marco Pistore; Paolo Traverso (ICWS, 2016)

Acting and Planning Using Operational Models. - Sunandita Patra; Malik Ghallab; Dana S. Nau; Paolo Traverso (AAAI, 2019)

Learning Abstract Planning Domains and Mappings to Real World Perceptions. - Luciano Serafini; Paolo Traverso (AI*IA, 2019)

Incremental Learning of Discrete Planning Domains from Continuous Perceptions. - Luciano Serafini; Paolo Traverso (CoRR, 2019)

Integrating Acting, Planning, and Learning in Hierarchical Operational Models. - Sunandita Patra; James Mason; Amit Kumar 013; Malik Ghallab; Paolo Traverso; Dana S. Nau (ICAPS, 2020)

Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models. - Sunandita Patra; James Mason; Malik Ghallab; Dana S. Nau; Paolo Traverso (CoRR, 2020)

On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. - Leonardo Lamanna 001; Alfonso Emilio Gerevini; Alessandro Saetti; Luciano Serafini; Paolo Traverso (AAAI, 2021)

Coordination and Control of Hierarchically Organized Interacting Agents. - Sunandita Patra; Paolo Traverso; Malik Ghallab; Dana S. Nau (FLAIRS, 2021)

Online Learning of Action Models for PDDL Planning. - Leonardo Lamanna 001; Alessandro Saetti; Luciano Serafini; Alfonso Gerevini; Paolo Traverso (IJCAI, 2021)

Deliberative acting, planning and learning with hierarchical operational models. - Sunandita Patra; James Mason; Malik Ghallab; Dana S. Nau; Paolo Traverso (Artif. Intell., 2021)

Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (CoRR, 2021)

On some Foundational Aspects of Human-Centered Artificial Intelligence. - Luciano Serafini; Raul Barbosa; Jasmin Grosinger 001; Luca Iocchi; Christian Napoli 001; Salvatore Rinzivillo; Jacques Robin; Alessandro Saffiotti; Teresa Scantamburlo; Peter Schüller; Paolo Traverso; Javier Vázquez-Salceda (CoRR, 2021)

Next Big Challenges in Core AI Technology. - Andreas Dengel 001; Oren Etzioni; Nicole DeCario; Holger H. Hoos; Li Fei-Fei 001; Junichi Tsujii; Paolo Traverso (Reflections on Artificial Intelligence for Humanity, 2021)

Online Learning of Reusable Abstract Models for Object Goal Navigation. - Tommaso Campari; Leonardo Lamanna 001; Paolo Traverso; Luciano Serafini; Lamberto Ballan (CVPR, 2022)

Online Grounding of Symbolic Planning Domains in Unknown Environments. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (KR, 2022)

Planning for Learning Object Properties. - Leonardo Lamanna 001; Luciano Serafini; Mohamadreza Faridghasemnia; Alessandro Saffiotti; Alessandro Saetti; Alfonso Gerevini; Paolo Traverso (AAAI, 2023)

Learning to Act for Perceiving in Partially Unknown Environments. - Leonardo Lamanna 001; Mohamadreza Faridghasemnia; Alfonso Gerevini; Alessandro Saetti; Alessandro Saffiotti; Luciano Serafini; Paolo Traverso (IJCAI, 2023)

A novel method to compute the contact surface area between an organ and cancer tissue. - Alessandra Bulanti; Alessandro Carfì; Paolo Traverso; Carlo Terrone; Fulvio Mastrogiovanni (CoRR, 2024)

Lifted action models learning from partial traces. - Leonardo Lamanna 001; Luciano Serafini; Alessandro Saetti; Alfonso Emilio Gerevini; Paolo Traverso (Artif. Intell., 2025)

DIMA: DIffusing Motion Artifacts for unsupervised correction in brain MRI images. - Paolo Angella; Luca Balbi; Fabrizio Ferrando; Paolo Traverso; Rosario Varriale; Vito Paolo Pastore; Matteo Santacesaria (CoRR, 2025)

Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM. - Oscar Lima; Marc Vinci; Sunandita Patra; Sebastian Stock 001; Joachim Hertzberg; Martin Atzmueller; Malik Ghallab; Dana S. Nau; Paolo Traverso (CoRR, 2025)