Intensional Query Answering: An Application of Partial Evaluation. - Giuseppe De Giacomo (LOPSTR, 1992)

Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. - Giuseppe De Giacomo; Maurizio Lenzerini (AAAI, 1994)

Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. - Giuseppe De Giacomo; Maurizio Lenzerini (ECAI, 1994)

Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. - Giuseppe De Giacomo; Maurizio Lenzerini (JELIA, 1994)

PDL-based framework for reasoning about actions. - Giuseppe De Giacomo; Maurizio Lenzerini (AI*IA, 1995)

Structured Objects: Modeling and Reasoning. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (DOOD, 1995)

What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. - Giuseppe De Giacomo; Maurizio Lenzerini (IJCAI (1), 1995)

Increasing the Power of Structured Objects. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (KRDB, 1995)

Tableaux and Algorithms for Propositional Dynamic Logic with Converse. - Giuseppe De Giacomo; Fabio Massacci (CADE, 1996)

Representing SGML Documents in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 1996)

Exptime Tableaux for ALC. - Giuseppe De Giacomo; Francesco M. Donini; Fabio Massacci (Description Logics, 1996)

Moving a Robot: The KR&R Approach at Work. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (KR, 1996)

TBox and ABox Reasoning in Expressive Description Logics. - Giuseppe De Giacomo; Maurizio Lenzerini (KR, 1996)

Conceptual Data Model with Structured Objects for Statistical Database. - Giuseppe De Giacomo; Paolo Naggar (SSDBM, 1996)

Intensional Query Answering by Partial Evaluation. - Giuseppe De Giacomo (J. Intell. Inf. Syst., 1996)

Eliminating "Converse" from Converse PDL. - Giuseppe De Giacomo (J. Log. Lang. Inf., 1996)

Conjunctive Query Containment in Description Logics with n-ary Relations. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 1997)

Description Logic-baqsed Framrwork for Planning with Sensing Actions. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (Description Logics, 1997)

Planning with Sensing for a Mobile Robot. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (ECP, 1997)

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (IJCAI, 1997)

Representing and Reasoning on SGML Documents. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (ISMIS, 1997)

A Uniform Framework for Concept Definitions in Description Logics. - Giuseppe De Giacomo; Maurizio Lenzerini (J. Artif. Intell. Res., 1997)

What can Knowledge Representation do for Semi-Structured Data? - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (AAAI/IAAI, 1998)

Information Integration: Conceptual Modeling and Reasoning Support. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (CoopIS, 1998)

Source Integration in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (DEXA Workshop, 1998)

Semi-structured Data with Constraints and Incomplete Information. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 1998)

A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. - Diego Calvanese; Giuseppe De Giacomo; Riccardo Rosati 001 (Description Logics, 1998)

Description Logic Framework for Information Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (KR, 1998)

Execution Monitoring of High-Level Robot Programs. - Giuseppe De Giacomo; Raymond Reiter; Mikhail Soutchanski (KR, 1998)

On the Decidability of Query Containment under Constraints. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (PODS, 1998)

Extending Semi-Structured Data. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (SEBD, 1998)

Queries and Constraints on Semi-structured Data. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (CAiSE, 1999)

A Principled Approach to Data Integration and Reconciliation in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (DMDW, 1999)

Automata-Theoretic Approach to Planning for Temporally Extended Goals. - Giuseppe De Giacomo; Moshe Y. Vardi (ECP, 1999)

Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (IJCAI, 1999)

Projection Using Regression and Sensors. - Giuseppe De Giacomo; Hector J. Levesque (IJCAI, 1999)

Answering Queries Using Views in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (KRDB, 1999)

Rewriting of Regular Path Queries. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (SEBD, 1999)

Query Answering Using Views for Data Integration over the Web. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (WebDB (Informal Proceedings), 1999)

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. - Xiao Jun Chen; Giuseppe De Giacomo (Artif. Intell., 1999)

The AAAI Fall Symposia. - Giuseppe De Giacomo; Marie desJardins; Dolores Cañamero; Glenn S. Wasson; Michael L. Littman; Gerard Allwein; Kim Marriott; Bernd Meyer 001; Barbara Webb; Tom Con (AI Mag., 1999)

Minimal Knowledge Approach to Reasoning about Actions and Sensing. - Giuseppe De Giacomo; Riccardo Rosati 001 (Electron. Trans. Artif. Intell., 1999)

Representing and Reasoning on XML Documents: A Description Logic Approach. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (J. Log. Comput., 1999)

Report on the 1998 International Workshop on Description Logics (DL'98). - Enrico Franconi; Giuseppe De Giacomo; Ian Horrocks 001; Deborah L. McGuinness; Werner Nutt; Peter F. Patel-Schneider; Christopher A. Welty (J. Log. Comput., 1999)

A Theory and Implementation of Cognitive Mobile Robots. - Giuseppe De Giacomo; Luca Iocchi; Daniele Nardi; Riccardo Rosati 001 (J. Log. Comput., 1999)

Modeling and Querying Semi-Structured data . - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Netw. Inf. Syst. J., 1999)

Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. - Diego Calvanese; Giuseppe De Giacomo; Riccardo Rosati 001 (Netw. Inf. Syst. J., 1999)

Answering Queries Using Views over Description Logics Knowledge Bases. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (AAAI/IAAI, 2000)

What is Query Rewriting? - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (CIA, 2000)

Keys for Free in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 2000)

Answering Regular Path Queries Using Views. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (ICDE, 2000)

Containment of Conjunctive Regular Path Queries with Inverse. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (KR, 2000)

What is View-Based Query Rewriting? - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (KRDB, 2000)

View-Based Query Processing and Constraint Satisfaction. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (LICS, 2000)

