| 
| |  | |  |
Rewriting of Regular Expressions and Regular Path Queries
Note: Links lead to the DBLP on the Web.
Giuseppe De Giacomo
33
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Moshe Y. Vardi
: Query Processing using Views for Regular Path Queries with Inverse.
PODS 2000
: 0-
32
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Queries and Constraints on Semi-structured Data.
CAiSE 1999
: 434-438
31
Giuseppe De Giacomo,
Hector J. Levesque
: Projection Using Regression and Sensors.
IJCAI 1999
: 160-165
30
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
IJCAI 1999
: 84-89
29
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Answering Queries Using Views in Description Logics.
KRDB 1999
: 6-10
28
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Moshe Y. Vardi
: Rewriting of Regular Expressions and Regular Path Queries.
PODS 1999
: 194-204
27
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Moshe Y. Vardi
: Rewriting of Regular Path Queries.
SEBD 1999
: 213-224
26
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
25
Xiao Jun Chen
, Giuseppe De Giacomo: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
Artificial Intelligence 107
(1): 63-98 (1999)
24
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Modeling and Querying Semi-Structured data .
Networking and Information Systems 2
(2): 253-273 (1999)
23
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: What can Knowledge Representation do for Semi-Structured Data?
AAAI/IAAI 1998
: 205-210
22
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Daniele Nardi
,
Riccardo Rosati
: Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998
: 280-291
21
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Daniele Nardi
,
Riccardo Rosati
: Source Integration in Data Warehousing.
DEXA Workshop 1998
: 192-197
20
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
,
Daniele Nardi
,
Riccardo Rosati
: Description Logic Framework for Information Integration.
KR 1998
: 2-13
19
Giuseppe De Giacomo,
Raymond Reiter
,
Mikhail Soutchanski
: Execution Monitoring of High-Level Robot Programs.
KR 1998
: 453-465
18
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: On the Decidability of Query Containment under Constraints.
PODS 1998
: 149-158
17
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
16
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Representing and Reasoning on SGML Documents.
ISMIS 1997
: 540-549
15
Giuseppe De Giacomo,
Maurizio Lenzerini
: A Uniform Framework for Concept Definitions in Description Logics.
JAIR 6
: 87-110 (1997)
14
Giuseppe De Giacomo,
Xiao Jun Chen
: Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach.
AAAI/IAAI, Vol. 1 1996
: 658-663
13
Giuseppe De Giacomo,
Fabio Massacci
: Tableaux and Algorithms for Propositional Dynamic Logic with Converse.
CADE 1996
: 613-627
12
Giuseppe De Giacomo,
Luca Iocchi
,
Daniele Nardi
,
Riccardo Rosati
: Moving a Robot: The KR&R Approach at Work.
KR 1996
: 198-209
11
Giuseppe De Giacomo,
Maurizio Lenzerini
: TBox and ABox Reasoning in Expressive Description Logics.
KR 1996
: 316-327
10
Giuseppe De Giacomo,
Paolo Naggar
: Conceptual Data Model with Structured Objects for Statistical Database.
SSDBM 1996
: 168-175
9
Giuseppe De Giacomo: Intensional Query Answering by Partial Evaluation.
JIIS 7
(3): 205-233 (1996)
8
Giuseppe De Giacomo,
Maurizio Lenzerini
: PDL-based framework for reasoning about actions.
AI*IA 1995
: 103-114
7
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Structured Objects: Modeling and Reasoning.
DOOD 1995
: 229-246
6
Giuseppe De Giacomo,
Maurizio Lenzerini
: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
IJCAI (1) 1995
: 801-807
5
Diego Calvanese
, Giuseppe De Giacomo,
Maurizio Lenzerini
: Increasing the Power of Structured Objects.
KRDB 1995
4
Giuseppe De Giacomo,
Maurizio Lenzerini
: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.
AAAI, Vol. 1 1994
: 205-212
3
Giuseppe De Giacomo,
Maurizio Lenzerini
: Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.
ECAI 1994
: 411-415
2
Giuseppe De Giacomo,
Maurizio Lenzerini
: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.
JELIA 1994
: 332-346
1
Giuseppe De Giacomo: Intensional Query Answering: An Application of Partial Evaluation.
LOPSTR 1992
: 132-150
Copyright(C) 2000 ACM | | | | | | |
