Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Giuseppe De Giacomo

> Home > Persons

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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/apin/PereiraFMG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/PereiraFMG24
Ramon Fraga Pereira, Francesco Fuggitti, Felipe Meneguzzi, Giuseppe De Giacomo:
Temporally extended goal recognition in fully observable non-deterministic domain models. Appl. Intell. 54(1): 470-489 (2024)
2023
[j59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cii/GiacomoFLMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/GiacomoFLMS23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GiacomoFPZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GiacomoFPZ23
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77: 1087-1112 (2023)
[j57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/simpa/GiacomoFMMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/simpa/GiacomoFMMP23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tmis/DumasFLMMRACGFGRVW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmis/DumasFLMMRACGFGRVW23
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)
2022
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoFLPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoFLPS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fi/LemboSSG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fi/LemboSSG22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GiacomoSTVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GiacomoSTVZ22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/is/CecconiGCMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/CecconiGCMM22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/GiacomoMMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/GiacomoMMM22
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)
2021
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/OriolGET21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/OriolGET21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GiacomoORS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GiacomoORS21
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)
2020
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiacomoTR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiacomoTR20
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter:
Non-terminating processes in the situation calculus. Ann. Math. Artif. Intell. 88(5-6): 623-640 (2020)
2019
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fi/PintoGLLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fi/PintoGLLR19
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)
2018
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/CalvaneseGMP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/CalvaneseGMP18
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)
2016
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoGPSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoGPSS16
Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña:
Agent planning programs. Artif. Intell. 231: 64-106 (2016)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoLP16
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded situation calculus action theories. Artif. Intell. 237: 172-203 (2016)
[j43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sLogica/GiacomoLPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GiacomoLPV16
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)
2013
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/CalvaneseGLLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/CalvaneseGLLR13
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data complexity of query answering in description logics. Artif. Intell. 195: 335-360 (2013)
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoPS13
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Automatic behavior composition synthesis. Artif. Intell. 196: 106-142 (2013)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/CadoliCGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/CadoliCGM13
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale 7(1): 57-65 (2013)
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HaririCMGMF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HaririCMGMF13
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46: 651-686 (2013)
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CalvaneseGLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CalvaneseGLV13
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
On simplification of schema mappings. J. Comput. Syst. Sci. 79(6): 816-834 (2013)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/CiviliCGLLLMPRRSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/CiviliCGLLLMPRRSS13
Cristina Civili, Marco Console, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Lorenzo Lepore, Riccardo Mancini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Valerio Santarelli, Domenico Fabio Savo:
MASTRO STUDIO: Managing Ontology-Based Data Access applications. Proc. VLDB Endow. 6(12): 1314-1317 (2013)
2012
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/GiacomoMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/GiacomoMR12
Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati:
Verification of Conjunctive Artifact-Centric Services. Int. J. Cooperative Inf. Syst. 21(2): 111-140 (2012)
[j35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CalvaneseGLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CalvaneseGLR12
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1): 26-46 (2012)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/CalvaneseGLV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/CalvaneseGLV12
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. 6(2): 61-72 (2012)
2011
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/semweb/CalvaneseGLLPRRRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/semweb/CalvaneseGLLPRRRS11
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
The MASTRO system for ontology-based data access. Semantic Web 2(1): 43-53 (2011)
2009
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GiacomoLPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GiacomoLPR09
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On Instance-level Update and Erasure in Description Logic Ontologies. J. Log. Comput. 19(5): 745-770 (2009)
2008
[j31]
- view
  - electronic edition @ computer.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/debu/CalvaneseGLMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/CalvaneseGLMP08
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi:
Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. 31(3): 18-22 (2008)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/BerardiCGP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/BerardiCGP08
Daniela Berardi, Fahima Cheikh, Giuseppe De Giacomo, Fabio Patrizi:
Automatic Service Composition via Simulation. Int. J. Found. Comput. Sci. 19(2): 429-451 (2008)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/is/CalvaneseGLLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/CalvaneseGLLR08
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. 33(4-5): 360-384 (2008)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jods/PoggiLCGLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jods/PoggiLCGLR08
Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Linking Data to Ontologies. J. Data Semant. 10: 133-173 (2008)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CalvaneseGL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CalvaneseGL08
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): 22:1-22:31 (2008)
2007
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CalvaneseGLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvaneseGLLR07
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reason. 39(3): 385-429 (2007)
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CalvaneseGLV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalvaneseGLV07
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. 371(3): 169-182 (2007)
2005
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BerardiCG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BerardiCG05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/CalvaneseG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/CalvaneseG05
Diego Calvanese, Giuseppe De Giacomo:
Data Integration: A Logic-Based Perspective. AI Mag. 26(1): 59-70 (2005)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/BerardiCGLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/BerardiCGLM05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CalvaneseGV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CalvaneseGV05
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005)
2004
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SardinaGLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SardinaGLL04
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Ann. Math. Artif. Intell. 41(2-4): 259-299 (2004)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/is/CaliCGL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/CaliCGL04
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data integration under integrity constraints. Inf. Syst. 29(2): 147-163 (2004)
2003
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmod/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmod/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Reasoning on regular path queries. SIGMOD Rec. 32(4): 83-92 (2003)
2002
[j17]
- view
  - electronic edition @ computer.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/debu/CaliCGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/CaliCGL02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25(3): 39-45 (2002)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/CalvaneseGLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/CalvaneseGLV02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64(3): 443-465 (2002)
2001
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/CalvaneseGLNR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/CalvaneseGLNR01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10(3): 237-271 (2001)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GiacomoLS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GiacomoLS01
Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña:
Incremental execution of guarded theories. ACM Trans. Comput. Log. 2(4): 495-525 (2001)
2000
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiacomoLL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiacomoLL00
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121(1-2): 109-169 (2000)
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GiacomoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GiacomoM00
Giuseppe De Giacomo, Fabio Massacci:
Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL. Inf. Comput. 162(1-2): 117-137 (2000)
1999
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChenG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChenG99
Xiao Jun Chen, Giuseppe De Giacomo:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. Artif. Intell. 107(1): 63-98 (1999)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/GiacomodCWLAMMWC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/GiacomodCWLAMMWC99
Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con:
The AAAI Fall Symposia. AI Mag. 20(3): 87-89 (1999)
[j9]
- view
  - electronic edition @ liu.se
  - no references & citations available
- export record
  dblp key:
  - journals/etai/GiacomoR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/etai/GiacomoR99
Giuseppe De Giacomo, Riccardo Rosati:
Minimal Knowledge Approach to Reasoning about Actions and Sensing. Electron. Trans. Artif. Intell. 3(C): 1-18 (1999)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/CalvaneseGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/CalvaneseGL99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9(3): 295-318 (1999)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FranconiGHMNPW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FranconiGHMNPW99
Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty:
Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9(3): 449-456 (1999)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GiacomoINR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GiacomoINR99
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
A Theory and Implementation of Cognitive Mobile Robots. J. Log. Comput. 9(5): 759-785 (1999)
[j5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/nis/CalvaneseGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nis/CalvaneseGL99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. 2(2): 253-273 (1999)
[j4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/nis/CalvaneseGR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nis/CalvaneseGR99
Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. 2(4): 413-432 (1999)
1997
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GiacomoL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GiacomoL97
Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. J. Artif. Intell. Res. 6: 87-110 (1997)
1996
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jiis/Giacomo96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiis/Giacomo96
Giuseppe De Giacomo:
Intensional Query Answering by Partial Evaluation. J. Intell. Inf. Syst. 7(3): 205-233 (1996)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Giacomo96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Giacomo96
Giuseppe De Giacomo:
Eliminating "Converse" from Converse PDL. J. Log. Lang. Inf. 5(2): 193-208 (1996)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c281]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LesperanceGR024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LesperanceGR024
Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan:
Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024: 10624-10634
[c280]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/VarricchioneADG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/VarricchioneADG24
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Pure-Past Action Masking. AAAI 2024: 21646-21655
[c279]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoFP024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoFP024
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI 2024: 22695
[c278]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/GiacomoFS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/GiacomoFS24
Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Stochastic Services for LTL_f Goal Specifications. FoIKS 2024: 298-316
2023
[c277]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AminofGR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AminofGR23
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Reactive Synthesis of Dominant Strategies. AAAI 2023: 6228-6235
[c276]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0002GFIP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0002GFIP23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/RoncaKG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/RoncaKG23
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. AAAI 2023: 9588-9595
[c274]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/BonassiGFFGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/BonassiGFFGS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/GiacomoFLMMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/GiacomoFLMMS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BonassiGFFGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BonassiGFFGS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GiacomoP023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiacomoP023
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTL_f Best-Effort Synthesis in Nondeterministic Planning Domains. ECAI 2023: 533-540
[c270]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/GiacomoP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/GiacomoP23
Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. EUMAS 2023: 133-149
[c269]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/GiacomoPZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/GiacomoPZ23
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic sc ltl_f Best-Effort Synthesis. EUMAS 2023: 228-243
[c268]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/AminofGSFRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/AminofGSFRZ23
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu:
sc ltl_f Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS 2023: 263-279
[c267]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BanihashemiGL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BanihashemiGL23
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI 2023: 3112-3122
[c266]
- view
  authority control:
- export record
  dblp key:
  - conf/ilp/IeloLFRGR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ilp/IeloLFRGR23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/UmiliCG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/UmiliCG23
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Image Sequences. KR 2023: 668-678
[c264]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AminofGRZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AminofGRZ23
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Stochastic Best-Effort Strategies for Borel Goals. LICS 2023: 1-13
[c263]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/overlay/GiacomoFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/GiacomoFS23
Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic Services for LTLf Task Specification. OVERLAY@AI*IA 2023: 73-77
[c262]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/overlay/GiacomoFP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/overlay/GiacomoFP23
Giuseppe De Giacomo, Marco Favorito, Fabio Patrizi:
Clock Specifications for Temporal Tasks in Planning and Learning. OVERLAY@AI*IA 2023: 93-98
2022
[c261]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/PereiraPMG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/PereiraPMG22
Ramon Fraga Pereira, André Grahl Pereira, Frederico Messa, Giuseppe De Giacomo:
Iterative Depth-First Search for FOND Planning. ICAPS 2022: 90-99
[c260]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGMP22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGMP22a
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96
[c259]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoFLMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoFLMS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AminofGRZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AminofGRZ22
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger:
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI 2022: 2525-2531
[c257]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CalvaneseGMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGMP22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoFLVX022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoFLVX022
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/0001G22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0001G22
Shufang Zhu, Giuseppe De Giacomo:
Synthesis of Maximally Permissive Strategies for LTLf Specifications. IJCAI 2022: 2783-2789
[c254]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/RoncaLG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/RoncaLG22
Alessandro Ronca, Gabriel Paludo Licks, Giuseppe De Giacomo:
Markov Abstractions for PAC Reinforcement Learning in Non-Markov Decision Processes. IJCAI 2022: 3408-3415
[c253]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoF0PS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoF0PS22
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]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/0001G22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/0001G22
Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. KR 2022
[c251]
- view
  - electronic edition @ kr.org
  - no references & citations available