View-Based Query Processing for Regular Path Queries with Inverse. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (PODS, 2000)

ConGolog, a concurrent programming language based on the situation calculus. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Artif. Intell., 2000)

Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. - Giuseppe De Giacomo; Fabio Massacci (Inf. Comput., 2000)

Reasoning in Expressive Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Daniele Nardi; Maurizio Lenzerini (Handbook of Automated Reasoning, 2001)

View-Based Query Answering and Query Containment over Semistructured Data. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (DBPL, 2001)

Ontology of Integration and Integration of Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 2001)

Accessing Data Integration Systems through Conceptual Schemas. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (ER, 2001)

Identification Constraints and Functional Dependencies in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (IJCAI, 2001)

A Framework for Ontology Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (The Emerging Semantic Web, 2001)

Data Integration in Data Warehousing. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Daniele Nardi; Riccardo Rosati 001 (Int. J. Cooperative Inf. Syst., 2001)

Incremental execution of guarded theories. - Giuseppe De Giacomo; Hector J. Levesque; Sebastian Sardiña (ACM Trans. Comput. Log., 2001)

Description Logics for Information Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Computational Logic: Logic Programming and Beyond, 2002)

2ATAs make DLs easy. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 2002)

On the Expressive Power of Data Integration Systems. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (ER, 2002)

A Formal Framework for Reasoning on UML Class Diagrams. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (ISMIS, 2002)

Reasoning about Actions and Planning in LTL Action Theories. - Diego Calvanese; Giuseppe De Giacomo; Moshe Y. Vardi (KR, 2002)

Description Logics: Foundations for Class-based Knowledge Representation. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (LICS, 2002)

Lossless Regular Views. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (PODS, 2002)

IBIS: Data Integration at Work. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Paolo Naggar; Fabio Vernacotola (SEBD, 2002)

On the Role of Integrity Constraints in Data Integration. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (IEEE Data Eng. Bull., 2002)

Rewriting of Regular Expressions and Regular Path Queries. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (J. Comput. Syst. Sci., 2002)

IBIS: Semantic Data Integration at Work. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Paolo Naggar; Fabio Vernacotola (CAiSE, 2003)

Semantic Data Integration in P2P Systems. - Diego Calvanese; Elio Damaggio; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (DBISP2P, 2003)

Reasoning on UML Class Diagrams is EXPTIME-hard. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo (Description Logics, 2003)

e-Service Composition by Description Logics Based Reasoning. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (Description Logics, 2003)

Expressive Description Logics. - Diego Calvanese; Giuseppe De Giacomo (Description Logic Handbook, 2003)

Automatic Composition of E-services That Export Their Behavior. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (ICSOC, 2003)

View-based query containment. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (PODS, 2003)

Query Containment Using Views. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (SEBD, 2003)

A Foundational Vision of e-Services. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (WES, 2003)

Reasoning on regular path queries. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (SIGMOD Rec., 2003)

Scaling Up Reasoning about Actions Using Relational Database Technology. - Giuseppe De Giacomo; Toni Mancini (AAAI, 2004)

On Ability to Autonomously Execute Agent Programs with Sensing. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (AAMAS, 2004)

Towards Implementing Finite Model Reasoning in Description Logics. - Marco Cadoli; Diego Calvanese; Giuseppe De Giacomo (Description Logics, 2004)

DL-Lite: Practical Reasoning for Rich Dls. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001; Guido Vetere (Description Logics, 2004)

Hyper: A Framework for Peer-to-Peer Data Integration on Grids. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001; Guido Vetere (ICSNW, 2004)

Synthesis of underspecified composite e-services based on automated reasoning. - Daniela Berardi; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella; Diego Calvanese (ICSOC, 2004)

Tackling Inconsistencies in Data Integration through Source Preferences. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (IQIS, 2004)

What to Ask to a Peer: Ontolgoy-based Query Reformulation. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2004)

Logical Foundations of Peer-To-Peer Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (PODS, 2004)

Query Reformulation over Ontology-based Peers. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (SEBD, 2004)

: A Tool for Automatic Composition ofServices Based on Logics of Programs. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (TES, 2004)

On the Semantics of Deliberation in Indigolog - from Theory to Implementation. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Ann. Math. Artif. Intell., 2004)

Data integration under integrity constraints. - Andrea Calì; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (Inf. Syst., 2004)

QuOnto: Querying Ontologies. - Andrea Acciarri; Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Mattia Palmieri; Riccardo Rosati 001 (AAAI, 2005)

DL-Lite: Tractable Description Logics for Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (AAAI, 2005)

Modeling Data & Processes for Service Specifications in Colombo. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Maurizio Lenzerini; Massimo Mecella (EMOI-INTEROP, 2005)

Composition of Services with Nondeterministic Observable Behavior. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Massimo Mecella (ICSOC, 2005)

Tailoring OWL for Data Intensive Ontologies. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (OWLED, 2005)

Automatic Composition of Web Services in Colombo. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Massimo Mecella (SEBD, 2005)

Efficiently Managing Data Intensive Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (SWAP, 2005)

Automatic Composition of Transition-based Semantic Web Services with Messaging. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Massimo Mecella (VLDB, 2005)

Reasoning on UML class diagrams. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo (Artif. Intell., 2005)

Data Integration: A Logic-Based Perspective. - Diego Calvanese; Giuseppe De Giacomo (AI Mag., 2005)

Conjunctive Query Containment and Answering under Description Logics Constraints - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (CoRR, 2005)

Automatic Service Composition Based on Behavioral Descriptions. - Daniela Berardi; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella (Int. J. Cooperative Inf. Syst., 2005)

Decidable containment of recursive queries. - Diego Calvanese; Giuseppe De Giacomo; Moshe Y. Vardi (Theor. Comput. Sci., 2005)

