default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuca Spalazzi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j34]Lucia Pepa
, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci:
Supervised learning for automatic emotion recognition in Parkinson's disease through smartwatch signals. Expert Syst. Appl. 249: 123474 (2024)- [j33]Aleksandr Raikov, Alberto Giretti, Massimiliano Pirani, Luca Spalazzi, Meng Guo:
Accelerating human-computer interaction through convergent conditions for LLM explanation. Frontiers Artif. Intell. 7 (2024) - [c77]Francesco Di Gennaro, Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi:
Feature selection in ML-based SDN intrusion detection system. FiCloud 2024: 152-159 - 2023
- [j32]Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia:
Blockchain based choreographies: The construction industry case study. Concurr. Comput. Pract. Exp. 35(16) (2023) - [j31]Lucia Pepa, Luca Spalazzi, Marianna Capecci, Maria Gabriella Ceravolo:
Automatic Emotion Recognition in Clinical Scenario: A Systematic Review of Methods. IEEE Trans. Affect. Comput. 14(2): 1675-1695 (2023) - [c76]Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Silvia Vada, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo, Nicolò Baldini:
Acceptability and clinical usefulness of a telemonitoring and telerehabilitation system in people with Parkinson's Disease in different disease stages: preliminary findings from the RAPIDO study. AIxAS@AI*IA 2023: 5-17 - [c75]Lorenzo Principi, Marco Baldi, Alessandro Cucchiarelli, Luca Spalazzi:
Efficiency of Malware Detection Based on DNS Packet Analysis Over Real Network Traffic. CSR 2023: 42-47 - [c74]Massimiliano Pirani, Alessio Cacopardo, Alessandro Cucchiarelli, Luca Spalazzi:
A Soulbound Token-based Reputation System in Sustainable Supply Chains. EWSN 2023: 363-368 - [c73]Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Caterina Belbusti, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Michele Tinazzi, Gianmatteo Farabolini, Marialuisa Gandolfi, Giulia Bonardi, Maria Gabriella Ceravolo:
Consumer Devices for Health Parameter Collection and Analysis in Parkinson's Disease Telerehabilitation. ICCE-Berlin 2023: 204-209 - [c72]Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi:
Paradigms for database-centric application interfaces. ISM 2023: 835-845 - [c71]Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi:
ChoEn: A Smart Contract Based Choreography Enforcer. PerCom Workshops 2023: 86-91 - 2022
- [j30]Luca Spalazzi, Marina Paolanti, Emanuele Frontoni:
An offline parallel architecture for forensic multimedia classification. Multim. Tools Appl. 81(16): 22715-22730 (2022) - [c70]Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame:
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 409-426 - [c69]Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo:
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture. ICCE-Berlin 2022: 1-2 - [c68]Antonio Sabatelli, Simone Valenti, Antonia Antoniello, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo:
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study. ICCE-Berlin 2022: 1-6 - [c67]Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli:
Leveraging n-gram neural embeddings to improve deep learning DGA detection. SAC 2022: 995-1004 - 2021
- [j29]Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi, Marco Baldi:
Algorithmically generated malicious domain names detection based on n-grams features. Expert Syst. Appl. 170: 114551 (2021) - [j28]Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi:
Automatic Repair of Timestamp Comparisons. IEEE Trans. Software Eng. 47(11): 2369-2381 (2021) - 2020
- [j27]Lucia Pepa, Marianna Capecci, Elisa Andrenelli, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo:
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease. Expert Syst. Appl. 147: 113197 (2020) - [j26]Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin:
Verifying temporal specifications of Java programs. Softw. Qual. J. 28(2): 695-744 (2020) - [j25]Luca Spalazzi, Francesco Spegni:
Parameterized model checking of networks of timed automata with Boolean guards. Theor. Comput. Sci. 813: 248-269 (2020) - [c66]Lucia Pepa, Martina Pigliapoco, Paola Bisoglio, Alice Lambertucci, Michela Coccia, Lauredana Ercolani, Michela Aringolo, Margherita Hibel, Anna Gastaldi, Elisa Andrenelli, Rossella Cima, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci:
Therapeutic Exercise Protocols for People Recovering After Covid-19: A Tele-Health Approach. ForItAAL 2020: 355-362 - [c65]Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi:
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials. DLT@ITASEC 2020 - [e1]Michele Loreti, Luca Spalazzi:
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020. CEUR Workshop Proceedings 2597, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j24]Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa, Daniele Proietti Pagnotta, Luca Spalazzi, Federica Verdini:
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons. J. Ambient Intell. Humaniz. Comput. 10(1): 1-12 (2019) - [c64]Luca Spalazzi, Francesco Spegni:
High-Performance Computing for Formal Security Assessment. HPCS 2019: 923-930 - [c63]Luca Spalazzi, Francesco Spegni:
Verification-as-a-Service for Parameter Assessment. HPCS 2019: 1043-1044 - [i3]Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi:
Security analysis of a blockchain-based protocol for the certification of academic credentials. CoRR abs/1910.04622 (2019) - 2018
- [j23]Sébastien Limet, Alessio Merlo, Luca Spalazzi:
HPC & Co strike back: Where are distributed paradigms heading toward? Concurr. Comput. Pract. Exp. 30(9) (2018) - [c62]Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Daniele Proietti Pagnotta, Luca Romeo, Luca Spalazzi, A. De Cesare:
Complex activity recognition system based on cascade classifiers and wearable device data. ICCE 2018: 1-2 - [c61]Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger:
Modeling time in Java programs for automatic error detection. FormaliSE@ICSE 2018: 50-59 - [c60]Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger:
Towards Model Checking Security of Real Time Java Software. HPCS 2018: 642-649 - 2017
- [c59]Lucia Pepa, Marianna Capecci, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo:
A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone. ICCE-Berlin 2017: 130-131 - [c58]Luca Spalazzi, Francesco Spegni:
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks. ICTCS/CILC 2017: 174-185 - [c57]Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach. ISCC 2017: 1021-1028 - [c56]Marco Baldi, Franco Chiaraluce, Emanuele Frontoni, Giuseppe Gottardi, Daniele Sciarroni, Luca Spalazzi:
Certificate Validation Through Public Ledgers and Blockchains. ITASEC 2017: 156-165 - [c55]Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST 2017: 123-139 - [c54]Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi:
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI 2017: 347-366 - 2016
- [c53]Lucia Pepa, Giacomo Marangoni, Matteo Di Nicola, Lucio Ciabattoni, Federica Verdini, Luca Spalazzi, Sauro Longhi:
Real time step length estimation on smartphone. ICCE 2016: 315-316 - [c52]Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms. HPCS 2016: 476-483 - [i2]Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni:
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version). CoRR abs/1605.05930 (2016) - 2015
- [j22]Sébastien Limet, Waleed W. Smari, Luca Spalazzi:
High-performance computing: to boldly go where no human has gone before. Concurr. Comput. Pract. Exp. 27(13): 3145-3165 (2015) - [j21]Giuliano Manno, Waleed W. Smari, Luca Spalazzi, Gilberto Taccari:
A semantic-based federated cloud system for emergency response. Concurr. Comput. Pract. Exp. 27(13): 3316-3344 (2015) - [j20]Luca Spalazzi, Luca Viganò:
Special issue on security and high performance computing systems. J. Comput. Secur. 23(5): 539-540 (2015) - [c51]Lucia Pepa, Federica Verdini, Luca Spalazzi:
Experimental evaluation of a smartphone based Step Length estimation. EMBC 2015: 7647-7650 - [c50]Lucia Pepa, Marianna Capecci, Federica Verdini, M. Gabriella Ceravolo, Luca Spalazzi:
An architecture to manage motor disorders in Parkinson's disease. WF-IoT 2015: 615-620 - 2014
- [c49]Luca Spalazzi, Gilberto Taccari, Andrea Bernardini:
An Internet of Things ontology for earthquake emergency evaluation and response. CTS 2014: 528-534 - [c48]Gilberto Taccari, Luca Spalazzi:
A federated cloud of things for emergency management. CTS 2014: 647-651 - [c47]Gilberto Taccari, Gabriele Bernardini, Luca Spalazzi, Marco D'Orazio, Waleed W. Smari:
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things. IoT360 (2) 2014: 318-327 - [c46]Lucia Pepa, Marco Rossini, Luca Spalazzi, Federica Verdini:
Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients. mBiDA 2014: 313-323 - [c45]Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking of Timed Systems with Conjunctive Guards. VSTTE 2014: 235-251 - [i1]Luca Spalazzi, Francesco Spegni:
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version). CoRR abs/1407.7305 (2014) - 2013
- [j19]Patrizia Ghislandi, Maria Grazia Ierardi, Tommaso Leo, Luca Spalazzi:
Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning. J. Educ. Technol. Soc. 16(1): 1-3 (2013) - [j18]Flavio Manganello, Carla Falsetti, Luca Spalazzi, Tommaso Leo:
PKS: An Ontology-based Learning Construct for Lifelong Learners. J. Educ. Technol. Soc. 16(1): 104-117 (2013) - [j17]Waleed W. Smari, Luca Spalazzi, Yacine Zemali:
Recent developments in high performance computing and security: An editorial. Future Gener. Comput. Syst. 29(3): 782-787 (2013) - [j16]Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni:
Model checking grid security. Future Gener. Comput. Syst. 29(3): 811-827 (2013) - [c44]Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. Description Logics 2013: 885-897 - 2012
- [j15]Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi:
Model Checking Semantically Annotated Services. IEEE Trans. Software Eng. 38(3): 592-608 (2012) - [c43]Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni:
A modular environment for software development and re-engineering. TOPI@ICSE 2012: 90-91 - [c42]Giuliano Manno, Waleed W. Smari, Luca Spalazzi:
FCFA: A semantic-based federated cloud framework architecture. HPCS 2012: 42-52 - [c41]Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari:
Application of SWSAL in Semantic Annotation of RESTful Web Services. INVIT 2012: 11-18 - 2011
- [c40]Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi:
From Service Identification to Service Selection: An Interleaved Perspective. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 223-240 - [c39]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Business process design framework for B2B collaboration. CTS 2011: 633-635 - [c38]Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi:
From Service Identification to Service Selection: an Interleaved Perspective. SEBD 2011: 421-428 - 2010
- [c37]Salvatore Campana, Luca Spalazzi, Francesco Spegni:
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. CTS 2010: 113-122 - [c36]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Semantic model checking security requirements for web services. HPCS 2010: 283-290 - [c35]Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi:
Semantic Model Checking Security Requirements for Web Services (Extended Abstract). SEBD 2010: 190-197 - [p1]Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi:
Semantic Annotation for Web Service Processes in Pervasive Computing. Pervasive Computing, Innovations in Intelligent Multimedia and Applications 2010: 289-311
2000 – 2009
- 2009
- [j14]Luca Spalazzi, Ratan Guha:
Editorial. J. Comput. 4(5): 355-356 (2009) - [j13]Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi:
An IPS for Web Applications. J. Comput. 4(5): 387-394 (2009) - [c34]Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli:
JEAP - JAVA environment for Agent platform. IADIS AC (1) 2009: 149-156 - [c33]Andrea Rossetti, Luca Spalazzi:
Performance indicator in collaborative systems for business process management. IADIS AC (2) 2009: 212-216 - [c32]C. Cioffi, Francesco Pagliarecci, Luca Spalazzi:
An anomaly-based system for parental control. HPCS 2009: 193-199 - [c31]Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi:
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. SEBD 2009: 177-184 - 2008
- [c30]Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134 - [c29]Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Semantic Annotation for Web Service Processes. SEBD 2008: 69-80 - [c28]Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore:
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study. Web Intelligence 2008: 605-611 - [c27]Salvatore Campana, Luca Spalazzi, Francesco Spegni:
XAL: A Web Oriented Programming Language Based on Timed-Automata. Web Intelligence 2008: 862-868 - 2007
- [j12]Loris Penserini, Manuel Kolp, Luca Spalazzi:
Social-oriented engineering of intelligent software. Web Intell. Agent Syst. 5(1): 69-87 (2007) - [c26]Francesco Pagliarecci, Loris Penserini, Luca Spalazzi:
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. OTM Workshops (1) 2007: 105-114 - [c25]Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation. SEBD 2007: 220-232 - 2006
- [c24]Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci:
IRSS: Incident Response Support System. CTS 2006: 81-88 - [c23]Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi:
Formal Definition of an Agent-Object Programming Language. CTS 2006: 298-305 - [c22]Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. ESWC 2006: 620-634 - [c21]Marco Pistore, Luca Spalazzi, Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions. SEBD 2006: 208-216 - 2005
- [j11]Luca Spalazzi:
Book Reviews. Minds Mach. 15(3-4): 453-458 (2005) - [c20]Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci:
Model checking the security of multi-protocol systems. CTS 2005: 92-99 - [c19]Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi:
An agent-based supply-chain management. CTS 2005: 181-186 - [c18]Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi:
An Agent-Based Supply-Chain Management. SEBD 2005: 117-124 - 2004
- [c17]Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti:
Socially-Based Design Meets Agent Capabilities. IAT 2004: 72-78 - [c16]Loris Penserini, Luca Spalazzi, Maurizio Panti:
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management. ICEIS (4) 2004: 316-321 - 2003
- [j10]Luca Spalazzi:
M. J. Wooldridge, Reasoning about Rational Agents, Intelligent Robots and Autonomous Agents Series, Cambridge, MA: The MIT Press, 2000, xv+227 pp., $35.00 (hardcover), ISBN 0-262-23213-8. Minds Mach. 13(3): 429-435 (2003) - [j9]Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi:
Cooperation strategies for agent-based P2P systems. Web Intell. Agent Syst. 1(1): 3-21 (2003) - 2002
- [c15]Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi:
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. AP2PC 2002: 87-99 - [c14]Loris Penserini, Maurizio Panti, Luca Spalazzi:
Agent-based transactions into decentralised P2P. AAMAS 2002: 1288-1289 - [c13]Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002: 311-327 - [c12]Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti:
Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002: 968-974 - [c11]Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. SAFECOMP 2002: 126-138 - 2001
- [j8]Luca Spalazzi:
A Survey on Case-Based Planning. Artif. Intell. Rev. 16(1): 3-36 (2001) - [c10]Maurizio Panti, Luca Spalazzi, Loris Penserini:
Cooperation Strategies for Information Integration. CoopIS 2001: 123-134 - [c9]Maurizio Panti, Luca Spalazzi, Loris Penserini:
A Distributed Case-Based Query Rewriting. IJCAI 2001: 1005-1010 - 2000
- [j7]Maurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti:
A FIPA compliant agent platform for federated information systems. ACIS Int. J. Comput. Inf. Sci. 1(3): 145-156 (2000) - [j6]Luca Spalazzi, Paolo Traverso:
A dynamic logic for acting, sensing, and planning. J. Log. Comput. 10(6): 787-821 (2000) - [c8]Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408 - [c7]Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000: 167-180 - [c6]Maurizio Panti, Loris Penserini, Luca Spalazzi:
A critical discussion about an agent platform based on FIPA specification. SEBD 2000: 345-356 - [c5]Maurizio Panti, Luca Spalazzi, Alberto Giretti:
A Case-Based Approach to Information Integration. VLDB 2000: 557-565
1990 – 1999
- 1999
- [j5]Fausto Giunchiglia, Luca Spalazzi:
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999) - [j4]Luca Spalazzi:
A planning language for embedded systems. J. Exp. Theor. Artif. Intell. 11(2): 219-238 (1999) - 1998
- [j3]Luca Spalazzi:
An Architecture for Planning in Embedded Systems. Appl. Intell. 8(2): 157-172 (1998) - 1996
- [j2]Massimo Benerecetti, Luca Spalazzi:
METAFOL: Program tactics and logic tactics plus reflection. Future Gener. Comput. Syst. 12(2-3): 139-156 (1996) - 1995
- [c4]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 - [c3]Paolo Traverso, Luca Spalazzi:
A Logic for Acting, Sensing and Planning. IJCAI 1995: 1941-1949 - 1994
- [j1]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) - [c2]Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso:
Planning with Failure. AIPS 1994: 74-79 - 1992
- [c1]Paolo Traverso, Alessandro Cimatti, Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992: 643-647
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-30 01:13 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:
