default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe De Giacomo
Person information
- affiliation: University of Oxford, UK
- affiliation (former): Sapienza University of Rome, Italy
SPARQL queries 
🛈 Please note that only 58% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j61]Ronen I. Brafman
, Giuseppe De Giacomo:
Regular decision processes. Artif. Intell. 331: 104113 (2024)- [j60]Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo:
Temporally extended goal recognition in fully observable non-deterministic domain models. Appl. Intell. 54(11-12): 470-489 (2024) - [c282]Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan:
Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024: 10624-10634 - [c281]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655 - [c280]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI 2024: 22695 - [c279]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Stochastic Services for LTLf Goal Specifications. FoIKS 2024: 298-316 - [c278]Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin:
Planning with Object Creation. ICAPS 2024: 104-113 - [i35]Pian Yu, Shufang Zhu, Giuseppe De Giacomo, Marta Kwiatkowska, Moshe Y. Vardi:
The Trembling-Hand Problem for LTLf Planning. CoRR abs/2404.16163 (2024) - 2023
- [j59]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital twin composition in smart manufacturing via Markov decision processes. Comput. Ind. 149: 103916 (2023) - [j58]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77: 1087-1112 (2023) - [j57]Giuseppe De Giacomo, Francesco Fuggitti, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi:
A tool for declarative Trace Alignment via automated planning. Softw. Impacts 16: 100505 (2023) - [j56]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c277]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Reactive Synthesis of Dominant Strategies. AAAI 2023: 6228-6235 - [c276]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. AAAI 2023: 7227-7234 - [c275]Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. AAAI 2023: 9588-9595 - [c274]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. ICAPS 2023: 61-69 - [c273]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Flavia Monti, Luciana Silo:
AIDA: A Tool for Resiliency in Smart Manufacturing. CAiSE Forum 2023: 112-120 - [c272]Luigi Bonassi, Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti, Alfonso Emilio Gerevini, Enrico Scala:
FOND Planning for Pure-Past Linear Temporal Logic Goals. ECAI 2023: 279-286 - [c271]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. ECAI 2023: 533-540 - [c270]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. EUMAS 2023: 133-149 - [c269]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic sc ltlf Best-Effort Synthesis. EUMAS 2023: 228-243 - [c268]Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS 2023: 263-279 - [c267]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI 2023: 3112-3122 - [c266]Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo:
Towards ILP-Based LTL f Passive Learning. ILP 2023: 30-45 - [c265]Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Image Sequences. KR 2023: 668-678 - [c264]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Stochastic Best-Effort Strategies for Borel Goals. LICS 2023: 1-13 - [c263]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA 2023: 73-77 - [c262]Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi:
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA 2023: 93-98 - [i34]Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. CoRR abs/2302.03384 (2023) - [i33]Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. CoRR abs/2303.00516 (2023) - [i32]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR abs/2305.14222 (2023) - [i31]Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo:
Temporally Extended Goal Recognition in Fully Observable Non-Deterministic Domain Models. CoRR abs/2306.08680 (2023) - [i30]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic LTLf Best-Effort Synthesis. CoRR abs/2308.15178 (2023) - [i29]Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR abs/2308.15184 (2023) - [i28]Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR abs/2308.15188 (2023) - [i27]Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR abs/2311.18114 (2023) - 2022
- [j55]Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña:
Situation calculus for controller synthesis in manufacturing systems with first-order state representation. Artif. Intell. 302: 103598 (2022) - [j54]Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo, Giuseppe De Giacomo:
Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. Future Internet 14(3): 78 (2022) - [j53]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61(2): 139-163 (2022) - [j52]Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling:
Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf. Syst. 107: 101920 (2022) - [j51]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. ACM Trans. Softw. Eng. Methodol. 31(4): 68:1-68:44 (2022) - [c261]Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo:
Iterative Depth-First Search for FOND Planning. ICAPS 2022: 90-99 - [c260]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c259]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. PMAI@IJCAI 2022: 101-104 - [c258]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI 2022: 2525-2531 - [c257]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c256]Giuseppe De Giacomo, Marco Favorito, Jianwen Li, Moshe Y. Vardi, Shengping Xiao, Shufang Zhu:
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. IJCAI 2022: 2591-2598 - [c255]Shufang Zhu, Giuseppe De Giacomo:
Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI 2022: 2783-2789 - [c254]Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo:
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. IJCAI 2022: 3408-3415 - [c253]Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardiña:
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). IJCAI 2022: 5722-5726 - [c252]Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. KR 2022 - [c251]Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 - [c250]Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Images. NeSy 2022: 45-63 - [c249]Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19 - [e5]Giuseppe De Giacomo, Antonella Guzzo, Marco Montali, Lior Limonad, Fabiana Fournier, Tagatha Chakraborti:
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), Wien, Austria, July 23, 2022. CEUR Workshop Proceedings 3310, CEUR-WS.org 2022 [contents] - [i26]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - [i25]Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo:
Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. CoRR abs/2204.04322 (2022) - [i24]Giuseppe De Giacomo, Marco Favorito, Francesco Fuggitti:
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. CoRR abs/2204.09960 (2022) - [i23]Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo:
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. CoRR abs/2205.01053 (2022) - [i22]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. CoRR abs/2205.09201 (2022) - [i21]Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. CoRR abs/2211.14028 (2022) - 2021
- [j50]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117: 97-110 (2021) - [j49]Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo:
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. 70: 1335-1371 (2021) - [c248]Giuseppe De Giacomo, Marco Favorito:
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS 2021: 122-130 - [c247]Giuseppe De Giacomo, Maurizio Lenzerini, Francesco Leotta, Massimo Mecella:
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. Next-Gen Digital Services 2021: 3-15 - [c246]Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM 2021: 44-49 - [c245]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI 2021: 1766-1772 - [c244]Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici:
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828 - [c243]Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858 - [c242]Giuseppe De Giacomo, Paolo Felli, Marco Montali, Giuseppe Perelli:
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021: 1859-1865 - [c241]Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. IJCAI 2021: 2026-2032 - [c240]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51 - [c239]Giuseppe De Giacomo, Yves Lespérance:
The Nondeterministic Situation Calculus. KR 2021: 216-226 - [c238]Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR 2021: 227-236 - [c237]Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu:
Synthesis with Mandatory Stop Actions. KR 2021: 237-246 - [i20]Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. CoRR abs/2102.11184 (2021) - [i19]Ramon Fraga Pereira, Francesco Fuggitti, Giuseppe De Giacomo:
Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. CoRR abs/2103.11692 (2021) - [i18]Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. CoRR abs/2105.06784 (2021) - 2020
- [j48]Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter:
Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. 88(5-6): 623-640 (2020) - [c236]Giuseppe De Giacomo, Yves Lespérance, Eugenia Ternovska:
ElGolog: A High-Level Programming Language with Memory of the Execution History. AAAI 2020: 2806-2813 - [c235]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095 - [c234]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020: 13659-13662 - [c233]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS 2020: 20-28 - [c232]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS 2020: 517-521 - [c231]Giuseppe De Giacomo, Yves Lespérance:
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. AAMAS 2020: 294-302 - [c230]Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending DL-LiteR TBoxes with View Definitions. Description Logics 2020 - [c229]Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling:
A Temporal Logic-Based Measurement Framework for Process Mining. ICPM 2020: 113-120 - [c228]Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680 - [c227]Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin:
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI 2020: 4959-4965 - [c226]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin:
High-level Programming via Generalized Planning and LTL Synthesis. KR 2020: 152-161 - [c225]Giuseppe De Giacomo, Bastien Maubert, Aniello Murano:
Nondeterministic Strategies and their Refinement in Strategy Logic. KR 2020: 294-303 - [c224]Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu:
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020: 304-314 - [c223]Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca:
Temporal Logic Monitoring Rewards via Transducers. KR 2020: 860-870 - [e4]Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang:
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Frontiers in Artificial Intelligence and Applications 325, IOS Press 2020, ISBN 978-1-64368-100-9 [contents] - [i17]Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, Marco Montali:
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. CoRR abs/2004.01859 (2020)
2010 – 2019
- 2019
- [j47]Floriana Di Pinto, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Acquiring Ontology Axioms through Mappings to Data Sources. Future Internet 11(12): 260 (2019) - [c222]Giuseppe De Giacomo:
WhiteMech: White-Box Self-Programming Mechanisms. ICCI*CC 2019: 3 - [c221]Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi:
Unbounded Orchestrations of Transducers for Manufacturing. AAAI 2019: 2646-2653 - [c220]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. Canadian AI 2019: 173-185 - [c219]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning under LTL Environment Specifications. ICAPS 2019: 31-39 - [c218]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. ICAPS 2019: 128-136 - [c217]Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. AAMAS 2019: 1844-1846 - [c216]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211 - [c215]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC 2019: 102-118 - [c214]Ronen I. Brafman, Giuseppe De Giacomo:
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. IJCAI 2019: 1602-1608 - [c213]Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: A Model for Non-Markovian Domains. IJCAI 2019: 5516-5522 - [c212]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid temporal situation calculus. SAC 2019: 1162-1164 - [i16]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR abs/1909.12135 (2019) - [i15]Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019) - [i14]Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR abs/1912.11203 (2019) - 2018
- [j46]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
First-order μ-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259(3): 328-347 (2018) - [c211]Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi:
LTLf/LDLf Non-Markovian Rewards. AAAI 2018: 1771-1778 - [c210]Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168 - [c209]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Hierarchical Agent Supervision. AAMAS 2018: 1432-1440 - [c208]Alessio Cecconi, Claudio Di Ciccio, Giuseppe De Giacomo, Jan Mendling:
Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach. BPM 2018: 121-138 - [c207]Manuel Namici, Giuseppe De Giacomo:
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. Description Logics 2018 - [c206]