Automatic Web Service Composition. - Giuseppe De Giacomo; Massimo Mecella (IEEE SCC, 2006)

On the Update of Description Logic Ontologies at the Instance Level. - Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (AAAI, 2006)

Epistemic First-order Queries over Description Logic Knowledge Bases. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2006)

ComposingWeb Services with Nondeterministic Behavior. - Daniela Berardi; Giuseppe De Giacomo; Massimo Mecella; Diego Calvanese (ICWS, 2006)

On the Limits of Planning over Belief States under Strict Uncertainty. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (KR, 2006)

Linking Data to Ontologies: The Description Logic DL-Lite_A. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (OWLED, 2006)

Automatic web services composition in trustaware communities. - Fahima Cheikh; Giuseppe De Giacomo; Massimo Mecella (SWS, 2006)

On the Approximation of Instance Level Update and Erasure in Description Logics. - Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (AAAI, 2007)

Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. - Sebastian Sardiña; Fabio Patrizi; Giuseppe De Giacomo (AAAI, 2007)

Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. - Massimiliano de Leoni; Massimo Mecella; Giuseppe De Giacomo (BPM, 2007)

MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Domenico Lembo; Antonella Poggi; Riccardo Rosati 001 (Description Logics, 2007)

Actions and Programs over Description Logic Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2007)

AutomaticWorkflows Composition of Mobile Services. - Giuseppe De Giacomo; Massimiliano de Leoni; Massimo Mecella; Fabio Patrizi (ICWS, 2007)

EQL-Lite: Effective First-Order Query Processing in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (IJCAI, 2007)

Automatic Synthesis of New Behaviors from a Library of Available Behaviors. - Giuseppe De Giacomo; Sebastian Sardiña (IJCAI, 2007)

Can OWL Model Football Leagues? - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (OWLED, 2007)

On reconciling data exchange, data integration, and peer data management. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (PODS, 2007)

Ontology-based Database Access. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (SEBD, 2007)

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Autom. Reason., 2007)

View-based query processing: On the relationship between rewriting, answering and losslessness. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (Theor. Comput. Sci., 2007)

Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. - Sebastian Sardiña; Giuseppe De Giacomo (ICAPS, 2008)

A model of contingent planning for agent programming languages. - Yves Lespérance; Giuseppe De Giacomo; Atalay Nafi Ozgovde (AAMAS (1), 2008)

Towards Higher-Order DL-Lite. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2008)

Path-Based Identification Constraints in Description Logics. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2008)

View-Based Query Answering over Description Logic Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (KR, 2008)

Behavior Composition in the Presence of Failure. - Sebastian Sardiña; Fabio Patrizi; Giuseppe De Giacomo (KR, 2008)

Data Integration throughDL-LiteA Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi (SDKB, 2008)

Automatic Service Composition and Synthesis: the Roman Model. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Massimo Mecella; Fabio Patrizi (IEEE Data Eng. Bull., 2008)

Automatic Service Composition via Simulation. - Daniela Berardi; Fahima Cheikh; Giuseppe De Giacomo; Fabio Patrizi (Int. J. Found. Comput. Sci., 2008)

Inconsistency tolerance in P2P data integration: An epistemic logic approach. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Inf. Syst., 2008)

Linking Data to Ontologies. - Antonella Poggi; Domenico Lembo; Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Data Semant., 2008)

Conjunctive query containment and answering under description logic constraints. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini (ACM Trans. Comput. Log., 2008)

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque; Sebastian Sardiña (Multi-Agent Programming, Languages, Tools and Applications, 2009)

Using OWL in Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001; Marco Ruzzi (Semantic Web Information Management, 2009)

Composition of Partially Observable Services Exporting their Behaviour. - Giuseppe De Giacomo; Riccardo De Masellis; Fabio Patrizi (ICAPS, 2009)

Conceptual Modeling for Data Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Conceptual Modeling: Foundations and Applications, 2009)

An Automata-Theoretic Approach to Regular XPath. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (DBPL, 2009)

On Higher-Order Description Logics. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2009)

Artifact-Centric Workflow Dominance. - Diego Calvanese; Giuseppe De Giacomo; Richard Hull 001; Jianwen Su (ICSOC/ServiceWave, 2009)

Composition of ConGolog Programs. - Sebastian Sardiña; Giuseppe De Giacomo (IJCAI, 2009)

Ontologies and Databases: The DL-Lite Approach. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Mariano Rodriguez-Muro; Riccardo Rosati 001 (Reasoning Web, 2009)

On-line adaptation of sequential mobile processes running concurrently. - Massimiliano de Leoni; Giuseppe De Giacomo; Yves Lespérance; Massimo Mecella (SAC, 2009)

Automated Composition of Nondeterministic Stateful Services. - Giuseppe De Giacomo; Fabio Patrizi (WS-FM, 2009)

On Instance-level Update and Erasure in Description Logic Ontologies. - Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (J. Log. Comput., 2009)

Node Selection Query Languages for Trees. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (AAAI, 2010)

Two-Player Game Structures for Generalized Planning and Agent Composition. - Giuseppe De Giacomo; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (AAAI, 2010)

Agent composition synthesis based on ATL. - Giuseppe De Giacomo; Paolo Felli (AAMAS, 2010)

Agent programming via planning programs. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (AAMAS, 2010)

Conjunctive Artifact-Centric Services. - Piero Cangialosi; Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (ICSOC, 2010)

Situation Calculus Based Programs for Representing and Reasoning about Game Structures. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (KR, 2010)

Generalized Planning with Loops under Strong Fairness Constraints. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (KR, 2010)

View Synthesis from Schema Mappings - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (CoRR, 2010)

