Paolo Traverso

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 21

Top Venues

Publications

Alessandra Bulanti, Alessandro Carfì, Paolo Traverso, Carlo Terrone, Fulvio Mastrogiovanni
A novel method to compute the contact surface area between an organ and cancer tissue. CoRR (2024)
Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
Planning for Learning Object Properties. CoRR (2023)
Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
Planning for Learning Object Properties. AAAI (2023)
Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Saffiotti, Luciano Serafini, Paolo Traverso
Learning to Act for Perceiving in Partially Unknown Environments. IJCAI (2023)
Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
Online Learning of Reusable Abstract Models for Object Goal Navigation. CoRR (2022)
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
Online Grounding of Symbolic Planning Domains in Unknown Environments. KR (2022)
Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
Online Learning of Reusable Abstract Models for Object Goal Navigation. CVPR (2022)
Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau
Coordination and Control of Hierarchically Organized Interacting Agents. FLAIRS Conference (2021)
Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso
Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. CoRR (2021)
Leonardo Lamanna, Alfonso Emilio Gerevini, Alessandro Saetti, Luciano Serafini, Paolo Traverso
On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. AAAI (2021)
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
Deliberative acting, planning and learning with hierarchical operational models. Artif. Intell. 299 (2021)
Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso
Online Learning of Action Models for PDDL Planning. IJCAI (2021)
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
On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR (2021)
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
Integrating Acting, Planning and Learning in Hierarchical Operational Models. CoRR (2020)
Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau
Integrating Acting, Planning, and Learning in Hierarchical Operational Models. ICAPS (2020)
Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso
Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models. CoRR (2020)
Luciano Serafini, Paolo Traverso
Incremental Learning of Discrete Planning Domains from Continuous Perceptions. CoRR (2019)
Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso
Acting and Planning Using Operational Models. AAAI (2019)
Luciano Serafini, Paolo Traverso
Learning Abstract Planning Domains and Mappings to Real World Perceptions. AI*IA (2019)
Luciano Serafini, Paolo Traverso
Learning abstract planning domains and mappings to real world perceptions. CoRR (2018)
Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
Incremental Composition for Adaptive By-Design Service Based Systems. ICWS (2016)
Paolo Traverso
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. CLOSER (2015)
Matteo Gerosa, Annapaola Marconi, Marco Pistore, Paolo Traverso
An Open Platform for Children's Independent Mobility. SMARTGREENS/VEHITS (Selected Papers) (2015)
Paolo Traverso
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. SMARTGREENS (2015)
Paolo Traverso
Keynote abstract: From smart cities to smart communities: The case of children's independent mobility. SMAP (2015)
Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso
Design for Adaptation of Distributed Service-Based Systems. ICSOC (2015)
Dana S. Nau, Malik Ghallab, Paolo Traverso
Blended Planning and Acting: Preliminary Approach, Research Challenges. AAAI (2015)
Paolo Traverso
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. WEBIST (2015)
Malik Ghallab, Dana S. Nau, Paolo Traverso
The actor's view of automated planning and acting: A position paper. Artif. Intell. 208 (2014)
Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin
Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. ICWS (2013)
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174 (3-4) (2010)
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173 (5-6) (2009)
Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner
From Software Services to a Future Internet of Services. Future Internet Assembly (2009)
Dmitry Shaparau, Marco Pistore, Paolo Traverso
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI (2008)
Annapaola Marconi, Marco Pistore, Paolo Traverso
Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31 (3) (2008)
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann
Service-Oriented Computing: a Research Roadmap. Int. J. Cooperative Inf. Syst. 17 (2) (2008)
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Semantic Annotation for Web Service Processes. SEBD (2008)
Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD (2007)
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann
Service-Oriented Computing: State of the Art and Research Challenges. Computer 40 (11) (2007)
Paolo Traverso, Marco Pistore
Agree or Change! Making Services Evolve. ICSM (2007)
Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing
07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services (2007)
Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS (2007)
Marco Pistore, Luca Spalazzi, Paolo Traverso
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD (2006)
Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS (2006)
Marco Pistore, Luca Spalazzi, Paolo Traverso
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC (2006)
Annapaola Marconi, Marco Pistore, Paolo Traverso
Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM (2006)
Dmitry Shaparau, Marco Pistore, Paolo Traverso
Contingent Planning with Goal Preferences. AAAI (2006)
Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti
Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS (2006)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Strong planning under partial observability. Artif. Intell. 170 (4-5) (2006)
Annapaola Marconi, Marco Pistore, Paolo Traverso
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC (2006)
Paolo Traverso
Planning Under Uncertainty and Its Applications. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso
Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS (2006)
Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso
Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
Automated Synthesis of Composite BPEL4WS Web Services. ICWS (2005)
Marco Pistore, Pierluigi Roberti, Paolo Traverso
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli
Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS (2005)
Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
ASTRO: Supporting Composition and Execution of Web Services. ICSOC (2005)
Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi
Automated synthesis of executable web service compositions from BPEL4WS processes. WWW (Special interest tracks and posters) (2005)
Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso
A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS (2005)
Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer
05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing (2005)
Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI (2004)
Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso
Specifying and analyzing early requirements in Tropos. Requir. Eng. 9 (2) (2004)
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso
Planning and Monitoring Web Service Composition. AIMSA (2004)
Paolo Traverso, Marco Pistore
Automated Composition of Semantic Web Services into Executable Processes. ISWC (2004)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso
A Framework for Planning with Extended Goals under Partial Observability. ICAPS (2003)
Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147 (1-2) (2003)
Ugo Dal Lago, Marco Pistore, Paolo Traverso
Planning with a Language for Extended Goals. AAAI/IAAI (2002)
Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, Paolo Traverso
A Request Language for Web-Services Based on Planning and Constraint Satisfaction. TES (2002)
Marco Pistore, Paolo Traverso
Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI (2001)
Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso
Model Checking Early Requirements Specifications in Tropos. RE (2001)
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI (2001)
Paolo Traverso, Piergiorgio Bertoli
Mechanized result verification: an industrial application. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Fausto Giunchiglia, Paolo Traverso
Theorem proving in technology transfer: the user's point of view. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Luca Spalazzi, Paolo Traverso
A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10 (6) (2000)
Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
Formal Specification and Validation of a Vital Communication Protocol. World Congress on Formal Methods (1999)
Marco Daniele, Paolo Traverso, Moshe Y. Vardi
Strong Cyclic Planning Revisited. ECP (1999)
Fausto Giunchiglia, Paolo Traverso
Planning as Model Checking. ECP (1999)
Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP (1999)
Alessandro Cimatti, Marco Roveri, Paolo Traverso
Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS (1998)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Formal Verification of a Railway Interlocking System using Model Checking. Formal Aspects Comput. 10 (4) (1998)
Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP (1998)
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP (1998)
Alessandro Cimatti, Marco Roveri, Paolo Traverso
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI (1998)
Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
. ECP (1997)
Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV (1997)
Fausto Giunchiglia, Paolo Traverso
Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17 (3-4) (1996)
Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti
Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B 26 (4) (1996)
Alessandro Cimatti, Paolo Traverso
Computational reflection via mechanized logical deduction. Int. J. Intell. Syst. 11 (5) (1996)
Fausto Giunchiglia, Paolo Traverso
A Metatheory of a Mechanized Object Theory. Artif. Intell. 80 (1-2) (1996)
Paolo Traverso, Luca Spalazzi
A Logic for Acting, Sensing and Planning. IJCAI (1995)
Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL (1995)
Enrico Giunchiglia, Paolo Traverso
A multicontext architecture for formalizing complex reasoning. Int. J. Intell. Syst. 10 (5) (1995)
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
MRG: Building planers for real-world complex applications. Appl. Artif. Intell. 8 (3) (1994)
Fausto Giunchiglia, Paolo Traverso
Program Tactics and Logic Tactics. LPAR (1994)
Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso
Planning with Failure. AIPS (1994)
Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco
Understanding Scene Descriptions by Integrating Different Sources of Knowledge. Int. J. Man Mach. Stud. 37 (1) (1992)
Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
A Knowledge Based System for Automatic 3D Scene. AIMSA (1992)
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi
Beyond the Single Planning Paradigm: Introspective Planning. ECAI (1992)
Fausto Giunchiglia, Paolo Traverso
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI (1991)
David A. Basin, Fausto Giunchiglia, Paolo Traverso
Automating Meta-Theory Creation and System Extension. AI*IA (1991)

Paolo Traverso.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Traverso