| 
| |  | |  |
Consistent Query Answers in Inconsistent Databases
Note: Links lead to the DBLP on the Web.
Leopoldo E. Bertossi
11
Carlos A. Mareco
, Leopoldo E. Bertossi: Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus.
ER Workshops 1999
: 74-85
10
Leopoldo E. Bertossi,
Javier Pinto
: Specifying Active Rules for Database Maintenance.
FMLDO 1999
: 65-81
9
Marcelo Arenas
, Leopoldo E. Bertossi,
Jan Chomicki
: Consistent Query Answers in Inconsistent Databases.
PODS 1999
: 68-79
8
Marcelo Arenas
, Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases.
KRDB 1998
: 4.1-4.8
7
Marcelo Arenas
, Leopoldo E. Bertossi: The Dynamics of Database Views.
Transactions and Change in Logic Databases 1998
: 197-226
6
Leopoldo E. Bertossi,
Marcelo Arenas
,
Cristian Ferretti
: SCDBR: An Automated Reasoner for Specifications of Database Updates.
JIIS 10
(3): 253-280 (1998)
5
Leopoldo E. Bertossi,
Javier Pinto
,
Pablo Saez
,
Deepak Kapur
,
Mahadevan Subramaniam
: Automating Proofs of Integrity Constraints in Situation Calculus.
ISMIS 1996
: 212-222
4
David A. Fuller
,
Sacha A. Bocic
, Leopoldo E. Bertossi: Towards Efficient Partial Evaluation in Logic Programming.
New Generation Computing 14
(2): 237-259 (1996)
3
Leopoldo E. Bertossi,
Raymond Reiter
: On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples.
JELIA 1994
: 347-363
2
Leopoldo E. Bertossi,
Raymond Reiter
: Circumscription and Generic Mathematical Objects.
Fundamenta Informaticae 21
(1/2): 113-123 (1994)
1
Leopoldo E. Bertossi: Circumscription in Data Logic for Data Type Specification.
Journal of Logic and Computation 4
(1): 89-96 (1994)
Copyright(C) 2000 ACM | | | | | | |