- export record
  dblp key:
  - conf/kr/AlechinaG0P22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AlechinaG0P22
Natasha Alechina, Giuseppe De Giacomo, Brian Logan, Giuseppe Perelli:
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022
[c250]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nesy/UmiliCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nesy/UmiliCG22
Elena Umili, Roberto Capobianco, Giuseppe De Giacomo:
Grounding LTLf Specifications in Images. NeSy 2022: 45-63
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BansalGSLVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BansalGSLVZ22
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu:
Compositional Safety LTL Synthesis. VSTTE 2022: 1-19
2021
[c248]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoF21
Giuseppe De Giacomo, Marco Favorito:
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata. ICAPS 2021: 122-130
[c247]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/GiacomoLLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/GiacomoLLM21
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/bpm/GiacomoFLMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GiacomoFLMS21
Giuseppe De Giacomo, Marco Favorito, Francesco Leotta, Massimo Mecella, Luciana Silo:
Digital Twins Composition via Markov Decision Processes. ITBPM@BPM 2021: 44-49
[c245]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AminofGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AminofGR21
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI 2021: 1766-1772
[c244]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ConsoleGLN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ConsoleGLN21
Marco Console, Giuseppe De Giacomo, Maurizio Lenzerini, Manuel Namici:
Intensional and Extensional Views in DL-Lite Ontologies. IJCAI 2021: 1822-1828
[c243]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Giacomo0TV021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Giacomo0TV021
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoFMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoFMP21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/RoncaG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/RoncaG21
Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. IJCAI 2021: 2026-2032
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/AminofGLMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AminofGLMR21
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR 2021: 42-51
[c239]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoL21
Giuseppe De Giacomo, Yves Lespérance:
The Nondeterministic Situation Calculus. KR 2021: 216-226
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoMPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoMPP21
Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli:
Timed Trace Alignment with Metric Temporal Logic over Finite Traces. KR 2021: 227-236
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/Giacomo0P021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Giacomo0P021
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu:
Synthesis with Mandatory Stop Actions. KR 2021: 237-246
2020
[c236]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLT20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZhuGPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZhuGPV20
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLƒ Synthesis with Fairness and Stability Assumptions. AAAI 2020: 3088-3095
[c234]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoIFP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoIFP20
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Restraining Bolts for Reinforcement Learning Agents. AAAI 2020: 13659-13662
[c233]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/AminofGR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/AminofGR20
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS 2020: 20-28
[c232]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoFIP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoFIP20
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi:
Imitation Learning over Heterogeneous Agents with Restraining Bolts. ICAPS 2020: 517-521
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/GiacomoL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GiacomoL20
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/NamiciGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NamiciGL20
Manuel Namici, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending DL-LiteR TBoxes with View Definitions. Description Logics 2020
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/icpm/CecconiGCMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/CecconiGCMM20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AminofGLMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AminofGLMR20
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin:
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI 2020: 1674-1680
[c227]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoSFR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoSFR20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/BonetGGPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BonetGGPR20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoMM20
Giuseppe De Giacomo, Bastien Maubert, Aniello Murano:
Nondeterministic Strategies and their Refinement in Strategy Logic. KR 2020: 294-303
[c224]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoSVZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoSVZ20
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/GiacomoFIPR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoFIPR20
Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca:
Temporal Logic Monitoring Rewards via Transducers. KR 2020: 860-870
2019
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicci/Giacomo19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicci/Giacomo19
Giuseppe De Giacomo:
WhiteMech: White-Box Self-Programming Mechanisms. ICCI*CC 2019: 3
[c221]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaBGFLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaBGFLV19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ai/BatusovGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ai/BatusovGS19
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. Canadian AI 2019: 173-185
[c219]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/AminofGMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/AminofGMR19
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning under LTL Environment Specifications. ICAPS 2019: 31-39
[c218]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoIFP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoIFP19
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BrafmanG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BrafmanG19
Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: Modelling Dynamic Systems without Using Hidden Variables. AAMAS 2019: 1844-1846
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CalvaneseGLLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CalvaneseGLLR19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/OriolGET19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/OriolGET19
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC 2019: 102-118
[c214]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BrafmanG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BrafmanG19
Ronen I. Brafman, Giuseppe De Giacomo:
Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains. IJCAI 2019: 1602-1608
[c213]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BrafmanG19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BrafmanG19a
Ronen I. Brafman, Giuseppe De Giacomo:
Regular Decision Processes: A Model for Non-Markovian Domains. IJCAI 2019: 5516-5522
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BatusovGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BatusovGS19
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid temporal situation calculus. SAC 2019: 1162-1164
2018
[c211]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BrafmanGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BrafmanGP18
Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi:
LTLf/LDLf Non-Markovian Rewards. AAAI 2018: 1771-1778
[c210]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoVFAL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoVFAL18
Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan:
Synthesis of Orchestrations of Transducers for Manufacturing. AAAI 2018: 6161-6168
[c209]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/BanihashemiGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BanihashemiGL18
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Hierarchical Agent Supervision. AAMAS 2018: 1432-1440
[c208]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/CecconiCGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/CecconiCGM18
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/NamiciG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/NamiciG18
Manuel Namici, Giuseppe De Giacomo:
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. Description Logics 2018
[c206]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BanihashemiGL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BanihashemiGL18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoR18
Giuseppe De Giacomo, Sasha Rubin:
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI 2018: 4729-4735
[c204]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/AminofGMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AminofGMR18
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Synthesis under Assumptions. KR 2018: 615-616
2017
[c203]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BanihashemiGL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BanihashemiGL17
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction in Situation Calculus Action Theories. AAAI 2017: 1048-1055
[c202]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/XuLZ17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/XuLZ17a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/BrafmanGMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/BrafmanGMS17
Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña:
Service Composition in Stochastic Settings. AI*IA 2017: 159-171
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/GiacomoOET17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/GiacomoOET17
Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente:
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE 2017: 612-628
[c199]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BonetGGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BonetGGR17
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI 2017: 873-879
[c198]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CimaGLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CimaGLP17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/GiacomoLOST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GiacomoLOST17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/CimaGLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/CimaGLP17
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
2016
[c195]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoLPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLPS16
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña:
Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI 2016: 950-956
[c194]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoMMS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GiacomoLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiacomoLP16
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Game Structures and GDL. ECAI 2016: 408-416
[c192]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BanihashemiGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BanihashemiGL16
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. IJCAI 2016: 922-928
[c191]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoMRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoMRS16
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. IJCAI 2016: 1037-1043
[c190]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV16
Giuseppe De Giacomo, Moshe Y. Vardi:
LTL_f and LDL_f Synthesis under Partial Observability. IJCAI 2016: 1044-1050
[c189]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLV16
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Regular Open APIs. KR 2016: 329-338
[c188]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGMP16
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
On First-Order μ-Calculus over Situation Calculus Action Theories. KR 2016: 411-420
[c187]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BanihashemiGL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BanihashemiGL16
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Situation-Determined Agents and their Supervision. KR 2016: 517-520
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/GiacomoORS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GiacomoORS16
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BaralG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BaralG15
Chitta Baral, Giuseppe De Giacomo:
Knowledge Representation and Reasoning: What's Hot. AAAI 2015: 4316-4317
[c184]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GiacomoLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GiacomoLP15
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Synchronous Games in the Situation Calculus. AAMAS 2015: 1675-1676
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/GiacomoDMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/GiacomoDMM15
Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali:
Declarative Process Modeling in BPMN. CAiSE 2015: 84-100
[c182]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV15
Giuseppe De Giacomo, Moshe Y. Vardi:
Synthesis for LTL and LDL on Finite Traces. IJCAI 2015: 1558-1564
[c181]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGS15
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI 2015: 2840-2846
[c180]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGLLR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGLLR15
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseMPG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseMPG15
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo:
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI 2015: 4247-4253
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/GiacomoL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GiacomoL15
Giuseppe De Giacomo, Hector J. Levesque:
Adding DL-Lite TBoxes to Proper Knowledge Bases. ISWC (1) 2015: 305-321
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/soca/GiacomoNPVA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soca/GiacomoNPVA15
Giuseppe De Giacomo, Valsamis Ntouskos, Fabio Patrizi, Stavros Vassos, Davide Aversa:
Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper). SOCA 2015: 101-107
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/time/Giacomo15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Giacomo15
Giuseppe De Giacomo:
Temporal Reasoning in Bounded Situation Calculus. TIME 2015: 2
2014
[c175]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoMM14
Giuseppe De Giacomo, Riccardo De Masellis, Marco Montali:
Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI 2014: 1027-1033
[c174]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/HaririCGDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/HaririCGDM14
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia 2014
[c173]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoPS14
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. ICAPS 2014
[c172]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GiacomoLPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GiacomoLPV14
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
Progression and verification of situation calculus agents with bounded beliefs. AAMAS 2014: 141-148
[c171]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/MontaliCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/MontaliCG14
Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Verification of data-aware commitment-based multiagent system. AAMAS 2014: 157-164
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GiacomoMGMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GiacomoMGMM14
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. BPM 2014: 1-17
[c169]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/MontaliCG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/MontaliCG14
Marco Montali, Diego Calvanese, Giuseppe De Giacomo:
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC 2014: 84-98
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GiacomoLPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiacomoLPV14
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Stavros Vassos:
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. ECAI 2014: 369-374
2013
[c167]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/CalvaneseGMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CalvaneseGMP13
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA 2013: 71-80
[c166]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/HuG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/HuG13
Yuxiao Hu, Giuseppe De Giacomo:
A Generic Technique for Synthesizing Bounded Finite-State Controllers. ICAPS 2013
[c165]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGMP13
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics 2013: 573-586
[c164]
- view
- export record
  dblp key:
  - conf/ijcai/GiacomoLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoLP13
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Epistemic Situation Calculus Theories. IJCAI 2013: 846-853
[c163]
- view
- export record
  dblp key:
  - conf/ijcai/GiacomoV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoV13
