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
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) - [c283]Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan:
Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024: 10624-10634 - [c282]Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655 - [c281]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI 2024: 22695 - [c280]Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte:
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. FM (1) 2024: 579-599 - [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]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI 2018: 1699-1706 - [c205]Giuseppe De Giacomo, Sasha Rubin:
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI 2018: 4729-4735 - [c204]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Synthesis under Assumptions. KR 2018: 615-616 - [p6]Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Using Ontologies for Semantic Data Integration. A Comprehensive Guide Through the Italian Database Research 2018: 187-202 - [r1]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018 - [i13]