Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuseppe De Giacomo
Person information
- affiliation: 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
- 2023
[j55]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)- [i29]Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. CoRR abs/2302.03384 (2023) - [i28]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) - [i27]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR abs/2305.14222 (2023) - 2022
- [j54]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) - [j53]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) - [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 Conference on 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]Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Situation Calculus for Synthesis of Manufacturing Controllers. CoRR abs/1807.04561 (2018) - [i12]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. CoRR abs/1807.04861 (2018) - [i11]Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Reinforcement Learning for LTLf/LDLf Goals. CoRR abs/1807.06333 (2018) - [i10]Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning and Synthesis Under Assumptions. CoRR abs/1807.06777 (2018) - 2017
- [c203]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction in Situation Calculus Action Theories. AAAI 2017: 1048-1055 - [c202]Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi:
On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. AAAI 2017: 3555-3561 - [c201]Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña:
Service Composition in Stochastic Settings. AI*IA 2017: 159-171 - [c200]Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente:
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE 2017: 612-628 - [c199]Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI 2017: 873-879 - [c198]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. SEBD 2017: 165 - [c197]Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente:
Practical Update Management in Ontology-Based Data Access. ISWC (1) 2017: 225-242 - [c196]Gianluca Cima, Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi:
On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. WIMS 2017: 10:1-10:6 - [i9]Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi:
Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). CoRR abs/1706.08100 (2017) - 2016
- [j45]Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña:
Agent planning programs. Artif. Intell. 231: 64-106 (2016) - [j44]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded situation calculus action theories. Artif. Intell. 237: 172-203 (2016) - [j43]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and Verification of Situation Calculus Agents with Bounded Beliefs. Stud Logica 104(4): 705-739 (2016) - [c195]Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña:
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI 2016: 950-956 - [c194]Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña:
Computing Trace Alignment against Declarative Process Models through Planning. ICAPS 2016: 367-375 - [c193]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Game Structures and GDL. ECAI 2016: 408-416 - [c192]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. IJCAI 2016: 922-928 - [c191]Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. IJCAI 2016: 1037-1043 - [c190]Giuseppe De Giacomo, Moshe Y. Vardi:
LTLf and LDLf Synthesis under Partial Observability. IJCAI 2016: 1044-1050 - [c189]Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338 - [c188]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. KR 2016: 411-420 - [c187]Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Situation-Determined Agents and their Supervision. KR 2016: 517-520 - [c186]Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo:
Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) 2016: 167-183 - 2015
- [c185]Chitta Baral, Giuseppe De Giacomo:
Knowledge Representation and Reasoning: What's Hot. AAAI 2015: 4316-4317 - [c184]Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Synchronous Games in the Situation Calculus. AAMAS 2015: 1675-1676 - [c183]Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Declarative Process Modeling in BPMN. CAiSE 2015: 84-100 - [c182]Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564 - [c181]Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI 2015: 2840-2846 - [c180]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI 2015: 4163-4167 - [c179]