2008 |
62 | EE | M. Andrea Rodríguez,
Leopoldo E. Bertossi,
Mónica Caniupán Marileo:
An inconsistency tolerant approach to querying spatial databases.
GIS 2008: 36 |
61 | EE | Leopoldo E. Bertossi,
Loreto Bravo:
Information Sharing Agents in a Peer Data Exchange System.
Globe 2008: 70-81 |
60 | EE | Leopoldo E. Bertossi,
Loreto Bravo,
Enrico Franconi,
Andrei Lopatenko:
The complexity and approximation of fixing numerical attributes in databases under integrity constraints.
Inf. Syst. 33(4-5): 407-434 (2008) |
2007 |
59 | EE | Andrei Lopatenko,
Leopoldo E. Bertossi:
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics.
ICDT 2007: 179-193 |
58 | EE | François Gagnon,
Babak Esfandiari,
Leopoldo E. Bertossi:
A Hybrid Approach to Operating System Discovery using Answer Set Programming.
Integrated Network Management 2007: 391-400 |
57 | EE | Leopoldo E. Bertossi,
Loreto Bravo:
The Semantics of Consistency and Trust in Peer Data Exchange Systems.
LPAR 2007: 107-122 |
56 | EE | Mónica Caniupán Marileo,
Leopoldo E. Bertossi:
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs.
SUM 2007: 74-88 |
2006 |
55 | | Gonzalo Navarro,
Leopoldo E. Bertossi,
Yoshiharu Kohayakawa:
Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
Springer 2006 |
54 | EE | Andrei Lopatenko,
Leopoldo E. Bertossi:
Consistent Query Answering By Minimal-Size Repairs.
DEXA Workshops 2006: 558-562 |
53 | EE | Loreto Bravo,
Leopoldo E. Bertossi:
Semantically Correct Query Answers in the Presence of Null Values.
EDBT Workshops 2006: 336-357 |
52 | EE | Andrei Lopatenko,
Leopoldo E. Bertossi:
Complexity of Consistent Query Answering in Databases under Cardinality-Based and Incremental Repair Semantics
CoRR abs/cs/0604002: (2006) |
51 | EE | Loreto Bravo,
Leopoldo E. Bertossi:
Semantically Correct Query Answers in the Presence of Null Values
CoRR abs/cs/0604076: (2006) |
50 | EE | Leopoldo E. Bertossi:
Consistent query answering in databases.
SIGMOD Record 35(2): 68-76 (2006) |
2005 |
49 | | Leopoldo E. Bertossi,
Anthony Hunter,
Torsten Schaub:
Inconsistency Tolerance [result from a Dagstuhl seminar]
Springer 2005 |
48 | EE | Leopoldo E. Bertossi,
Loreto Bravo,
Enrico Franconi,
Andrei Lopatenko:
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints.
DBPL 2005: 262-278 |
47 | EE | Leopoldo E. Bertossi,
Loreto Bravo,
Enrico Franconi,
Andrei Lopatenko:
Fixing Inconsistent Databases by Updating Numerical Attributes.
DEXA Workshops 2005: 854-858 |
46 | EE | Leopoldo E. Bertossi,
Anthony Hunter,
Torsten Schaub:
Introduction to Inconsistency Tolerance.
Inconsistency Tolerance 2005: 1-14 |
45 | EE | Leopoldo E. Bertossi,
Loreto Bravo:
Consistent Query Answers in Virtual Data Integration Systems.
Inconsistency Tolerance 2005: 42-83 |
44 | EE | Mónica Caniupán Marileo,
Leopoldo E. Bertossi:
Optimizing repair programs for consistent query answering.
SCCC 2005: 3-12 |
43 | | Leopoldo E. Bertossi,
Loreto Bravo,
Enrico Franconi,
Andrei Lopatenko:
Data Cleansing for Numerical Data Sets.
SEBD 2005: 292-299 |
42 | EE | Leopoldo E. Bertossi,
Loreto Bravo,
Enrico Franconi,
Andrei Lopatenko:
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
CoRR abs/cs/0503032: (2005) |
41 | EE | Loreto Bravo,
Leopoldo E. Bertossi:
Deductive databases for computing certain and consistent answers from mediated data integration systems.
J. Applied Logic 3(1): 329-367 (2005) |
40 | EE | Leopoldo E. Bertossi,
Jan Chomicki,
Parke Godfrey,
Phokion G. Kolaitis,
Alex Thomo,
Calisto Zuzarte:
Exchange, integration, and consistency of data: report on the ARISE/NISR workshop.
SIGMOD Record 34(3): 87-90 (2005) |
2004 |
39 | EE | Loreto Bravo,
Leopoldo E. Bertossi:
Consistent query answering under inclusion dependencies.
CASCON 2004: 202-216 |
38 | EE | Leopoldo E. Bertossi,
Loreto Bravo:
Query Answering in Peer-to-Peer Data Exchange Systems.
EDBT Workshops 2004: 476-485 |
37 | | Leopoldo E. Bertossi,
Camilla Schwind:
Database Repairs and Analytic Tableaux.
Ann. Math. Artif. Intell. 40(1-2): 5-35 (2004) |
36 | EE | Leopoldo E. Bertossi,
Loreto Bravo:
Query Answering in Peer-to-Peer Data Exchange Systems
CoRR cs.DB/0401015: (2004) |
2003 |
35 | | Leopoldo E. Bertossi,
Gyula O. H. Katona,
Klaus-Dieter Schewe,
Bernhard Thalheim:
Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers
Springer 2003 |
34 | | Loreto Bravo,
Leopoldo E. Bertossi:
Logic Programs for Consistently Querying Data Integration Systems.
IJCAI 2003: 10-15 |
33 | | Leopoldo E. Bertossi,
Jan Chomicki:
Query Answering in Inconsistent Databases.
Logics for Emerging Applications of Databases 2003: 43-83 |
32 | EE | Pablo Barceló,
Leopoldo E. Bertossi:
Logic Programs for Querying Inconsistent Databases.
PADL 2003: 208-222 |
31 | | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Answer sets for consistent query answering in inconsistent databases.
TPLP 3(4-5): 393-424 (2003) |
30 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki,
Xin He,
Vijay Raghavan,
Jeremy Spinrad:
Scalar aggregation in inconsistent databases.
Theor. Comput. Sci. 296(3): 405-434 (2003) |
2002 |
29 | EE | Leopoldo E. Bertossi,
Jan Chomicki,
Alvaro Cortés-Calabuig,
Claudio Gutiérrez:
Consistent Answers from Integrated Data Sources.
FQAS 2002: 71-85 |
28 | EE | Leopoldo E. Bertossi,
Camilla Schwind:
Analytic Tableaux and Database Repairs: Foundations.
FoIKS 2002: 32-48 |
27 | | Pablo Barceló,
Leopoldo E. Bertossi:
Repairing databases with annotated predicate logic.
NMR 2002: 160-170 |
26 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Answer Sets for Consistent Query Answering in Inconsistent Databases
CoRR cs.DB/0207094: (2002) |
25 | EE | Leopoldo E. Bertossi,
Camilla Schwind:
Database Repairs and Analytic Tableaux
CoRR cs.DB/0211042: (2002) |
24 | | Marcelo Arenas,
Leopoldo E. Bertossi:
Hypothetical Temporal Reasoning in Databases.
J. Intell. Inf. Syst. 19(2): 231-259 (2002) |
2001 |
23 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Scalar Aggregation in FD-Inconsistent Databases.
ICDT 2001: 39-53 |
22 | EE | Leopoldo E. Bertossi,
Gyula O. H. Katona,
Klaus-Dieter Schewe,
Bernhard Thalheim:
Semantics in Databases.
Semantics in Databases 2001: 1-6 |
21 | EE | Pablo Barceló,
Leopoldo E. Bertossi,
Loreto Bravo:
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.
Semantics in Databases 2001: 7-33 |
2000 |
20 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Michael Kifer:
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Computational Logic 2000: 926-941 |
19 | EE | Alexander Celle,
Leopoldo E. Bertossi:
Querying Inconsistent Databases: Algorithms and Implementation.
Computational Logic 2000: 942-956 |
18 | | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Specifying and Querying Database Repairs using Logic Programs with Exceptions.
FQAS 2000: 27-41 |
17 | EE | John F. Roddick,
Lina Al-Jadir,
Leopoldo E. Bertossi,
Marlon Dumas,
Florida Estrella,
Heidi Gregersen,
Kathleen Hornsby,
Jens Lufter,
Federica Mandreoli,
Tomi Männistö,
Enric Mayol,
Lex Wedemeijer:
Evolution and Change in Data Management - Issues and Directions.
SIGMOD Record 29(1): 21-25 (2000) |
1999 |
16 | EE | Carlos A. Mareco,
Leopoldo E. Bertossi:
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus.
ER (Workshops) 1999: 74-85 |
15 | | Leopoldo E. Bertossi,
Javier Pinto:
Specifying Active Rules for Database Maintenance.
FMLDO 1999: 65-81 |
14 | EE | Leopoldo E. Bertossi,
Javier Pinto:
Specifying Active Rules for Database Maintenance.
FMLDO - Selected Papers 1999: 112-129 |
13 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Consistent Query Answers in Inconsistent Databases.
PODS 1999: 68-79 |
1998 |
12 | EE | Marcelo Arenas,
Leopoldo E. Bertossi:
Hypothetical Temporal Queries in Databases.
KRDB 1998: 4.1-4.8 |
11 | EE | Leopoldo E. Bertossi,
Javier Pinto,
Ricardo Valdivia:
Specifying Active Databases in the Situation Calculus.
SCCC 1998: 32-39 |
10 | EE | Marcelo Arenas,
Leopoldo E. Bertossi,
Jan Chomicki:
Query Evaluation in Almost Consistent Databases using Residues.
SCCC 1998: 8-14 |
9 | EE | Marcelo Arenas,
Leopoldo E. Bertossi:
The Dynamics of Database Views.
Transactions and Change in Logic Databases 1998: 197-226 |
8 | | Leopoldo E. Bertossi,
Marcelo Arenas,
Cristian Ferretti:
SCDBR: An Automated Reasoner for Specifications of Database Updates.
J. Intell. Inf. Syst. 10(3): 253-280 (1998) |
1996 |
7 | | Leopoldo E. Bertossi,
Javier Pinto,
Pablo Sáez,
Deepak Kapur,
Mahadevan Subramaniam:
Automating Proofs of Integrity Constraints in Situation Calculus.
ISMIS 1996: 212-222 |
6 | | David A. Fuller,
Sacha A. Bocic,
Leopoldo E. Bertossi:
Towards Efficient Partial Evaluation in Logic Programming.
New Generation Comput. 14(2): 237-259 (1996) |
1995 |
5 | | Tania Bedrax-Weiss,
Leopoldo E. Bertossi:
Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem.
SBIA 1995: 59-68 |
1994 |
4 | | Leopoldo E. Bertossi,
Cristian Ferretti:
SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates.
ICTL 1994: 543-545 |
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.
Fundam. Inform. 21(1/2): 113-123 (1994) |
1 | | Leopoldo E. Bertossi:
Circumscription in Data Logic for Data Type Specification.
J. Log. Comput. 4(1): 89-96 (1994) |