Higher-Order Description Logics for Domain Metamodeling. - Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (AAAI, 2011)

Foundations of Relational Artifacts Verification. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (BPM, 2011)

Verification of Conjunctive-Query Based Semantic Artifacts. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis (Description Logics, 2011)

Mapping Data to Higher-Order Description Logic Knowledge Bases. - Floriana Di Pinto; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logics, 2011)

Simplifying schema mappings. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (ICDT, 2011)

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (IJCAI, 2011)

Generalized Planning: Synthesizing Plans that Work for Multiple Environments. - Yuxiao Hu 002; Giuseppe De Giacomo (IJCAI, 2011)

Computing Infinite Plans for LTL Goals Using a Classical Planner. - Fabio Patrizi; Nir Lipovetzky; Giuseppe De Giacomo; Hector Geffner (IJCAI, 2011)

The MASTRO system for ontology-based data access. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Mariano Rodriguez-Muro; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (Semantic Web, 2011)

Bounded Situation Calculus Action Theories and Decidable Verification. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (CogRob@AAAI, 2012)

Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. - Floriana Di Pinto; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (AAAI, 2012)

On supervising agents in situation-determined ConGolog. - Giuseppe De Giacomo; Yves Lespérance; Christian J. Muise (AAMAS, 2012)

Verification of Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli; Marco Montali (ECAI, 2012)

Semantically-Governed Data-Aware Processes. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Marco Montali; Ario Santoso (KiBP@KR, 2012)

Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. - Paolo Felli; Giuseppe De Giacomo; Alessio Lomuscio (KR, 2012)

MASTRO: A Reasoner for Effective Ontology-Based Data Access. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (ORE, 2012)

Goal-Based Composition of Stateful Services for Smart Homes. - Giuseppe De Giacomo; Claudio Di Ciccio; Paolo Felli; Yuxiao Hu 002; Massimo Mecella (OTM Conferences (1), 2012)

Mastro: Ontology-Based Data Access at Work (Extended Abstract). - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Domenico Fabio Savo (OTM Workshops, 2012)

Ontology-Based Governance of Data-Aware Processes. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Marco Montali; Ario Santoso (RR, 2012)

Verification of Conjunctive Artifact-Centric Services. - Giuseppe De Giacomo; Riccardo De Masellis; Riccardo Rosati 001 (Int. J. Cooperative Inf. Syst., 2012)

View-based query answering in Description Logics: Semantics and complexity. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Riccardo Rosati 001 (J. Comput. Syst. Sci., 2012)

Query Processing under GLAV Mappings for Relational and Graph Databases. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (Proc. VLDB Endow., 2012)

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (AIBP@AI*IA, 2013)

A Generic Technique for Synthesizing Bounded Finite-State Controllers. - Yuxiao Hu 002; Giuseppe De Giacomo (ICAPS, 2013)

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (Description Logics, 2013)

Bounded Epistemic Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (IJCAI, 2013)

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. - Giuseppe De Giacomo; Moshe Y. Vardi (IJCAI, 2013)

Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. - Nitin Yadav; Paolo Felli; Giuseppe De Giacomo; Sebastian Sardiña (IJCAI, 2013)

Foundations of data-aware process analysis: a database theory perspective. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali (PODS, 2013)

Verification of relational data-centric dynamic systems with external services. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Alin Deutsch; Marco Montali (PODS, 2013)

Verification and Synthesis in Description Logic Based Dynamic Systems. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (RR, 2013)

Data complexity of query answering in description logics. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Artif. Intell., 2013)

Automatic behavior composition synthesis. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2013)

Finite model reasoning on UML class diagrams via constraint programming. - Marco Cadoli; Diego Calvanese; Giuseppe De Giacomo; Toni Mancini (Intelligenza Artificiale, 2013)

Description Logic Knowledge and Action Bases. - Babak Bagheri Hariri; Diego Calvanese; Marco Montali; Giuseppe De Giacomo; Riccardo De Masellis; Paolo Felli (J. Artif. Intell. Res., 2013)

On simplification of schema mappings. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (J. Comput. Syst. Sci., 2013)

MASTRO STUDIO: Managing Ontology-Based Data Access applications. - Cristina Civili; Marco Console; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Lorenzo Lepore; Riccardo Mancini; Antonella Poggi; Riccardo Rosati 001; Marco Ruzzi; Valerio Santarelli; Domenico Fabio Savo (Proc. VLDB Endow., 2013)

Automated Service Composition Based on Behaviors: The Roman Model. - Giuseppe De Giacomo; Massimo Mecella; Fabio Patrizi (Web Services Foundations, 2014)

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Montali (AAAI, 2014)

Verification of Human Driven Data-Centric Dynamic Systems. - Babak Bagheri Hariri; Diego Calvanese; Giuseppe De Giacomo; Alin Deutsch; Marco Montali (AAAI Spring Symposia, 2014)

Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. - Giuseppe De Giacomo; Fabio Patrizi; Sebastian Sardiña (ICAPS, 2014)

Verification of data-aware commitment-based multiagent system. - Marco Montali; Diego Calvanese; Giuseppe De Giacomo (AAMAS, 2014)

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (BPM, 2014)

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. - Marco Montali; Diego Calvanese; Giuseppe De Giacomo (CILC, 2014)

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (ECAI, 2014)

LTLf and LDLf Monitoring: A Technical Report. - Giuseppe De Giacomo; Riccardo De Masellis; Marco Grasso; Fabrizio Maria Maggi; Marco Montali (CoRR, 2014)

Knowledge Representation and Reasoning: What's Hot. - Chitta Baral; Giuseppe De Giacomo (AAAI, 2015)

Synchronous Games in the Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (AAMAS, 2015)

