Luca Spalazzi

127 papers A* 3A 3B 6C 7Misc 2Journal 41Unranked 63
YearRankTypeTitle / Venue / Authors
2026 — conf
A Hierarchical Hybrid Deep Learning Framework for Unknown Attack Detection in SDN Networks.
ITASEC/SERICS
Francesco Di Gennaro, Andrea Giuliani, Christian Morbidoni, Alessandro Cucchiarelli, Luca Spalazzi
2025 J jnl
A Blockchain-Driven Cyber-Systemic Approach to Hybrid Reality.
Syst.
Massimiliano Pirani, Alessandro Cucchiarelli, Tariq Naeem, Luca Spalazzi
2025 — conf
A Comparative Analysis of Datasets for Intrusion Detection in Software-Defined Networks.
ITASEC/SERICS
Francesco Di Gennaro, Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi
2025 J jnl
A systematic literature review on distributed ledger technologies in healthcare: Applications, challenges, and future directions.
Inf. Softw. Technol.
Fatemeh Esmaeilnezhadtanha, Luca Spalazzi, Luca Del Bene, Yves Wautelet
2025 — conf
Balancing Technical, Human and Environmental Perspectives: A Model-Driven Development Framework for Stakeholder Inclusion.
BIR
Fatemeh Esmaeilnezhadtanha, Yves Wautelet, Luca Spalazzi
2025 B conf
Holonic Oracle Constructivism in Cyber-Physical Systems.
SMC
Massimiliano Pirani, Gianluca Bonifazi, Alessandro Cucchiarelli, Tariq Naeem, Luca Spalazzi
2025 J jnl
Mixed-Embeddings and Deep Learning Ensemble for DGA Classification With Limited Training Data.
IEEE Access
Christian Morbidoni, Alessandro Cucchiarelli, Luca Spalazzi
2025 J jnl
The Meta Holonic Management Tree: review, steps, and roadmap to industrial Cybernetics 5.0.
J. Intell. Manuf.
Massimiliano Pirani, Alessandro Carbonari, Alessandro Cucchiarelli, Alberto Giretti, Luca Spalazzi
2025 — conf
Verifiable Actor Model Systems Through Relational-Model Multi-Agent System and Zero-Knowledge Proofs.
ICPS
Massimiliano Pirani, Alessandro Cucchiarelli, Tariq Naeem, Luca Spalazzi
2024 C conf
A Role of RMAS, Blockchain, and Zero-Knowledge Proof in Sustainable Supply Chains.
IECON
Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi
2024 J jnl
Accelerating human-computer interaction through convergent conditions for LLM explanation.
Frontiers Artif. Intell.
Aleksandr Raikov, Alberto Giretti, Massimiliano Pirani, Luca Spalazzi, Meng Guo
2024 — conf
Feature selection in ML-based SDN intrusion detection system.
FiCloud
Francesco Di Gennaro, Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi
2024 C conf
Parameter Synthesis for Families of Markov Chains with an Application to Multi-agent Systems Privacy.
EUMAS
Francesco Spegni, Luca Spalazzi, Roberto Rosetti, Aniello Murano
2024 J jnl
Supervised learning for automatic emotion recognition in Parkinson's disease through smartwatch signals.
Expert Syst. Appl.
Lucia Pepa, Luca Spalazzi, Maria Gabriella Ceravolo, Marianna Capecci
2023 B conf
A Soulbound Token-based Reputation System in Sustainable Supply Chains.
EWSN
Massimiliano Pirani, Alessio Cacopardo, Alessandro Cucchiarelli, Luca Spalazzi
2023 — conf
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
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
2023 J jnl
Automatic Emotion Recognition in Clinical Scenario: A Systematic Review of Methods.
IEEE Trans. Affect. Comput.
Lucia Pepa, Luca Spalazzi, Marianna Capecci, Maria Gabriella Ceravolo
2023 J jnl
Blockchain based choreographies: The construction industry case study.
Concurr. Comput. Pract. Exp.
Luca Spalazzi, Francesco Spegni, Alessandra Corneli, Berardo Naticchia
2023 — conf
ChoEn: A Smart Contract Based Choreography Enforcer.
PerCom Workshops
Francesco Spegni, Lorenzo Fratini, Massimiliano Pirani, Luca Spalazzi
2023 — conf
Consumer Devices for Health Parameter Collection and Analysis in Parkinson's Disease Telerehabilitation.
ICCE-Berlin
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
2023 Misc conf
Efficiency of Malware Detection Based on DNS Packet Analysis Over Real Network Traffic.
CSR
Lorenzo Principi, Marco Baldi, Alessandro Cucchiarelli, Luca Spalazzi
2022 — conf
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Francesco Spegni, Antonio Sabatelli, Alessio Merlo, Lucia Pepa, Luca Spalazzi, Luca Verderame
2022 — conf
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture.
ICCE-Berlin
Antonia Antoniello, Antonio Sabatelli, Simone Valenti, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo
2022 J jnl
An offline parallel architecture for forensic multimedia classification.
Multim. Tools Appl.
Luca Spalazzi, Marina Paolanti, Emanuele Frontoni
2022 Misc conf
Leveraging n-gram neural embeddings to improve deep learning DGA detection.
SAC
Christian Morbidoni, Luca Spalazzi, Antonio Teti, Alessandro Cucchiarelli
2022 C conf
Paradigms for database-centric application interfaces.
ISM
Massimiliano Pirani, Alessandro Cucchiarelli, Luca Spalazzi
2022 — conf
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study.
ICCE-Berlin
Antonio Sabatelli, Simone Valenti, Antonia Antoniello, Maria Di Tillo, Lucia Pepa, Luca Spalazzi, Elisa Andrenelli, Marianna Capecci, Maria Gabriella Ceravolo
2021 J jnl
Algorithmically generated malicious domain names detection based on n-grams features.
Expert Syst. Appl.
Alessandro Cucchiarelli, Christian Morbidoni, Luca Spalazzi, Marco Baldi
2021 J jnl
Automatic Repair of Timestamp Comparisons.
IEEE Trans. Software Eng.
Giovanni Liva, Muhammad Taimoor Khan, Martin Pinzger, Francesco Spegni, Luca Spalazzi
2020 J jnl
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease.
Expert Syst. Appl.
Lucia Pepa, Marianna Capecci, Elisa Andrenelli, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo
2020 J jnl
Parameterized model checking of networks of timed automata with Boolean guards.
Theor. Comput. Sci.
Luca Spalazzi, Francesco Spegni
2020 — ed.
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020.
ITASEC
Michele Loreti, Luca Spalazzi
2020 — conf
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials.
DLT@ITASEC
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi
2020 — conf
Therapeutic Exercise Protocols for People Recovering After Covid-19: A Tele-Health Approach.
ForItAAL
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
2020 J jnl
Verifying temporal specifications of Java programs.
Softw. Qual. J.
Francesco Spegni, Luca Spalazzi, Giovanni Liva, Martin Pinzger, Andreas Bollin
2019 — conf
High-Performance Computing for Formal Security Assessment.
HPCS
Luca Spalazzi, Francesco Spegni
2019 J jnl
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons.
J. Ambient Intell. Humaniz. Comput.
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Lucia Pepa, Daniele Proietti Pagnotta, Luca Spalazzi, Federica Verdini
2019 J jnl
Security analysis of a blockchain-based protocol for the certification of academic credentials.
CoRR
Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi
2019 — conf
Verification-as-a-Service for Parameter Assessment.
HPCS
Luca Spalazzi, Francesco Spegni
2018 C conf
Complex activity recognition system based on cascade classifiers and wearable device data.
ICCE
Lucio Ciabattoni, Gabriele Foresi, Andrea Monteriù, Daniele Proietti Pagnotta, Luca Romeo, Luca Spalazzi, A. De Cesare
2018 J jnl
HPC & Co strike back: Where are distributed paradigms heading toward?
Concurr. Comput. Pract. Exp.
Sébastien Limet, Alessio Merlo, Luca Spalazzi
2018 — conf
Modeling time in Java programs for automatic error detection.
FormaliSE@ICSE
Giovanni Liva, Muhammad Taimoor Khan, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger
2018 — conf
Towards Model Checking Security of Real Time Java Software.
HPCS
Luca Spalazzi, Francesco Spegni, Giovanni Liva, Martin Pinzger
2017 — conf
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
QEST
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2017 — conf
A real-time Fuzzy Logic algorithm for freezing of gait management on a smartphone.
ICCE-Berlin
Lucia Pepa, Marianna Capecci, Lucio Ciabattoni, Luca Spalazzi, Maria Gabriella Ceravolo
2017 B conf
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.
VMCAI
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
2017 — conf
Certificate Validation Through Public Ledgers and Blockchains.
ITASEC
Marco Baldi, Franco Chiaraluce, Emanuele Frontoni, Giuseppe Gottardi, Daniele Sciarroni, Luca Spalazzi
2017 — conf
On the Existence of Cutoffs for Model Checking Disjunctive Timed Networks.
ICTCS/CILC
Luca Spalazzi, Francesco Spegni
2017 C conf
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.
ISCC
Marco Baldi, Franco Chiaraluce, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2016 J jnl
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
CoRR
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2016 — conf
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.
HPCS
Marco Baldi, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
2016 C conf
Real time step length estimation on smartphone.
ICCE
Lucia Pepa, Giacomo Marangoni, Matteo Di Nicola, Lucio Ciabattoni, Federica Verdini, Luca Spalazzi, Sauro Longhi
2015 J jnl
A semantic-based federated cloud system for emergency response.
Concurr. Comput. Pract. Exp.
Giuliano Manno, Waleed W. Smari, Luca Spalazzi, Gilberto Taccari
2015 — conf
An architecture to manage motor disorders in Parkinson's disease.
WF-IoT
Lucia Pepa, Marianna Capecci, Federica Verdini, Maria Gabriella Ceravolo, Luca Spalazzi
2015 — conf
Experimental evaluation of a smartphone based Step Length estimation.
EMBC
Lucia Pepa, Federica Verdini, Luca Spalazzi
2015 J jnl
High-performance computing: to boldly go where no human has gone before.
Concurr. Comput. Pract. Exp.
Sébastien Limet, Waleed W. Smari, Luca Spalazzi
2015 J jnl
Special issue on security and high performance computing systems.
J. Comput. Secur.
Luca Spalazzi, Luca Viganò
2014 — conf
A federated cloud of things for emergency management.
CTS
Gilberto Taccari, Luca Spalazzi
2014 — conf
An Internet of Things ontology for earthquake emergency evaluation and response.
CTS
Luca Spalazzi, Gilberto Taccari, Andrea Bernardini
2014 — conf
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things.
IoT360 (2)
Gilberto Taccari, Gabriele Bernardini, Luca Spalazzi, Marco D'Orazio, Waleed W. Smari
2014 J jnl
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).
CoRR
Luca Spalazzi, Francesco Spegni
2014 — conf
Parameterized Model-Checking of Timed Systems with Conjunctive Guards.
VSTTE
Luca Spalazzi, Francesco Spegni
2014 — conf
Step Length Estimation for Freezing of Gait Monitoring in Parkinsonian Patients.
mBiDA
Lucia Pepa, Marco Rossini, Luca Spalazzi, Federica Verdini
2013 J jnl
Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning.
J. Educ. Technol. Soc.
Patrizia Ghislandi, Maria Grazia Ierardi, Tommaso Leo, Luca Spalazzi
2013 J jnl
Model checking grid security.
Future Gener. Comput. Syst.
Francesco Pagliarecci, Luca Spalazzi, Francesco Spegni
2013 J jnl
PKS: An Ontology-based Learning Construct for Lifelong Learners.
J. Educ. Technol. Soc.
Flavio Manganello, Carla Falsetti, Luca Spalazzi, Tommaso Leo
2013 — conf
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL.
Description Logics
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
2013 J jnl
Recent developments in high performance computing and security: An editorial.
Future Gener. Comput. Syst.
Waleed W. Smari, Luca Spalazzi, Yacine Zemali
2012 — conf
A modular environment for software development and re-engineering.
TOPI@ICSE
Salvatore Campana, Andrea Poli, Luca Spalazzi, Francesco Spegni
2012 — conf
Application of SWSAL in Semantic Annotation of RESTful Web Services.
INVIT
Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
2012 — conf
FCFA: A semantic-based federated cloud framework architecture.
HPCS
Giuliano Manno, Waleed W. Smari, Luca Spalazzi
2012 J jnl
Model Checking Semantically Annotated Services.
IEEE Trans. Software Eng.
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
Business process design framework for B2B collaboration.
CTS
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
From Service Identification to Service Selection: An Interleaved Perspective.
Formal Modeling: Actors, Open Systems, Biological Systems
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
2011 — conf
From Service Identification to Service Selection: an Interleaved Perspective.
SEBD
Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
2010 — conf
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
CTS
Salvatore Campana, Luca Spalazzi, Francesco Spegni
2010 — ch.
Semantic Annotation for Web Service Processes in Pervasive Computing.
Pervasive Computing, Innovations in Intelligent Multimedia and Applications
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi
2010 — conf
Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
SEBD
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2010 — conf
Semantic model checking security requirements for web services.
HPCS
Lorenzo Boaro, Emanuele Glorio, Francesco Pagliarecci, Luca Spalazzi
2009 J jnl
An IPS for Web Applications.
J. Comput.
Angelo Biscotti, Gianluca Capuzzi, Egidio Cardinale, Francesco Pagliarecci, Luca Spalazzi
2009 — conf
An anomaly-based system for parental control.
HPCS
C. Cioffi, Francesco Pagliarecci, Luca Spalazzi
2009 J jnl
Editorial.
J. Comput.
Luca Spalazzi, Ratan Guha
2009 — conf
JEAP - JAVA environment for Agent platform.
IADIS AC (1)
Francesco Pagliarecci, Luca Spalazzi, Fabrizio Spinelli
2009 — conf
Performance indicator in collaborative systems for business process management.
IADIS AC (2)
Andrea Rossetti, Luca Spalazzi
2009 — conf
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
SEBD
Ivan Di Pietro, Annapaola Marconi, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi
2008 — conf
Formal specification of agent-object oriented programs.
CTS
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott
2008 — conf
Semantic Annotation for Web Service Processes.
SEBD
Ivan Di Pietro, Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso
2008 — conf
Semantic Web Service Selection at the Process-Level: The eBay/Amazon/PayPal Case Study.
Web Intelligence
Ivan Di Pietro, Francesco Pagliarecci, Luca Spalazzi, Annapaola Marconi, Marco Pistore
2008 — conf
XAL: A Web Oriented Programming Language Based on Timed-Automata.
Web Intelligence
Salvatore Campana, Luca Spalazzi, Francesco Spegni
2007 — conf
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of
OTM Workshops (1)
Francesco Pagliarecci, Loris Penserini, Luca Spalazzi
2007 J jnl
Social-oriented engineering of intelligent software.
Web Intell. Agent Syst.
Loris Penserini, Manuel Kolp, Luca Spalazzi
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 — conf
Formal Definition of an Agent-Object Programming Language.
CTS
Francesco Pagliarecci, Luca Spalazzi, Gianluca Capuzzi
2006 — conf
IRSS: Incident Response Support System.
CTS
Gianluca Capuzzi, Luca Spalazzi, Francesco Pagliarecci
2005 — conf
An Agent-Based Supply-Chain Management.
SEBD
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
2005 — conf
An agent-based supply-chain management.
CTS
Maurizio Panti, Francesco Pagliarecci, Luca Spalazzi
2005 J jnl
Book Reviews.
Minds Mach.
Luca Spalazzi
2005 — conf
Model checking the security of multi-protocol systems.
CTS
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci
2004 — conf
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
ICEIS (4)
Loris Penserini, Luca Spalazzi, Maurizio Panti
2004 — conf
Socially-Based Design Meets Agent Capabilities.
IAT
Loris Penserini, Manuel Kolp, Luca Spalazzi, Maurizio Panti
2003 J jnl
Cooperation strategies for agent-based P2P systems.
Web Intell. Agent Syst.
Loris Penserini, Lin Liu, John Mylopoulos, Maurizio Panti, Luca Spalazzi
2003 J jnl
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.
Luca Spalazzi
2002 A conf
Agent-based transactions into decentralised P2P.
AAMAS
Loris Penserini, Maurizio Panti, Luca Spalazzi
2002 — conf
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
ICEIS
Maurizio Panti, Luca Spalazzi, Simone Tacconi, Salvatore Valenti
2002 — conf
Modeling and Evaluating Cooperation Strategies in P2P Agent Systems.
AP2PC
Loris Penserini, Lin Liu, John Mylopoulos, Luca Spalazzi
2002 A conf
Verification of Payment Protocols via MultiAgent Model Checking.
CAiSE
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
2002 B conf
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
SAFECOMP
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
2001 A* conf
A Distributed Case-Based Query Rewriting.
IJCAI
Maurizio Panti, Luca Spalazzi, Loris Penserini
2001 J jnl
A Survey on Case-Based Planning.
Artif. Intell. Rev.
Luca Spalazzi
2001 B conf
Cooperation Strategies for Information Integration.
CoopIS
Maurizio Panti, Luca Spalazzi, Loris Penserini
2000 A* conf
A Case-Based Approach to Information Integration.
VLDB
Maurizio Panti, Luca Spalazzi, Alberto Giretti
2000 J jnl
A FIPA compliant agent platform for federated information systems.
ACIS Int. J. Comput. Inf. Sci.
Maurizio Panti, Loris Penserini, Luca Spalazzi, Salvatore Valenti
2000 C conf
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
FORTE
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
2000 — conf
A critical discussion about an agent platform based on FIPA specification.
SEBD
Maurizio Panti, Loris Penserini, Luca Spalazzi
2000 J jnl
A dynamic logic for acting, sensing, and planning.
J. Log. Comput.
Luca Spalazzi, Paolo Traverso
2000 — conf
Verifica formale dei protocolli di sicurezza mediante model checking.
SEBD
Maurizio Panti, Luca Spalazzi, Simone Tacconi
1999 J jnl
A planning language for embedded systems.
J. Exp. Theor. Artif. Intell.
Luca Spalazzi
1999 J jnl
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell.
Fausto Giunchiglia, Luca Spalazzi
1998 J jnl
An Architecture for Planning in Embedded Systems.
Appl. Intell.
Luca Spalazzi
1996 J jnl
METAFOL: Program tactics and logic tactics plus reflection.
Future Gener. Comput. Syst.
Massimo Benerecetti, Luca Spalazzi
1995 A* conf
A Logic for Acting, Sensing and Planning.
IJCAI
Paolo Traverso, Luca Spalazzi
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
1992 A conf
Beyond the Single Planning Paradigm: Introspective Planning.
ECAI
Paolo Traverso, Alessandro Cimatti, Luca Spalazzi