Marco Favorito
Orcid: 0000-0001-9566-3576
According to our database1,
Marco Favorito
authored at least 43 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based Architectures.
Proceedings of the Practical Aspects of Declarative Languages, 2024
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract).
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024
2023
Comput. Ind., August, 2023
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications.
CoRR, 2023
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures (technical report).
CoRR, 2023
Combining search strategies to improve performance in the calibration of economic ABMs.
CoRR, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
Reinforcement Learning for Combining Search Methods in the Calibration of Economic ABMs.
Proceedings of the 4th ACM International Conference on AI in Finance, 2023
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023
Proceedings of the Intelligent Information Systems, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the the Italian Workshop on Planning and Scheduling, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
J. Open Source Softw., November, 2022
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning.
CoRR, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes.
Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
2021
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021
Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Autonomous Economic Agents as a Second Layer Technology for Blockchains: Framework Introduction and Use-Case Demonstration.
Proceedings of the Crypto Valley Conference on Blockchain Technology, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Peer-to-Peer Negotiation for Optimising Journeys of Electric Vehicles on a Tour of Europe.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
2018