BibSLEIGH — Giuseppe_De

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: Giacomo:Giuseppe_De

Facilitated 1 volumes:

Contributed to:

2015

2013

2012

2013

2012

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

1999

1998

1996

1992

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.