Declarative Process Modeling in BPMN. - Giuseppe De Giacomo; Marlon Dumas; Fabrizio Maria Maggi; Marco Montali (CAiSE, 2015)

Data Complexity of Query Answering in Description Logics (Extended Abstract). - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (IJCAI, 2015)

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. - Diego Calvanese; Giuseppe De Giacomo; Mikhail Soutchanski (IJCAI, 2015)

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. - Diego Calvanese; Marco Montali; Fabio Patrizi; Giuseppe De Giacomo (IJCAI, 2015)

Synthesis for LTL and LDL on Finite Traces. - Giuseppe De Giacomo; Moshe Y. Vardi (IJCAI, 2015)

Adding DL-Lite TBoxes to Proper Knowledge Bases. - Giuseppe De Giacomo; Hector J. Levesque (ISWC (1), 2015)

Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). - Giuseppe De Giacomo; Valsamis Ntouskos; Fabio Patrizi; Stavros Vassos; Davide Aversa (SOCA, 2015)

Temporal Reasoning in Bounded Situation Calculus. - Giuseppe De Giacomo (TIME, 2015)

Verifying ConGolog Programs on Bounded Situation Calculus Theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Sebastian Sardiña (AAAI, 2016)

Computing Trace Alignment against Declarative Process Models through Planning. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Sebastian Sardiña (ICAPS, 2016)

Situation Calculus Game Structures and GDL. - Giuseppe De Giacomo; Yves Lespérance; Adrian R. Pearce (ECAI, 2016)

Online Agent Supervision in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2016)

Imperfect-Information Games and Generalized Planning. - Giuseppe De Giacomo; Aniello Murano; Sasha Rubin; Antonio Di Stasio 001 (IJCAI, 2016)

LTLf and LDLf Synthesis under Partial Observability. - Giuseppe De Giacomo; Moshe Y. Vardi (IJCAI, 2016)

Online Situation-Determined Agents and their Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (KR, 2016)

Regular Open APIs. - Diego Calvanese; Giuseppe De Giacomo; Maurizio Lenzerini; Moshe Y. Vardi (KR, 2016)

On First-Order μ-Calculus over Situation Calculus Action Theories. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (KR, 2016)

Updating DL-Lite Ontologies Through First-Order Queries. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (ISWC (1), 2016)

Agent planning programs. - Giuseppe De Giacomo; Alfonso Emilio Gerevini; Fabio Patrizi; Alessandro Saetti; Sebastian Sardiña (Artif. Intell., 2016)

Bounded situation calculus action theories. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi (Artif. Intell., 2016)

Progression and Verification of Situation Calculus Agents with Bounded Beliefs. - Giuseppe De Giacomo; Yves Lespérance; Fabio Patrizi; Stavros Vassos (Stud Logica, 2016)

Abstraction in Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAAI, 2017)

On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment. - Giuseppe De Giacomo; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (AAAI, 2017)

Service Composition in Stochastic Settings. - Ronen I. Brafman; Giuseppe De Giacomo; Massimo Mecella; Sebastian Sardiña (AI*IA, 2017)

Linking Data and BPMN Processes to Achieve Executable Models. - Giuseppe De Giacomo; Xavier Oriol; Montserrat Estañol; Ernest Teniente (CAiSE, 2017)

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. - Blai Bonet; Giuseppe De Giacomo; Hector Geffner; Sasha Rubin (IJCAI, 2017)

Querying OWL 2 QL ontologies under the SPARQL Metamodeling Semantics Entailment Regime. - Gianluca Cima; Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi (SEBD, 2017)

Practical Update Management in Ontology-Based Data Access. - Giuseppe De Giacomo; Domenico Lembo; Xavier Oriol; Domenico Fabio Savo; Ernest Teniente (ISWC (1), 2017)

On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. - Gianluca Cima; Giuseppe De Giacomo; Maurizio Lenzerini; Antonella Poggi (WIMS, 2017)

Specifying Non-Markovian Rewards in MDPs Using LDL on Finite Traces (Preliminary Version). - Ronen I. Brafman; Giuseppe De Giacomo; Fabio Patrizi (CoRR, 2017)

Using Ontologies for Semantic Data Integration. - Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Antonella Poggi; Riccardo Rosati 001 (A Comprehensive Guide Through the Italian Database Research, 2018)

LTLf/LDLf Non-Markovian Rewards. - Ronen I. Brafman; Giuseppe De Giacomo; Fabio Patrizi (AAAI, 2018)

Synthesis of Orchestrations of Transducers for Manufacturing. - Giuseppe De Giacomo; Moshe Y. Vardi; Paolo Felli; Natasha Alechina; Brian Logan 001 (AAAI, 2018)

Hierarchical Agent Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAMAS, 2018)

Interestingness of Traces in Declarative Process Mining: The Janus LTLp _f Approach. - Alessio Cecconi; Claudio Di Ciccio; Giuseppe De Giacomo; Jan Mendling (BPM, 2018)

Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. - Manuel Namici; Giuseppe De Giacomo (Description Logics, 2018)

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2018)

Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. - Giuseppe De Giacomo; Sasha Rubin (IJCAI, 2018)

Synthesis under Assumptions. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (KR, 2018)

Situation Calculus for Synthesis of Manufacturing Controllers. - Giuseppe De Giacomo; Brian Logan 001; Paolo Felli; Fabio Patrizi; Sebastian Sardiña (CoRR, 2018)

Reinforcement Learning for LTLf/LDLf Goals. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (CoRR, 2018)

Planning and Synthesis Under Assumptions. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (CoRR, 2018)

First-order μ-calculus over generic transition systems and applications to the situation calculus. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (Inf. Comput., 2018)

