default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Traverso
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j22]Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini, Paolo Traverso:
Lifted action models learning from partial traces. Artif. Intell. 339: 104256 (2025)- 2024
- [i11]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 abs/2402.16857 (2024) - 2023
- [c68]Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Planning for Learning Object Properties. AAAI 2023: 12005-12013 - [c67]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: 5485-5493 - [i10]Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini
, Paolo Traverso:
Planning for Learning Object Properties. CoRR abs/2301.06054 (2023) - 2022
- [c66]Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan:
Online Learning of Reusable Abstract Models for Object Goal Navigation. CVPR 2022: 14850-14859 - [c65]Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Online Grounding of Symbolic Planning Domains in Unknown Environments. KR 2022 - [i9]Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan:
Online Learning of Reusable Abstract Models for Object Goal Navigation. CoRR abs/2203.02583 (2022) - 2021
- [j21]Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso:
Deliberative acting, planning and learning with hierarchical operational models. Artif. Intell. 299: 103523 (2021) - [c64]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: 11862-11869 - [c63]Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau:
Coordination and Control of Hierarchically Organized Interacting Agents. FLAIRS 2021 - [c62]Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso:
Online Learning of Action Models for PDDL Planning. IJCAI 2021: 4112-4118 - [p3]Andreas Dengel, Oren Etzioni, Nicole DeCario, Holger H. Hoos, Li Fei-Fei, Junichi Tsujii, Paolo Traverso:
Next Big Challenges in Core AI Technology. Reflections on Artificial Intelligence for Humanity 2021: 90-115 - [i8]Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso:
Online Grounding of PDDL Domains by Acting and Sensing in Unknown Environments. CoRR abs/2112.10007 (2021) - [i7]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 abs/2112.14480 (2021) - 2020
- [c61]Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau:
Integrating Acting, Planning, and Learning in Hierarchical Operational Models. ICAPS 2020: 478-487 - [i6]Sunandita Patra, James Mason, Amit Kumar, Malik Ghallab, Paolo Traverso, Dana S. Nau:
Integrating Acting, Planning and Learning in Hierarchical Operational Models. CoRR abs/2003.03932 (2020) - [i5]Sunandita Patra, James Mason, Malik Ghallab, Dana S. Nau, Paolo Traverso:
Deliberative Acting, Online Planning and Learning with Hierarchical Operational Models. CoRR abs/2010.01909 (2020)
2010 – 2019
- 2019
- [c60]Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso:
Acting and Planning Using Operational Models. AAAI 2019: 7691-7698 - [c59]Luciano Serafini, Paolo Traverso:
Learning Abstract Planning Domains and Mappings to Real World Perceptions. AI*IA 2019: 461-476 - [i4]Luciano Serafini, Paolo Traverso:
Incremental Learning of Discrete Planning Domains from Continuous Perceptions. CoRR abs/1903.05937 (2019) - 2018
- [e14]Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso:
AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings. Lecture Notes in Computer Science 11298, Springer 2018, ISBN 978-3-030-03839-7 [contents] - [e13]Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valérie Monfort:
Web Information Systems and Technologies - 13th International Conference, WEBIST 2017, Porto, Portugal, April 25-27, 2017, Revised Selected Papers. Lecture Notes in Business Information Processing 322, Springer 2018, ISBN 978-3-319-93526-3 [contents] - [i3]Luciano Serafini, Paolo Traverso:
Learning abstract planning domains and mappings to real world perceptions. CoRR abs/1810.07096 (2018) - 2017
- [e12]Valérie Monfort, Karl-Heinz Krempels, Tim A. Majchrzak, Paolo Traverso:
Web Information Systems and Technologies - 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers. Lecture Notes in Business Information Processing 292, Springer 2017, ISBN 978-3-319-66467-5 [contents] - [e11]Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valérie Monfort:
Proceedings of the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, Porto, Portugal, April 25-27, 2017. SciTePress 2017, ISBN 978-989-758-246-2 [contents] - 2016
- [b2]Malik Ghallab, Dana S. Nau, Paolo Traverso:
Automated Planning and Acting. Cambridge University Press 2016, ISBN 978-1-107-03727-4 - [c58]Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso:
Incremental Composition for Adaptive By-Design Service Based Systems. ICWS 2016: 236-243 - [e10]Tim A. Majchrzak, Paolo Traverso, Valérie Monfort, Karl-Heinz Krempels:
Proceedings of the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, Volume 1, Rome, Italy, April 23-25, 2016. SciTePress 2016, ISBN 978-989-758-186-1 [contents] - [e9]Tim A. Majchrzak, Paolo Traverso, Valérie Monfort, Karl-Heinz Krempels:
Proceedings of the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, Volume 2, Rome, Italy, April 23-25, 2016. SciTePress 2016 [contents] - 2015
- [c57]Dana S. Nau, Malik Ghallab, Paolo Traverso:
Blended Planning and Acting: Preliminary Approach, Research Challenges. AAAI 2015: 4047-4051 - [c56]Paolo Traverso:
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. CLOSER 2015: IS-7 - [c55]Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso:
Design for Adaptation of Distributed Service-Based Systems. ICSOC 2015: 383-393 - [c54]Paolo Traverso:
Keynote abstract: From smart cities to smart communities: The case of children's independent mobility. SMAP 2015: xv - [c53]Matteo Gerosa, Annapaola Marconi, Marco Pistore, Paolo Traverso:
An Open Platform for Children's Independent Mobility. SMARTGREENS/VEHITS (Selected Papers) 2015: 50-71 - [c52]Paolo Traverso:
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. SMARTGREENS 2015: IS-7 - [c51]Paolo Traverso:
Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. WEBIST 2015: IS-7 - 2014
- [j20]Malik Ghallab, Dana S. Nau, Paolo Traverso:
The actor's view of automated planning and acting: A position paper. Artif. Intell. 208: 1-17 (2014) - 2013
- [c50]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: 571-578 - 2010
- [j19]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4): 316-361 (2010)
2000 – 2009
- 2009
- [j18]Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso:
Task decomposition on abstract states, for planning under nondeterminism. Artif. Intell. 173(5-6): 669-695 (2009) - [c49]Marco Pistore, Paolo Traverso, Massimo Paolucci, Matthias Wagner:
From Software Services to a Future Internet of Services. Future Internet Assembly 2009: 183-192 - [e8]Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl:
The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings. Lecture Notes in Computer Science 5554, Springer 2009, ISBN 978-3-642-02120-6 [contents] - [e7]John Domingue, Dieter Fensel, Paolo Traverso:
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5468, Springer 2009, ISBN 978-3-642-00984-6 [contents] - 2008
- [j17]Annapaola Marconi, Marco Pistore, Paolo Traverso:
Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. 31(3): 23-26 (2008) - [j16]Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann:
Service-Oriented Computing: a Research Roadmap. Int. J. Cooperative Inf. Syst. 17(2): 223-255 (2008) - [c48]Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. AAAI 2008: 983-990 - [c47]Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Semantic Annotation for Web Service Processes. SEBD 2008: 69-80 - [e6]Danail Dochev, Marco Pistore, Paolo Traverso:
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings. Lecture Notes in Computer Science 5253, Springer 2008, ISBN 978-3-540-85775-4 [contents] - [r1]Alessandro Cimatti, Marco Pistore, Paolo Traverso:
Automated Planning. Handbook of Knowledge Representation 2008: 841-867 - 2007
- [j15]Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann:
Service-Oriented Computing: State of the Art and Research Challenges. Computer 40(11): 38-45 (2007) - [c46]Paolo Traverso, Marco Pistore:
Agree or Change! Making Services Evolve. ICSM 2007: 2-3 - [c45]Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso:
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. ICWS 2007: 767-774 - [c44]Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232 - [p2]Marco Pistore, Paolo Traverso:
Assumption-Based Composition and Monitoring of Web Services. Test and Analysis of Web Services 2007: 307-335 - [e5]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]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 - 2006
- [j14]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong planning under partial observability. Artif. Intell. 170(4-5): 337-384 (2006) - [c43]Dmitry Shaparau, Marco Pistore, Paolo Traverso:
Contingent Planning with Goal Preferences. AAAI 2006: 927-935 - [c42]Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti:
Run-Time Monitoring of the Execution of Plans for Web Service Composition. ICAPS 2006: 346-349 - [c41]Piergiorgio Bertoli, Marco Pistore, Paolo Traverso:
Automated Web Service Composition by On-the-Fly Belief Space Search. ICAPS 2006: 358-361 - [c40]Paolo Traverso:
Planning Under Uncertainty and Its Applications. Reasoning, Action and Interaction in AI Theories and Systems 2006: 213-228 - [c39]Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634 - [c38]Annapaola Marconi, Marco Pistore, Paolo Traverso:
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. ICSOC 2006: 459-464 - [c37]Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti:
Run-Time Monitoring of Instances and Classes of Web Service Compositions. ICWS 2006: 63-71 - [c36]Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216 - [c35]Annapaola Marconi, Marco Pistore, Paolo Traverso:
Specifying Data-Flow Requirements for the Automated Composition of Web Services. SEFM 2006: 147-156 - [e4]Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso:
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. Frontiers in Artificial Intelligence and Applications 141, IOS Press 2006, ISBN 1-58603-642-4 [contents] - 2005
- [c34]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli:
Automated Composition of Web Services by Planning in Asynchronous Domains. ICAPS 2005: 2-11 - [c33]Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso:
A Hierarchical Task-Network Planner based on Symbolic Model Checking. ICAPS 2005: 300-309 - [c32]Marco Pistore, Pierluigi Roberti, Paolo Traverso:
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. ESWC 2005: 62-77 - [c31]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: 495-501 - [c30]Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi:
Automated Synthesis of Composite BPEL4WS Web Services. ICWS 2005: 293-301 - [c29]Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level. IJCAI 2005: 1252-1259 - [c28]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: 1186-1187 - [e3]Boualem Benatallah, Fabio Casati, Paolo Traverso:
Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings. Lecture Notes in Computer Science 3826, Springer 2005, ISBN 3-540-30817-2 [contents] - [i1]Mike P. Papazoglou, Paolo Traverso, Schahram Dustdar, Frank Leymann, Bernd J. Krämer:
05462 Service-Oriented Computing: A Research Roadmap. Service Oriented Computing 2005 - 2004
- [b1]Malik Ghallab, Dana S. Nau, Paolo Traverso:
Automated planning - theory and practice. Elsevier 2004, ISBN 978-1-55860-856-6, pp. I-XXVIII, 1-635 - [j13]Ariel Fuxman, Lin Liu, John Mylopoulos, Marco Roveri, Paolo Traverso:
Specifying and analyzing early requirements in Tropos. Requir. Eng. 9(2): 132-150 (2004) - [c27]Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso:
Planning and Monitoring Web Service Composition. AIMSA 2004: 106-115 - [c26]Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso:
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. ECAI 2004: 657-661 - [c25]Paolo Traverso, Marco Pistore:
Automated Composition of Semantic Web Services into Executable Processes. ISWC 2004: 380-394 - 2003
- [j12]Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso:
Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1-2): 35-84 (2003) - [c24]Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso:
A Framework for Planning with Extended Goals under Partial Observability. ICAPS 2003: 215-225 - [p1]Paolo Traverso:
The Problem of Planning with Three Sources of Uncertainty. Planning Based on Decision Theory 2003: 73-84 - 2002
- [c23]Ugo Dal Lago, Marco Pistore, Paolo Traverso:
Planning with a Language for Extended Goals. AAAI/IAAI 2002: 447-454 - [c22]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: 76-85 - [e2]Malik Ghallab, Joachim Hertzberg, Paolo Traverso:
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France. AAAI 2002, ISBN 1-57735-142-8 [contents] - 2001
- [c21]Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. IJCAI 2001: 473-478 - [c20]Marco Pistore, Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains. IJCAI 2001: 479-486 - [c19]Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos. RE 2001: 174-181 - 2000
- [j11]Luca Spalazzi, Paolo Traverso:
A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000) - [j10]Fausto Giunchiglia, Paolo Traverso:
Theorem proving in technology transfer: the user's point of view. Int. J. Softw. Tools Technol. Transf. 3(1): 1-12 (2000) - [j9]Paolo Traverso, Piergiorgio Bertoli:
Mechanized result verification: an industrial application. Int. J. Softw. Tools Technol. Transf. 3(1): 78-92 (2000)
1990 – 1999
- 1999
- [c18]Fausto Giunchiglia, Paolo Traverso:
Planning as Model Checking. ECP 1999: 1-20 - [c17]Marco Daniele, Paolo Traverso, Moshe Y. Vardi:
Strong Cyclic Planning Revisited. ECP 1999: 35-48 - [c16]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: 1584-1604 - [c15]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: 410-419 - [e1]Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Lecture Notes in Computer Science 1641, Springer 1999, ISBN 3-540-66462-9 [contents] - 1998
- [j8]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): 361-380 (1998) - [c14]Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. AAAI/IAAI 1998: 875-881 - [c13]Alessandro Cimatti, Marco Roveri, Paolo Traverso:
Strong Planning in Non-Deterministic Domains Via Model Checking. AIPS 1998: 36-43 - [c12]Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso:
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230 - [c11]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: 284-295 - 1997
- [c10]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: 202-213 - [c9]Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142 - 1996
- [j7]Fausto Giunchiglia, Paolo Traverso:
A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996) - [j6]Fausto Giunchiglia, Paolo Traverso:
Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996) - [j5]Alessandro Cimatti, Paolo Traverso:
Computational reflection via mechanized logical deduction. Int. J. Intell. Syst. 11(5): 279-293 (1996) - [j4]Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti:
Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B 26(4): 575-589 (1996) - 1995
- [j3]Enrico Giunchiglia, Paolo Traverso:
A multicontext architecture for formalizing complex reasoning. Int. J. Intell. Syst. 10(5): 501-539 (1995) - [c8]Paolo Traverso, Luca Spalazzi, Fausto Giunchiglia:
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995: 65-78 - [c7]Paolo Traverso, Luca Spalazzi:
A Logic for Acting, Sensing and Planning. IJCAI 1995: 1941-1949 - 1994
- [j2]Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia:
MRG: Building planers for real-world complex applications. Appl. Artif. Intell. 8(3): 333-357 (1994) - [c6]Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso:
Planning with Failure. AIPS 1994: 74-79 - [c5]Fausto Giunchiglia, Paolo Traverso:
Program Tactics and Logic Tactics. LPAR 1994: 16-30 - 1992
- [j1]Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco:
Understanding Scene Descriptions by Integrating Different Sources of Knowledge. Int. J. Man Mach. Stud. 37(1): 47-81 (1992) - [c4]Paolo Traverso, Alessandro Armando, Enrico Giunchiglia:
A Knowledge Based System for Automatic 3D Scene. AIMSA 1992: 255-264 - [c3]Paolo Traverso, Alessandro Cimatti, Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647 - 1991
- [c2]David A. Basin, Fausto Giunchiglia, Paolo Traverso:
Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57 - [c1]Fausto Giunchiglia, Paolo Traverso:
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 23:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
