BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × China
1 × Denmark
1 × Germany
1 × Norway
1 × Sweden
11 × USA
2 × France
2 × Italy
3 × Canada
Collaborated with:
D.Calvanese M.Lenzerini M.Y.Vardi R.Rosati Y.Lespérance S.Sardiña F.Patrizi D.Lembo M.Montali H.J.Levesque F.Massacci M.Mecella D.Nardi A.Calì P.Felli A.Lomuscio A.R.Pearce R.Reiter M.Soutchanski M.Dumas F.M.Maggi M.d.Leoni L.Iocchi B.B.Hariri A.Deutsch D.Berardi R.Hull P.Naggar F.Vernacotola C.Civili M.Console L.Lepore R.Mancini A.Poggi M.Ruzzi V.Santarelli D.F.Savo
Talks about:
queri (13) data (11) base (10) logic (8) constraint (6) descript (6) process (6) integr (6) regular (5) under (5)

Person: Giuseppe De Giacomo

DBLP DBLP: Giacomo:Giuseppe_De

Facilitated 1 volumes:

KR 2014Ed

Contributed to:

CAiSE 20152015
PODS 20132013
VLDB 20132012
VLDB 20132013
KR 20122012
KR 20102010
SAC 20092009
KR 20082008
PODS 20072007
KR 20062006
VLDB 20052005
KR 20042004
PODS 20042004
CAiSE 20032003
PODS 20032003
CAiSE 20022002
KR 20022002
LICS 20022002
PODS 20022002
KR 20002000
LICS 20002000
PODS 20002000
CAiSE 19991999
PODS 19991999
KR 19981998
PODS 19981998
CADE 19961996
KR 19961996
LOPSTR 19921992

Wrote 38 papers:

CAiSE-2015-GiacomoDMM #declarative #modelling #process
Declarative Process Modeling in BPMN (GDG, MD, FMM, MM), pp. 84–100.
PODS-2013-CalvaneseGM #analysis #database #perspective #process
Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
PODS-2013-HaririCGDM #relational #verification
Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
VLDB-2013-CalvaneseGLV12 #database #graph #query #relational
Query Processing under GLAV Mappings for Relational and Graph Databases (DC, GDG, ML, MYV), pp. 61–72.
VLDB-2013-CiviliCGLLLMPRRSS #data access #ontology
MASTRO STUDIO: Managing Ontology-Based Data Access applications (CC, MC, GDG, DL, ML, LL, RM, AP, RR, MR, VS, DFS), pp. 1314–1317.
KR-2012-FelliGL #ltl #multi #protocol #specification
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments (PF, GDG, AL).
KR-2012-GiacomoLP #bound #calculus #decidability #verification
Bounded Situation Calculus Action Theories and Decidable Verification (GDG, YL, FP).
KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code
Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).
KR-2010-GiacomoPS #constraints
Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).
SAC-2009-LeoniGLM #adaptation #mobile #online #process
On-line adaptation of sequential mobile processes running concurrently (MdL, GDG, YL, MM), pp. 1345–1352.
KR-2008-CalvaneseGLLR #constraints #identification #logic
Path-Based Identification Constraints in Description Logics (DC, GDG, DL, ML, RR), pp. 231–241.
KR-2008-CalvaneseGLR #logic #ontology #query
View-Based Query Answering over Description Logic Ontologies (DC, GDG, ML, RR), pp. 242–251.
KR-2008-SardinaPG #behaviour #composition
Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.
PODS-2007-GiacomoLLR #data transformation #integration #on the
On reconciling data exchange, data integration, and peer data management (GDG, DL, ML, RR), pp. 133–142.
KR-2006-CalvaneseGLLR #complexity #logic #query
Data Complexity of Query Answering in Description Logics (DC, GDG, DL, ML, RR), pp. 260–270.
KR-2006-SardinaGLL #nondeterminism #on the #strict
On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
VLDB-2005-BerardiCGHM #automation #composition #semantics #web #web service
Automatic Composition of Transition-based Semantic Web Services with Messaging (DB, DC, GDG, RH, MM), pp. 613–624.
KR-2004-CalvaneseGLLR #query #what
What to Ask to a Peer: Ontolgoy-based Query Reformulation (DC, GDG, DL, ML, RR), pp. 469–478.
PODS-2004-CalvaneseGLR #integration #logic #peer-to-peer
Logical Foundations of Peer-To-Peer Data Integration (DC, GDG, ML, RR), pp. 241–251.
CAiSE-2003-CaliCGLNV #integration #named #semantics
IBIS: Semantic Data Integration at Work (AC, DC, GDG, ML, PN, FV), pp. 79–94.
PODS-2003-CalvaneseGLV #query
View-based query containment (DC, GDG, ML, MYV), pp. 56–67.
CAiSE-2002-CaliCGL #constraints #integration
Data Integration under Integrity Constraints (AC, DC, GDG, ML), pp. 262–279.
KR-2002-CalvaneseGV #ltl #reasoning
Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
KR-2002-GiacomoLLS #implementation #on the #semantics
On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
LICS-2002-CalvaneseGL #information management #logic #representation
Description Logics: Foundations for Class-based Knowledge Representation (DC, GDG, ML), pp. 359–370.
PODS-2002-CalvaneseGLV
Lossless Regular Views (DC, GDG, ML, MYV), pp. 247–258.
KR-2000-CalvaneseGLV #query
Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.
LICS-2000-CalvaneseGLV #constraints #query
View-Based Query Processing and Constraint Satisfaction (DC, GDG, ML, MYV), pp. 361–371.
PODS-2000-CalvaneseGLV #query
View-Based Query Processing for Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 58–66.
CAiSE-1999-CalvaneseGL #constraints #query
Queries and Constraints on Semi-structured Data (DC, GDG, ML), pp. 434–438.
PODS-1999-CalvaneseGLV #query #regular expression
Rewriting of Regular Expressions and Regular Path Queries (DC, GDG, ML, MYV), pp. 194–204.
KR-1998-CalvaneseGLNR #framework #integration #logic
Description Logic Framework for Information Integration (DC, GDG, ML, DN, RR), pp. 2–13.
KR-1998-GiacomoRS #execution #monitoring #source code
Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
PODS-1998-CalvaneseGL #constraints #decidability #on the #query
On the Decidability of Query Containment under Constraints (DC, GDG, ML), pp. 149–158.
CADE-1996-GiacomoM #algorithm #logic
Tableaux and Algorithms for Propositional Dynamic Logic with Converse (GDG, FM), pp. 613–627.
KR-1996-GiacomoINR #approach
Moving a Robot: The KR&R Approach at Work (GDG, LI, DN, RR), pp. 198–209.
KR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
LOPSTR-1992-Giacomo #partial evaluation #query
Intensional Query Answering: An Application of Partial Evaluation (GDG), pp. 132–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.