2009 | ||
---|---|---|
70 | Marcelo Arenas, Leopoldo E. Bertossi: Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR-WS.org 2009 | |
69 | Leopoldo E. Bertossi, Loreto Bravo, Mónica Caniupán Marileo: Consistent Query Answering in Data Warehouses. AMW 2009 | |
68 | Leopoldo E. Bertossi: From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract). AMW 2009 | |
67 | Leopoldo E. Bertossi, Gayathri Jayaraman: Designing, Specifying and Querying Metadata for Virtual Data Integration Systems. Globe 2009: 72-84 | |
66 | Leopoldo E. Bertossi: Inconsistent Databases. Encyclopedia of Database Systems 2009: 1410-1414 | |
65 | Leopoldo E. Bertossi: Null Values. Encyclopedia of Database Systems 2009: 1924-1925 | |
64 | Leopoldo E. Bertossi: Consistent Query Answering. Encyclopedia of Database Systems 2009: 452 | |
63 | Leopoldo E. Bertossi: Database Repair. Encyclopedia of Database Systems 2009: 722-723 | |
2008 | ||
62 | M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo: An inconsistency tolerant approach to querying spatial databases. GIS 2008: 36 | |
61 | Leopoldo E. Bertossi, Loreto Bravo: Information Sharing Agents in a Peer Data Exchange System. Globe 2008: 70-81 | |
60 | 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 | Andrei Lopatenko, Leopoldo E. Bertossi: Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics. ICDT 2007: 179-193 | |
58 | 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 | Leopoldo E. Bertossi, Loreto Bravo: The Semantics of Consistency and Trust in Peer Data Exchange Systems. LPAR 2007: 107-122 | |
56 | 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 | Andrei Lopatenko, Leopoldo E. Bertossi: Consistent Query Answering By Minimal-Size Repairs. DEXA Workshops 2006: 558-562 | |
53 | Loreto Bravo, Leopoldo E. Bertossi: Semantically Correct Query Answers in the Presence of Null Values. EDBT Workshops 2006: 336-357 | |
52 | 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 | Loreto Bravo, Leopoldo E. Bertossi: Semantically Correct Query Answers in the Presence of Null Values CoRR abs/cs/0604076: (2006) | |
50 | 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 | 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 | Leopoldo E. Bertossi, Loreto Bravo, Enrico Franconi, Andrei Lopatenko: Fixing Inconsistent Databases by Updating Numerical Attributes. DEXA Workshops 2005: 854-858 | |
46 | Leopoldo E. Bertossi, Anthony Hunter, Torsten Schaub: Introduction to Inconsistency Tolerance. Inconsistency Tolerance 2005: 1-14 | |
45 | Leopoldo E. Bertossi, Loreto Bravo: Consistent Query Answers in Virtual Data Integration Systems. Inconsistency Tolerance 2005: 42-83 | |
44 | 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 | 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 | 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 | 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 | Loreto Bravo, Leopoldo E. Bertossi: Consistent query answering under inclusion dependencies. CASCON 2004: 202-216 | |
38 | 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 | 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 | 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 | 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 | Leopoldo E. Bertossi, Jan Chomicki, Alvaro Cortés-Calabuig, Claudio Gutiérrez: Consistent Answers from Integrated Data Sources. FQAS 2002: 71-85 | |
28 | 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 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer Sets for Consistent Query Answering in Inconsistent Databases CoRR cs.DB/0207094: (2002) | |
25 | 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 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53 | |
22 | Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim: Semantics in Databases. Semantics in Databases 2001: 1-6 | |
21 | 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 | Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941 | |
19 | 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 | 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 | 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 | Leopoldo E. Bertossi, Javier Pinto: Specifying Active Rules for Database Maintenance. FMLDO - Selected Papers 1999: 112-129 | |
13 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79 | |
1998 | ||
12 | Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases. KRDB 1998: 4.1-4.8 | |
11 | Leopoldo E. Bertossi, Javier Pinto, Ricardo Valdivia: Specifying Active Databases in the Situation Calculus. SCCC 1998: 32-39 | |
10 | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998: 8-14 | |
9 | 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) |