Ontology-Based Data Access and Integration. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

WhiteMech: White-Box Self-Programming Mechanisms. - Giuseppe De Giacomo (ICCI*CC, 2019)

Unbounded Orchestrations of Transducers for Manufacturing. - Natasha Alechina; Tomás Brázdil; Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Moshe Y. Vardi (AAAI, 2019)

Hybrid Temporal Situation Calculus. - Vitaliy Batusov; Giuseppe De Giacomo; Mikhail Soutchanski (Canadian AI, 2019)

Planning under LTL Environment Specifications. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (ICAPS, 2019)

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (ICAPS, 2019)

Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. - Ronen I. Brafman; Giuseppe De Giacomo (AAMAS, 2019)

The What-To-Ask Problem for Ontology-Based Peers. - Diego Calvanese; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Description Logic, Theory Combination, and All That, 2019)

Automatic Business Process Model Extension to Repair Constraint Violations. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (ICSOC, 2019)

Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. - Ronen I. Brafman; Giuseppe De Giacomo (IJCAI, 2019)

Regular Decision Processes: A Model for Non-Markovian Domains. - Ronen I. Brafman; Giuseppe De Giacomo (IJCAI, 2019)

Acquiring Ontology Axioms through Mappings to Data Sources. - Floriana Di Pinto; Giuseppe De Giacomo; Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati 001 (Future Internet, 2019)

Restraining Bolts for Reinforcement Learning Agents. - Giuseppe De Giacomo; Luca Iocchi; Marco Favorito; Fabio Patrizi (AAAI, 2020)

ElGolog: A High-Level Programming Language with Memory of the Execution History. - Giuseppe De Giacomo; Yves Lespérance; Eugenia Ternovska (AAAI, 2020)

LTLƒ Synthesis with Fairness and Stability Assumptions. - Shufang Zhu 001; Giuseppe De Giacomo; Geguang Pu; Moshe Y. Vardi (AAAI, 2020)

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (ICAPS, 2020)

Imitation Learning over Heterogeneous Agents with Restraining Bolts. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (ICAPS, 2020)

Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science. - Giuseppe De Giacomo; Yves Lespérance (AAMAS, 2020)

Extending DL-LiteR TBoxes with View Definitions. - Manuel Namici; Giuseppe De Giacomo; Maurizio Lenzerini (Description Logics, 2020)

A Temporal Logic-Based Measurement Framework for Process Mining. - Alessio Cecconi; Giuseppe De Giacomo; Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (ICPM, 2020)

Synthesizing strategies under expected and exceptional environment behaviors. - Benjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2020)

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. - Giuseppe De Giacomo; Antonio Di Stasio 001; Francesco Fuggitti; Sasha Rubin (IJCAI, 2020)

High-level Programming via Generalized Planning and LTL Synthesis. - Blai Bonet; Giuseppe De Giacomo; Hector Geffner; Fabio Patrizi; Sasha Rubin (KR, 2020)

Temporal Logic Monitoring Rewards via Transducers. - Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi; Alessandro Ronca (KR, 2020)

Nondeterministic Strategies and their Refinement in Strategy Logic. - Giuseppe De Giacomo; Bastien Maubert; Aniello Murano (KR, 2020)

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. - Giuseppe De Giacomo; Antonio Di Stasio 001; Moshe Y. Vardi; Shufang Zhu 001 (KR, 2020)

Non-terminating processes in the situation calculus. - Giuseppe De Giacomo; Eugenia Ternovska; Ray Reiter (Ann. Math. Artif. Intell., 2020)

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. - Giuseppe De Giacomo; Marco Favorito (ICAPS, 2021)

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems. - Giuseppe De Giacomo; Maurizio Lenzerini; Francesco Leotta; Massimo Mecella (Next-Gen Digital Services, 2021)

Digital Twins Composition via Markov Decision Processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (ITBPM@BPM, 2021)

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (IJCAI, 2021)

Intensional and Extensional Views in DL-Lite Ontologies. - Marco Console; Giuseppe De Giacomo; Maurizio Lenzerini; Manuel Namici (IJCAI, 2021)

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. - Giuseppe De Giacomo; Paolo Felli; Marco Montali; Giuseppe Perelli (IJCAI, 2021)

Efficient PAC Reinforcement Learning in Regular Decision Processes. - Alessandro Ronca; Giuseppe De Giacomo (IJCAI, 2021)

Synthesizing Best-effort Strategies under Multiple Environment Specifications. - Benjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin (KR, 2021)

Synthesis with Mandatory Stop Actions. - Giuseppe De Giacomo; Antonio Di Stasio 001; Giuseppe Perelli; Shufang Zhu 001 (KR, 2021)

The Nondeterministic Situation Calculus. - Giuseppe De Giacomo; Yves Lespérance (KR, 2021)

Timed Trace Alignment with Metric Temporal Logic over Finite Traces. - Giuseppe De Giacomo; Aniello Murano; Fabio Patrizi; Giuseppe Perelli (KR, 2021)

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models. - Ramon Fraga Pereira; Francesco Fuggitti; Giuseppe De Giacomo (CoRR, 2021)

Embedding reactive behavior into artifact-centric business process models. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (Future Gener. Comput. Syst., 2021)

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (J. Artif. Intell. Res., 2021)

Iterative Depth-First Search for FOND Planning. - Ramon Fraga Pereira; André Grahl Pereira; Frederico Messa; Giuseppe De Giacomo (ICAPS, 2022)

Synthesis of Maximally Permissive Strategies for LTLf Specifications. - Shufang Zhu 001; Giuseppe De Giacomo (IJCAI, 2022)

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (IJCAI, 2022)

Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (IJCAI, 2022)