Giuseppe De Giacomo, Moshe Y. Vardi:
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. IJCAI 2013: 854-860
[c162]
- view
- export record
  dblp key:
  - conf/ijcai/YadavFGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/YadavFGS13
Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña:
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. IJCAI 2013: 1176-1182
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGM13
Diego Calvanese, Giuseppe De Giacomo, Marco Montali:
Foundations of data-aware process analysis: a database theory perspective. PODS 2013: 1-12
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/HaririCGDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/HaririCGDM13
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of relational data-centric dynamic systems with external services. PODS 2013: 163-174
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/CalvaneseGMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/CalvaneseGMP13
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Synthesis in Description Logic Based Dynamic Systems. RR 2013: 50-64
2012
[c158]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLP12
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. CogRob@AAAI 2012
[c157]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/PintoGLR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/PintoGLR12
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite. AAAI 2012: 719-725
[c156]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/GiacomoLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/GiacomoLM12
Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise:
On supervising agents in situation-determined ConGolog. AAMAS 2012: 1031-1038
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/HaririCGMFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HaririCGMFM12
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali:
Verification of Description Logic Knowledge and Action Bases. ECAI 2012: 103-108
[c154]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLMS12
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Semantically-Governed Data-Aware Processes. KiBP@KR 2012: 21-32
[c153]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/FelliGL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FelliGL12
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio:
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. KR 2012
[c152]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoLP12
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. KR 2012
[c151]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ore/GiacomoLLPRRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ore/GiacomoLLPRRS12
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
MASTRO: A Reasoner for Effective Ontology-Based Data Access. ORE 2012
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/GiacomoCFHM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/GiacomoCFHM12
Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella:
Goal-Based Composition of Stateful Services for Smart Homes. OTM Conferences (1) 2012: 194-211
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/GiacomoLLPRRS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/GiacomoLLPRRS12
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo:
Mastro: Ontology-Based Data Access at Work (Extended Abstract). OTM Workshops 2012: 667-668
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/CalvaneseGLMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/CalvaneseGLMS12
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso:
Ontology-Based Governance of Data-Aware Processes. RR 2012: 25-41
2011
[c147]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLR11
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Higher-Order Description Logics for Domain Metamodeling. AAAI 2011: 183-188
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/HaririCGMF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/HaririCGMF11
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Foundations of Relational Artifacts Verification. BPM 2011: 379-395
[c145]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/HaririCGM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/HaririCGM11
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics 2011
[c144]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/PintoGLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/PintoGLR11
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGLV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGLV11
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Simplifying schema mappings. ICDT 2011: 114-125
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiacomoLL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoLL11
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. IJCAI 2011: 827-832
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/HuG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HuG11
Yuxiao Hu, Giuseppe De Giacomo:
Generalized Planning: Synthesizing Plans that Work for Multiple Environments. IJCAI 2011: 918-923
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/PatriziLGG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PatriziLGG11
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner:
Computing Infinite Plans for LTL Goals Using a Classical Planner. IJCAI 2011: 2003-2008
2010
[c139]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CalvaneseGLV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseGLV10
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. AAAI 2010: 279-284
[c138]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GiacomoFPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoFPS10
Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña:
Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI 2010: 297-302
[c137]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GiacomoPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GiacomoPS10
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Agent programming via planning programs. AAMAS 2010: 491-498
[c136]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/GiacomoF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GiacomoF10
Giuseppe De Giacomo, Paolo Felli:
Agent composition synthesis based on ATL. AAMAS 2010: 499-506
[c135]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/CangialosiGMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/CangialosiGMR10
Piero Cangialosi, Giuseppe De Giacomo, Riccardo De Masellis, Riccardo Rosati:
Conjunctive Artifact-Centric Services. ICSOC 2010: 318-333
[c134]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoLP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoLP10
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010
[c133]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoPS10
Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
Generalized Planning with Loops under Strong Fairness Constraints. KR 2010
2009
[c132]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GiacomoMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GiacomoMP09
Giuseppe De Giacomo, Riccardo De Masellis, Fabio Patrizi:
Composition of Partially Observable Services Exporting their Behaviour. ICAPS 2009
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CalvaneseGLLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CalvaneseGLLR09
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CalvaneseGLV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CalvaneseGLV09
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35
[c129]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiacomoLR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiacomoLR09
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
On Higher-Order Description Logics. Description Logics 2009
[c128]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/CalvaneseGHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/CalvaneseGHS09
Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su:
Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143
[c127]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/SardinaG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SardinaG09
Sebastian Sardiña, Giuseppe De Giacomo:
Composition of ConGolog Programs. IJCAI 2009: 904-910
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/CalvaneseGLLPRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/CalvaneseGLLPRR09
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati:
Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LeoniGLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LeoniGLM09
Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella:
On-line adaptation of sequential mobile processes running concurrently. SAC 2009: 1345-1352
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/GiacomoP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/GiacomoP09
Giuseppe De Giacomo, Fabio Patrizi:
Automated Composition of Nondeterministic Stateful Services. WS-FM 2009: 147-160
2008
[c123]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/SardinaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SardinaG08
Sebastian Sardiña, Giuseppe De Giacomo:
Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. ICAPS 2008: 304-312
[c122]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/LesperanceGO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LesperanceGO08
Yves Lespérance, Giuseppe De Giacomo, Atalay Nafi Ozgovde:
A model of contingent planning for agent programming languages. AAMAS (1) 2008: 477-484
[c121]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiacomoLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiacomoLR08
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Towards Higher-Order DL-Lite. Description Logics 2008
[c120]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLLR08
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Path-Based Identification Constraints in Description Logics. KR 2008: 231-241
[c119]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLR08
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies. KR 2008: 242-251
[c118]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/SardinaPG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SardinaPG08
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Behavior Composition in the Presence of Failure. KR 2008: 640-650
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/sdb/CalvaneseGLLPRR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdb/CalvaneseGLLPRR08
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi:
Data Integration throughDL-Lite_A Ontologies. SDKB 2008: 26-47
2007
[c116]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoLPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLPR07
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics. AAAI 2007: 403-408
[c115]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/SardinaPG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SardinaPG07
Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo:
Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. AAAI 2007: 1063-1069
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/CadoliCGM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CadoliCGM07
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini:
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/LeoniMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LeoniMG07
Massimiliano de Leoni, Massimo Mecella, Giuseppe De Giacomo:
Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring. BPM 2007: 182-197
[c112]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGLLPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGLLPR07
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics 2007
[c111]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGLR07
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. Description Logics 2007
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/GiacomoLMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/GiacomoLMP07
Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi:
AutomaticWorkflows Composition of Mobile Services. ICWS 2007: 823-830
[c109]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGLLR07
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI 2007: 274-279
[c108]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoS07
Giuseppe De Giacomo, Sebastian Sardiña:
Automatic Synthesis of New Behaviors from a Library of Available Behaviors. IJCAI 2007: 1866-1871
[c107]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/CalvaneseGLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/CalvaneseGLLR07
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Can OWL Model Football Leagues? OWLED 2007
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/GiacomoLLR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/GiacomoLLR07
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
On reconciling data exchange, data integration, and peer data management. PODS 2007: 133-142
[c105]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CalvaneseGLLPR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLLPR07
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Ontology-based Database Access. SEBD 2007: 324-331
2006
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEscc/GiacomoM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEscc/GiacomoM06
Giuseppe De Giacomo, Massimo Mecella:
Automatic Web Service Composition. IEEE SCC 2006
[c103]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoLPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoLPR06
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level. AAAI 2006: 1271-1276
[c102]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGLLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGLLR06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BerardiGMC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BerardiGMC06
Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese:
ComposingWeb Services with Nondeterministic Behavior. ICWS 2006: 909-912
[c100]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLLR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLLR06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. KR 2006: 260-270
[c99]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/SardinaGLL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SardinaGLL06
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On the Limits of Planning over Belief States under Strict Uncertainty. KR 2006: 463-471
[c98]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/CalvaneseDLLPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/CalvaneseDLLPR06
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati:
Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED 2006
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/sws/CheikhGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sws/CheikhGM06
Fahima Cheikh, Giuseppe De Giacomo, Massimo Mecella:
Automatic web services composition in trustaware communities. SWS 2006: 43-52
2005
[c96]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/CalvaneseGLLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseGLLR05
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies. AAAI 2005: 602-607
[c95]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/AcciarriCGLLPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AcciarriCGLLPR05
Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati:
QuOnto: Querying Ontologies. AAAI 2005: 1670-1671
[c94]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/BerardiCGHLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/BerardiCGHLM05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP 2005
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CalvaneseGLLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CalvaneseGLLR05
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL 2005: 90-105
[c92]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGLLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGLLR05
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Data Complexity of Query Answering in Description Logics. Description Logics 2005
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGLV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGLV05
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT 2005: 321-336
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/BerardiCGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BerardiCGM05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella:
Composition of Services with Nondeterministic Observable Behavior. ICSOC 2005: 520-526
[c89]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/owled/GiacomoLLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/owled/GiacomoLLR05
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies. OWLED 2005
[c88]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/BerardiCGHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/BerardiCGHM05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Web Services in Colombo. SEBD 2005: 8-15
[c87]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/swap/CalvaneseGLLR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/swap/CalvaneseGLLR05
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies. SWAP 2005
[c86]
- view
- export record
  dblp key:
  - conf/vldb/BerardiCGHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vldb/BerardiCGHM05
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella:
Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB 2005: 613-624
2004
[c85]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoM04
Giuseppe De Giacomo, Toni Mancini:
Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI 2004: 245-256
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SardinaGLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SardinaGLL04
Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
On Ability to Autonomously Execute Agent Programs with Sensing. AAMAS 2004: 1522-1523
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CadoliCG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CadoliCG04
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo:
Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004
[c82]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGLRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGLRV04
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icsnw/CalvaneseGLRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsnw/CalvaneseGLRV04
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW 2004: 144-157
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BerardiGLMC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BerardiGLMC04
Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese:
Synthesis of underspecified composite e-services based on automated reasoning. ICSOC 2004: 105-114
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/iqis/GiacomoLLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iqis/GiacomoLLR04
Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Tackling Inconsistencies in Data Integration through Source Preferences. IQIS 2004: 27-34
[c78]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLLR04
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR 2004: 469-478
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLR04
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration. PODS 2004: 241-251
[c76]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CalvaneseGLLR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLLR04
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Query Reformulation over Ontology-based Peers. SEBD 2004: 418-425
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/tes/BerardiCGLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tes/BerardiCGLM04
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES 2004: 80-94
2003
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CaliCGLNV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CaliCGLNV03
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/dbisp2p/CalvaneseDGLR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbisp2p/CalvaneseDGLR03
Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Semantic Data Integration in P2P Systems. DBISP2P 2003: 77-90
[c72]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BerardiCG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BerardiCG03
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003
[c71]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/BerardiCGLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/BerardiCGLM03
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning. Description Logics 2003
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icdt/CalvaneseGV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdt/CalvaneseGV03
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Decidable Containment of Recursive Queries. ICDT 2003: 327-342
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/BerardiCGLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/BerardiCGLM03
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior. ICSOC 2003: 43-58
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-based query containment. PODS 2003: 56-67
[c67]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CalvaneseGLV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLV03
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Containment Using Views. SEBD 2003: 467-474
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/wes/BerardiCGLM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wes/BerardiCGLM03
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella:
A Foundational Vision of e-Services. WES 2003: 28-40
2002
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CalvaneseGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CalvaneseGL02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CaliCGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CaliCGL02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Data Integration under Integrity Constraints. CAiSE 2002: 262-279
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
2ATAs make DLs easy. Description Logics 2002
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/er/CaliCGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/CaliCGL02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems. ER 2002: 338-350
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/CaliCGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/CaliCGL02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002: 503-513
[c60]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGV02
Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories. KR 2002: 593-602
[c59]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoLLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoLLS02
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. KR 2002: 603-614
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CalvaneseGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CalvaneseGL02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV02
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Lossless Regular Views. PODS 2002: 247-258
[c56]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CaliCGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CaliCGL02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002: 161-168
[c55]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CaliCGLNV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CaliCGLNV02
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola:
IBIS: Data Integration at Work. SEBD 2002: 291-298
2001
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/dbpl/CalvaneseGLV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbpl/CalvaneseGLV01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001: 40-61
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies. Description Logics 2001
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/er/CaliCGL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/CaliCGL01
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas. ER 2001: 270-284
[c51]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGL01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001: 155-160
[c50]
- view
  - electronic edition @ semanticweb.org
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/CalvaneseGL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CalvaneseGL01
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. SWWS 2001: 303-316
[c49]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/semweb/CalvaneseGL01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CalvaneseGL01a
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
A Framework for Ontology Integration. The Emerging Semantic Web 2001
2000
[c48]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/CalvaneseGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseGL00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000: 386-391
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cia/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cia/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is Query Rewriting? CIA 2000: 51-59
[c46]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Keys for Free in Description Logics. Description Logics 2000: 79-88
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Answering Regular Path Queries Using Views. ICDE 2000: 389-398
[c44]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse. KR 2000: 176-185
[c43]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/krdb/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
What is View-Based Query Rewriting? KRDB 2000: 17-27
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV00
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000: 58-66
1999
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CalvaneseGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CalvaneseGL99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dmdw/CalvaneseGLNR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dmdw/CalvaneseGLNR99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999: 16
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/GiacomoV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/GiacomoV99
Giuseppe De Giacomo, Moshe Y. Vardi:
Automata-Theoretic Approach to Planning for Temporally Extended Goals. ECP 1999: 226-238
[c37]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/CalvaneseGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CalvaneseGL99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999: 84-89
[c36]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoL99
Giuseppe De Giacomo, Hector J. Levesque:
Projection Using Regression and Sensors. IJCAI 1999: 160-165
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/krdb/CalvaneseGL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/CalvaneseGL99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Answering Queries Using Views in Description Logics. KRDB 1999: 6-10
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGLV99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries. PODS 1999: 194-204
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGLV99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Rewriting of Regular Path Queries. SEBD 1999: 213-224
[c32]
- view
  - electronic edition @ inria.fr
  - no references & citations available