Verification of Generic, Relational Transition Systems. - Diego Calvanese; Giuseppe De Giacomo; Marco Montali; Fabio Patrizi (PMAI@IJCAI, 2022)

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (IJCAI, 2022)

Modeling resilient cyber-physical processes and their composition from digital twins via Markov Decision Processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (PMAI@IJCAI, 2022)

LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work. - Giuseppe De Giacomo; Marco Favorito; Jianwen Li; Moshe Y. Vardi; Shengping Xiao; Shufang Zhu 001 (IJCAI, 2022)

Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. - Alessandro Ronca; Gabriel Paludo Licks; Giuseppe De Giacomo (IJCAI, 2022)

Act for Your Duties but Maintain Your Rights. - Shufang Zhu 001; Giuseppe De Giacomo (KR, 2022)

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. - Natasha Alechina; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (KR, 2022)

Grounding LTLf Specifications in Images. - Elena Umili; Roberto Capobianco; Giuseppe De Giacomo (NeSy, 2022)

Compositional Safety LTL Synthesis. - Suguman Bansal; Giuseppe De Giacomo; Antonio Di Stasio 001; Yong Li 031; Moshe Y. Vardi; Shufang Zhu 001 (VSTTE, 2022)

Situation calculus for controller synthesis in manufacturing systems with first-order state representation. - Giuseppe De Giacomo; Paolo Felli; Brian Logan 001; Fabio Patrizi; Sebastian Sardiña (Artif. Intell., 2022)

Augmented Business Process Management Systems: A Research Manifesto. - 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; et al. (CoRR, 2022)

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning. - Ramon Fraga Pereira; André Grahl Pereira; Frederico Messa; Giuseppe De Giacomo (CoRR, 2022)

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning. - Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti (CoRR, 2022)

Graphol: A Graphical Language for Ontology Modeling Equivalent to OWL 2. - Domenico Lembo; Valerio Santarelli; Domenico Fabio Savo; Giuseppe De Giacomo (Future Internet, 2022)

Measuring the interestingness of temporal logic behavioral specifications in process mining. - Alessio Cecconi; Giuseppe De Giacomo; Claudio Di Ciccio; Fabrizio Maria Maggi; Jan Mendling (Inf. Syst., 2022)

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces. - Giuseppe De Giacomo; Riccardo De Masellis; Fabrizio Maria Maggi; Marco Montali (ACM Trans. Softw. Eng. Methodol., 2022)

Finite-trace and generalized-reactivity specifications in temporal synthesis. - Giuseppe De Giacomo; Antonio Di Stasio 001; Lucas M. Tabajara; Moshe Y. Vardi; Shufang Zhu 001 (Formal Methods Syst. Des., 2022)

Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. - Roberto Cipollone 002; Giuseppe De Giacomo; Marco Favorito; Luca Iocchi; Fabio Patrizi (AAAI, 2023)

Reactive Synthesis of Dominant Strategies. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (AAAI, 2023)

Automata Cascades: Expressivity and Sample Complexity. - Alessandro Ronca; Nadezda Alexandrovna Knorozova; Giuseppe De Giacomo (AAAI, 2023)

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic. - Luigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala (ICAPS, 2023)

AIDA: A Tool for Resiliency in Smart Manufacturing. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Flavia Monti; Luciana Silo (CAiSE Forum, 2023)

FOND Planning for Pure-Past Linear Temporal Logic Goals. - Luigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala (ECAI, 2023)

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (ECAI, 2023)

sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (EUMAS, 2023)

Symbolic sc ltlf Best-Effort Synthesis. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (EUMAS, 2023)

Abstraction of Nondeterministic Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2023)

Towards ILP-Based LTL f Passive Learning. - Antonio Ielo; Mark Law; Valeria Fionda; Francesco Ricca; Giuseppe De Giacomo; Alessandra Russo (ILP, 2023)

Grounding LTLf Specifications in Image Sequences. - Elena Umili; Roberto Capobianco; Giuseppe De Giacomo (KR, 2023)

Stochastic Best-Effort Strategies for Borel Goals. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (LICS, 2023)

Clock Specifications for Temporal Tasks in Planning and Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (OVERLAY@AI*IA, 2023)

Composition of Nondeterministic Services for LTLf Task Specification. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (OVERLAY@AI*IA, 2023)

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2023)

Symbolic LTLf Best-Effort Synthesis. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2023)

LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2023)

Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (CoRR, 2023)

Mimicking Behaviors in Separated Domains. - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (J. Artif. Intell. Res., 2023)

AI-augmented Business Process Management Systems: A Research Manifesto. - 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; et al. (ACM Trans. Manag. Inf. Syst., 2023)

A tool for declarative Trace Alignment via automated planning. - Giuseppe De Giacomo; Francesco Fuggitti; Fabrizio Maria Maggi; Andrea Marrella; Fabio Patrizi (Softw. Impacts, 2023)

Digital twin composition in smart manufacturing via Markov decision processes. - Giuseppe De Giacomo; Marco Favorito; Francesco Leotta; Massimo Mecella; Luciana Silo (Comput. Ind., 2023)

Mimicking Behaviors in Separated Domains (Abstract Reprint). - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (AAAI, 2024)

Abstraction of Situation Calculus Concurrent Game Structures. - Yves Lespérance; Giuseppe De Giacomo; Maryam Rostamigiv; Shakil M. Khan 001 (AAAI, 2024)

Pure-Past Action Masking. - Giovanni Varricchione; Natasha Alechina; Mehdi Dastani; Giuseppe De Giacomo; Brian Logan 001; Giuseppe Perelli (AAAI, 2024)

Regular Clocks for Temporal Task Specifications in Reinforcement Learning. - Giuseppe De Giacomo; Marco Favorito; Fabio Patrizi (AI*IA, 2024)

Shielded FOND: Planning with Safety Constraints in Pure-Past Linear Temporal Logic. - Luigi Bonassi; Giuseppe De Giacomo; Alfonso Emilio Gerevini; Enrico Scala (ECAI, 2024)

Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. - Gabriel Paludo Licks; Fabio Patrizi; Giuseppe De Giacomo (ECAI, 2024)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

Composition of Stochastic Services for LTLf Goal Specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (FoIKS, 2024)

A Declarative Framework for Temporal Reasoning in Green-Aware Applications. - Giuseppe De Giacomo; Valeria Fionda; Nicola Gigante; Antonio Ielo; Francesco Ricca; Alessandra Russo (GreenAI@AI*IA, 2024)

Planning with Object Creation. - Augusto B. Corrêa; Giuseppe De Giacomo; Malte Helmert; Sasha Rubin (ICAPS, 2024)

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. - Benjamin Aminof; Giuseppe De Giacomo; Gianmarco Parretti; Sasha Rubin (IJCAI, 2024)

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract). - Luigi Bonassi; Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti; Alfonso Emilio Gerevini; Enrico Scala (IJCAI, 2024)

Lifted Planning: Recent Advances in Planning Using First-Order Representations. - Augusto B. Corrêa; Giuseppe De Giacomo (IJCAI, 2024)

The Trembling-Hand Problem for LTLf Planning. - Pian Yu; Shufang Zhu 001; Giuseppe De Giacomo; Marta Kwiatkowska; Moshe Y. Vardi (IJCAI, 2024)

From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making. - Giuseppe De Giacomo (KoDis+CAKR+SYNERGY@KR, 2024)

Situation Calculus Temporally Lifted Abstractions for Generalized Planning - Extended Abstract. - Giuseppe De Giacomo; Yves Lespérance; Matteo Mancanelli (KoDis+CAKR+SYNERGY@KR, 2024)

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (KR, 2024)

LTLf Goal-oriented Service Composition. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (PMAI@ECAI, 2024)

Regular decision processes. - Ronen I. Brafman; Giuseppe De Giacomo (Artif. Intell., 2024)

Learning to Coordinate without Communication under Incomplete Information. - Shenghui Chen; Shufang Zhu 001; Giuseppe De Giacomo; Ufuk Topcu (CoRR, 2024)

Computational Grounding of Responsibility Attribution and Anticipation in LTLf. - Giuseppe De Giacomo; Emiliano Lorini; Timothy Parker; Gianmarco Parretti (CoRR, 2024)

Abstracting Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Moshe Y. Vardi (CoRR, 2024)

Orchestration of Services in Smart Manufacturing Through Automated Synthesis. - Flavia Monti; Luciana Silo; Marco Favorito; Giuseppe De Giacomo; Francesco Leotta; Massimo Mecella (IEEE Trans. Serv. Comput., 2024)

Temporally extended goal recognition in fully observable non-deterministic domain models. - Ramon Fraga Pereira; Francesco Fuggitti; Felipe Meneguzzi; Giuseppe De Giacomo (Appl. Intell., 2024)

Situation Calculus Temporally Lifted Abstractions for Generalized Planning. - Giuseppe De Giacomo; Yves Lespérance; Matteo Mancanelli (AAAI, 2025)

LTLf Synthesis Under Unreliable Input. - Christian Hagemeier; Giuseppe De Giacomo; Moshe Y. Vardi (AAAI, 2025)

Managing an Agent's Changing Intentions Using ltlf Synthesis. - Giuseppe De Giacomo; Yves Lespérance; Gianmarco Parretti; Fabio Patrizi; Renzo Schram (AAMAS, 2025)

Engineering an LTLf Synthesis Tool. - Alexandre Duret-Lutz; Shufang Zhu 001; Nir Piterman; Giuseppe De Giacomo; Moshe Y. Vardi (CIAA, 2025)

LTLf synthesis under environment specifications for reachability and safety properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (Inf. Comput., 2025)

Service composition for ltl task specifications. - Giuseppe De Giacomo; Marco Favorito; Luciana Silo (Inf. Syst., 2025)

Exploiting robot abstractions in episodic RL via reward shaping and heuristics. - Roberto Cipollone 002; Marco Favorito; Flavio Maiorana; Giuseppe De Giacomo; Luca Iocchi; Fabio Patrizi (Robotics Auton. Syst., 2025)

Symbolic ltlf Synthesis: A Unified Approach for Synthesizing Winning, Dominant, and Best-Effort Strategies. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (SN Comput. Sci., 2025)

LTLf Adaptive Synthesis for Multi-Tier Goals in Nondeterministic Domains. - Giuseppe De Giacomo; Gianmarco Parretti; Shufang Zhu 001 (CoRR, 2025)

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. - Giuseppe De Giacomo; Yong Li 031; Sven Schewe; Christoph Weinhuber; Pian Yu (CoRR, 2025)

Engineering an LTLf Synthesis Tool. - Alexandre Duret-Lutz; Shufang Zhu 001; Nir Piterman; Giuseppe De Giacomo; Moshe Y. Vardi (CoRR, 2025)

Best-Effort Policies for Robust Markov Decision Processes. - Alessandro Abate; Thom S. Badings; Giuseppe De Giacomo; Francesco Fabiano (CoRR, 2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. - Daniel Hausmann 001; Shufang Zhu 001; Gianmarco Parretti; Christoph Weinhuber; Giuseppe De Giacomo; Nir Piterman (CoRR, 2025)

Behavioral QLTL. - Giuseppe De Giacomo; Giuseppe Perelli (Auton. Agents Multi Agent Syst., 2025)