- export record
  dblp key:
  - conf/webdb/CalvaneseGLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webdb/CalvaneseGLV99
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999: 73-78
1998
[c31]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/CalvaneseGL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseGL98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998: 205-210
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/coopis/CalvaneseGLNR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coopis/CalvaneseGLNR98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998: 280-291
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/CalvaneseGLNR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/CalvaneseGLNR98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Source Integration in Data Warehousing. DEXA Workshop 1998: 192-197
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGR98
Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998
[c26]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/CalvaneseGLNR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/CalvaneseGLNR98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13
[c25]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoRS98
Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/CalvaneseGL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/CalvaneseGL98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints. PODS 1998: 149-158
[c23]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sebd/CalvaneseGL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseGL98
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Extending Semi-Structured Data. SEBD 1998: 87-102
1997
[c22]
- view
  - electronic edition @ kr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL97
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997
[c21]
- view
  - electronic edition @ kr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiacomoINR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiacomoINR97
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Description Logic-baqsed Framrwork for Planning with Sensing Actions. Description Logics 1997
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ecp/GiacomoINR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecp/GiacomoINR97
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Planning with Sensing for a Mobile Robot. ECP 1997: 156-168
[c19]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoLL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoLL97
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque:
Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. IJCAI 1997: 1221-1226
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/CalvaneseGL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/CalvaneseGL97
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing and Reasoning on SGML Documents. ISMIS 1997: 540-549
1996
[c17]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoC96
Giuseppe De Giacomo, Xiao Jun Chen:
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach. AAAI/IAAI, Vol. 1 1996: 658-663
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GiacomoM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GiacomoM96
Giuseppe De Giacomo, Fabio Massacci:
Tableaux and Algorithms for Propositional Dynamic Logic with Converse. CADE 1996: 613-627
[c15]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiacomoL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiacomoL96
Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. Description Logics 1996: 37-48
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseGL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseGL96
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Representing SGML Documents in Description Logics. Description Logics 1996: 102-106
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiacomoDM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiacomoDM96
Giuseppe De Giacomo, Francesco M. Donini, Fabio Massacci:
Exptime Tableaux for ALC. Description Logics 1996: 107-110
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoINR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoINR96
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work. KR 1996: 198-209
[c11]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GiacomoL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GiacomoL96
Giuseppe De Giacomo, Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics. KR 1996: 316-327
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ssdbm/GiacomoN96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdbm/GiacomoN96
Giuseppe De Giacomo, Paolo Naggar:
Conceptual Data Model with Structured Objects for Statistical Database. SSDBM 1996: 168-175
1995
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiacomoL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiacomoL95
Giuseppe De Giacomo, Maurizio Lenzerini:
PDL-based framework for reasoning about actions. AI*IA 1995: 103-114
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/dood/CalvaneseGL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dood/CalvaneseGL95
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning. DOOD 1995: 229-246
[c7]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/GiacomoL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiacomoL95
Giuseppe De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807
[c6]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/krdb/CalvaneseGL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/krdb/CalvaneseGL95
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Increasing the Power of Structured Objects. KRDB 1995
1994
[c5]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/GiacomoL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GiacomoL94
Giuseppe De Giacomo, Maurizio Lenzerini:
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994: 205-212
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/GiacomoL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiacomoL94
Giuseppe De Giacomo, Maurizio Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994: 411-415
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiacomoL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiacomoL94
Giuseppe De Giacomo, Maurizio Lenzerini:
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994: 332-346
1992
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/cnkbs/Giacomo92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cnkbs/Giacomo92
Giuseppe De Giacomo:
Intensional query answering by partial evaluation. CNKBS 1992: 18-20
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Giacomo92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Giacomo92
Giuseppe De Giacomo:
Intensional Query Answering: An Application of Partial Evaluation. LOPSTR 1992: 132-150

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p6]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/GiacomoLLPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/GiacomoLLPR18
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
2014
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/wsf14/GiacomoMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/wsf14/GiacomoMP14
Giuseppe De Giacomo, Massimo Mecella, Fabio Patrizi:
Automated Service Composition Based on Behaviors: The Roman Model. Web Services Foundations 2014: 189-214
2009
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/GiacomoLLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/GiacomoLLS09
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña:
IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Multi-Agent Programming, Languages, Tools and Applications 2009: 31-72
[p3]
- view
  authority control:
- export record
  dblp key:
  - books/sp/virgilio09/CalvaneseGLLRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/virgilio09/CalvaneseGLLRR09
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi:
Using OWL in Data Integration. Semantic Web Information Management 2009: 397-424
2003
[p2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/CalvaneseG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/CalvaneseG03
Diego Calvanese, Giuseppe De Giacomo:
Expressive Description Logics. Description Logic Handbook 2003: 178-218
2001
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/el/RV01/CalvaneseGLN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/RV01/CalvaneseGLN01
Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini:
Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001: 1581-1634

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e5]
- view
- export record
  dblp key:
  - conf/ijcai/2022pmai
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/2022pmai
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]
2020
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/2020
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]
2014
[e3]
- view
- export record
  dblp key:
  - conf/kr/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/2014
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 [contents]
2003
[e2]
- view
- export record
  dblp key:
  - conf/dlog/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/2003
Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. CEUR Workshop Proceedings 81, CEUR-WS.org 2003 [contents]
1998
[e1]
- view
- export record
  dblp key:
  - conf/dlog/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/1998
Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty:
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998. CEUR Workshop Proceedings 11, CEUR-WS.org 1998 [contents]

Reference Works

see FAQ

What is the meaning of the colors in the publication lists?

2018
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/db/CalvaneseGLLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/db/CalvaneseGLLR18
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-03384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-03384
Shufang Zhu, Giuseppe De Giacomo:
Act for Your Duties but Maintain Your Rights. CoRR abs/2302.03384 (2023)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-00516
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-00516
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14222
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14222
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR abs/2305.14222 (2023)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-08680
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-08680
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15178
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15178
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
Symbolic LTLf Best-Effort Synthesis. CoRR abs/2308.15178 (2023)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15184
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-15188
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-15188
Giuseppe De Giacomo, Gianmarco Parretti, Shufang Zhu:
LTLf Best-Effort Synthesis in Nondeterministic Planning Domains. CoRR abs/2308.15188 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-18114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-18114
Giuseppe De Giacomo, Marco Favorito, Luciana Silo:
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications. CoRR abs/2311.18114 (2023)
2022
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-12855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-12855
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-04322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-04322
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-09960
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-09960
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-01053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-01053
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-09201
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-09201
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. CoRR abs/2205.09201 (2022)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-14028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-14028
Alessandro Ronca, Nadezda Alexandrovna Knorozova, Giuseppe De Giacomo:
Automata Cascades: Expressivity and Sample Complexity. CoRR abs/2211.14028 (2022)
2021
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-11184
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-11184
Giuseppe De Giacomo, Giuseppe Perelli:
Behavioral QLTL. CoRR abs/2102.11184 (2021)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-11692
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-11692
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-06784
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-06784
Alessandro Ronca, Giuseppe De Giacomo:
Efficient PAC Reinforcement Learning in Regular Decision Processes. CoRR abs/2105.06784 (2021)
2020
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-01859
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01859
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)
2019
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-12135
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-12135
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin:
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR abs/1909.12135 (2019)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-07804
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-07804
Shufang Zhu, Giuseppe De Giacomo, Geguang Pu, Moshe Y. Vardi:
LTLf Synthesis with Fairness and Stability Assumptions. CoRR abs/1912.07804 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11203
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin:
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR abs/1912.11203 (2019)
2018
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-04561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-04561
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-04861
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-04861
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. CoRR abs/1807.04861 (2018)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06333
Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:
Reinforcement Learning for LTLf/LDLf Goals. CoRR abs/1807.06333 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06777
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:
Planning and Synthesis Under Assumptions. CoRR abs/1807.06777 (2018)
2017
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BrafmanGP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrafmanGP17
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)
2015
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GiacomoLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GiacomoLP15
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories. CoRR abs/1509.02012 (2015)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CalvaneseGLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CalvaneseGLV15
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees. CoRR abs/1509.08979 (2015)
2014
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HaririCMGMF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HaririCMGMF14
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases. CoRR abs/1402.0569 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GiacomoMGMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GiacomoMGMM14
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso, Fabrizio Maria Maggi, Marco Montali:
LTLf and LDLf Monitoring: A Technical Report. CoRR abs/1405.0054 (2014)
2012
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1203-0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-0024
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali:
Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR abs/1203.0024 (2012)
2010
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1003-1179
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-1179
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View Synthesis from Schema Mappings. CoRR abs/1003.1179 (2010)
2005
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0507067
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0507067
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints. CoRR abs/cs/0507067 (2005)
1997
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9703101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9703101
Giuseppe De Giacomo, Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics. CoRR cs.AI/9703101 (1997)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.