-
1
-
-
0032640897
-
Consistent query answers in inconsistent databases
-
M. Arenas, L. Bertossi, J. Chomicki. Consistent query answers in inconsistent databases. Proc. PODS'99, pp.68-79, 1999.
-
(1999)
Proc. PODS'99
, pp. 68-79
-
-
Arenas, M.1
Bertossi, L.2
Chomicki, J.3
-
2
-
-
0345393818
-
Answer sets for consistent query answering in inconsistent databases
-
M. Arenas, L. Bertossi, J. Chomicki. Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Log. Prog., 3(4-5):393-424, 2003.
-
(2003)
Theory and Practice of Log. Prog.
, vol.3
, Issue.4-5
, pp. 393-424
-
-
Arenas, M.1
Bertossi, L.2
Chomicki, J.3
-
3
-
-
27344456627
-
Coherent integration of databases by abductive logic programming
-
O. Arieli, M. Denecker, B. Van Nuffelen, M. Bruynooghe. Coherent integration of databases by abductive logic programming. Artif. Intell. Res., 21:245-286, 2004.
-
(2004)
Artif. Intell. Res.
, vol.21
, pp. 245-286
-
-
Arieli, O.1
Denecker, M.2
Van Nuffelen, B.3
Bruynooghe, M.4
-
4
-
-
33645693541
-
Computational methods for database repair by signed formulae
-
O. Arieli, M. Denecker, B. Van Nuffelen, M. Bruynooghe. Computational methods for database repair by signed formulae. Annals Math. Artif. Intell., 46:4-37, 2006.
-
(2006)
Annals Math. Artif. Intell.
, vol.46
, pp. 4-37
-
-
Arieli, O.1
Denecker, M.2
Van Nuffelen, B.3
Bruynooghe, M.4
-
6
-
-
84867324931
-
Consistent answers from integrated data sources
-
LNCS 2522
-
L. Bertossi, J. Chomicki, A. Cortés, C. Gutierrez. Consistent answers from integrated data sources. Proc. FQAS'2002, LNCS 2522, pp.71-85, 2002.
-
(2002)
Proc. FQAS'2002
, pp. 71-85
-
-
Bertossi, L.1
Chomicki, J.2
Cortés, A.3
Gutierrez, C.4
-
8
-
-
1142299764
-
On the decidability and complexity of query answering over inconsistent and incomplete databases
-
A. Cali, D. Lembo, R. Rosati. On the decidability and complexity of query answering over inconsistent and incomplete databases. Proc. PODS'03, 260-271, 2003.
-
(2003)
Proc. PODS'03
, pp. 260-271
-
-
Cali, A.1
Lembo, D.2
Rosati, R.3
-
9
-
-
36849055542
-
A on the computational complexity of minimal-change integrity maintenance in relational databases
-
L. Bertossi, A. Hunter, and T. Schaub, editors, LNCS 3300
-
J. Chomicki, J. Marchinkowski. A on the computational complexity of minimal-change integrity maintenance in relational databases. In L. Bertossi, A. Hunter, and T. Schaub, editors, Inconsistency Tolerance, LNCS 3300, pp.119-150. 2005.
-
(2005)
Inconsistency Tolerance
, pp. 119-150
-
-
Chomicki, J.1
Marchinkowski, J.2
-
11
-
-
18744400818
-
Computing consistent query answers using conflict hypergraphs
-
J. Chomicki, J. Marchinkowski, and S. Staworko. Computing consistent query answers using conflict hypergraphs. Proc. CIKM'04, pp.417-426, 2004.
-
(2004)
Proc. CIKM'04
, pp. 417-426
-
-
Chomicki, J.1
Marchinkowski, J.2
Staworko, S.3
-
12
-
-
85156265719
-
Investigations into a theory of knowledge base revision
-
AAAI Press
-
M. Dalal. Investigations into a theory of knowledge base revision. Proc. AAAI'98, pp.475-479. AAAI Press, 1988.
-
(1988)
Proc. AAAI'98
, pp. 475-479
-
-
Dalal, M.1
-
13
-
-
84957015036
-
A logical framework for integrating inconsistent information in multiple databases
-
LNCS 2284
-
S. de Amo, W. Carnielli, J. Marcos. A logical framework for integrating inconsistent information in multiple databases. Proc. FoIKS'02, LNCS 2284, pp.67-84, 2002.
-
(2002)
Proc. FoIKS'02
, pp. 67-84
-
-
De Amo, S.1
Carnielli, W.2
Marcos, J.3
-
14
-
-
33750049821
-
Preliminary considerations on the modelling of belief change operators by metric spaces
-
J. Delgrande. Preliminary considerations on the modelling of belief change operators by metric spaces. Proc. NMR'04, pp.118-125, 2004.
-
(2004)
Proc. NMR'04
, pp. 118-125
-
-
Delgrande, J.1
-
15
-
-
0003979176
-
-
J. Dieudonné, editor. Academic Press
-
J. Dieudonné, editor. Foundations of Modern Analysis. Academic Press, 1969.
-
(1969)
Foundations of Modern Analysis
-
-
-
16
-
-
33646020385
-
Data integration and answer set programming
-
LNCS 3662, Springer
-
T. Eiter. Data integration and answer set programming. Proc. LPNMR'05, LNCS 3662, pp.13-25. Springer, 2005.
-
(2005)
Proc. LPNMR'05
, pp. 13-25
-
-
Eiter, T.1
-
17
-
-
0031338770
-
Distance measure for point sets and their computation
-
T. Eiter, H. Mannila. Distance measure for point sets and their computation. Acta Informatica, 34:109-133, 1997.
-
(1997)
Acta Informatica
, vol.34
, pp. 109-133
-
-
Eiter, T.1
Mannila, H.2
-
18
-
-
33845252671
-
DART: A data acquisition and repairing tool
-
B. Fazzinga, S. Flesca, F. Furfaro, F. Parisi. DART: a data acquisition and repairing tool. EDBT'06 Workshop on Inconsistency in Databases, pp.2-16, 2006.
-
(2006)
EDBT'06 Workshop on Inconsistency in Databases
, pp. 2-16
-
-
Fazzinga, B.1
Flesca, S.2
Furfaro, F.3
Parisi, F.4
-
19
-
-
84877086968
-
Census data repair: A challenging application of disjunctive logic programming
-
LNCS 2250, Springer
-
E. Franconi, A. Palma, N. Leone, D. Perri, F. Scarcello. Census data repair: A challenging application of disjunctive logic programming. Proc. LPAR'01, LNCS 2250, pp.561-578. Springer, 2001.
-
(2001)
Proc. LPAR'01
, pp. 561-578
-
-
Franconi, E.1
Palma, A.2
Leone, N.3
Perri, D.4
Scarcello, F.5
-
21
-
-
84937219973
-
A logic programming approach to the integration, repairing and querying of inconsistent databases
-
LNCS 2237, Springer
-
G. Greco, S. Greco, E. Zumpano. A logic programming approach to the integration, repairing and querying of inconsistent databases. Proc. ICLP'01, LNCS 2237, pp.348-363. Springer, 2001.
-
(2001)
Proc. ICLP'01
, pp. 348-363
-
-
Greco, G.1
Greco, S.2
Zumpano, E.3
-
22
-
-
84956866045
-
Querying inconsistent databases
-
LNAI 1955, Springer
-
S. Greco, E. Zumpano. Querying inconsistent databases. Proc. LPAR'2000, LNAI 1955, pp.308-325. Springer, 2000.
-
(2000)
Proc. LPAR'2000
, pp. 308-325
-
-
Greco, S.1
Zumpano, E.2
-
25
-
-
0347684760
-
Distance-based merging: A general framework and some complexity results
-
S. Konieczny, J. Lang, P. Marquis. Distance-based merging: A general framework and some complexity results. Proc KR'02, pp.97-108, 2002.
-
(2002)
Proc KR'02
, pp. 97-108
-
-
Konieczny, S.1
Lang, J.2
Marquis, P.3
-
26
-
-
0036797666
-
Merging information under constraints: A logical framework
-
S. Konieczny, R. Pino Pérez. Merging information under constraints: a logical framework. Journal of Logic and Computation, 12(5):773-808, 2002.
-
(2002)
Journal of Logic and Computation
, vol.12
, Issue.5
, pp. 773-808
-
-
Konieczny, S.1
Pino Pérez, R.2
-
27
-
-
0035612106
-
Distance semantics for belief revision
-
D. Lehmann, M. Magidor, K. Schlechta. Distance semantics for belief revision. Journal of Symbolic Logic, 66(1):295-317, 2001.
-
(2001)
Journal of Symbolic Logic
, vol.66
, Issue.1
, pp. 295-317
-
-
Lehmann, D.1
Magidor, M.2
Schlechta, K.3
-
28
-
-
84872030060
-
Boosting information integration: The INFOMIX system
-
N. Leone, T. Eiter, W. Faber, M. Fink, G. Gottlob, G. Greco. Boosting information integration: The INFOMIX system. Proc. SEBD'05, pp.55-66, 2005.
-
(2005)
Proc. SEBD'05
, pp. 55-66
-
-
Leone, N.1
Eiter, T.2
Faber, W.3
Fink, M.4
Gottlob, G.5
Greco, G.6
-
29
-
-
0242324512
-
BReLS: A system for the integration of knowledge bases
-
Morgan Kaufmann Publishers
-
P. Liberatore, M. Schaerf. BReLS: A system for the integration of knowledge bases. Proc. KR'2000, pp.145-152. Morgan Kaufmann Publishers, 2000.
-
(2000)
Proc. KR'2000
, pp. 145-152
-
-
Liberatore, P.1
Schaerf, M.2
-
30
-
-
84957867240
-
Distance between Herbrand interpretations: A measure for approximations to a target concept
-
LNCS 1297
-
S.H. Nienhuys-Cheng. Distance between Herbrand interpretations: A measure for approximations to a target concept. Proc. ILP'97, LNCS 1297, pp.213-226, 1997.
-
(1997)
Proc. ILP'97
, pp. 213-226
-
-
Nienhuys-Cheng, S.H.1
-
31
-
-
33750065576
-
Distance semantics for relevance-sensitive belief revision
-
AAAI Press
-
P. Peppas, S. Chopra, N. Foo. Distance semantics for relevance-sensitive belief revision. Proc. KR'04, pp.319-328. AAAI Press, 2004.
-
(2004)
Proc. KR'04
, pp. 319-328
-
-
Peppas, P.1
Chopra, S.2
Foo, N.3
-
32
-
-
0035402326
-
A polynomial time computable metric between point sets
-
J. Ramon, M. Bruynooghe. A polynomial time computable metric between point sets. Acta Informatica, 37(10):765-780, 2001.
-
(2001)
Acta Informatica
, vol.37
, Issue.10
, pp. 765-780
-
-
Ramon, J.1
Bruynooghe, M.2
-
33
-
-
0002726244
-
On closed world databases
-
R. Reiter. On closed world databases. In Logic and Databases, pages 55-76. 1978.
-
(1978)
Logic and Databases
, pp. 55-76
-
-
Reiter, R.1
-
34
-
-
33745206041
-
Database repairing using updates
-
J. Wijsen. Database repairing using updates. ACM Transactions on Database Systems, 30(3):722-768, 2005.
-
(2005)
ACM Transactions on Database Systems
, vol.30
, Issue.3
, pp. 722-768
-
-
Wijsen, J.1
-
35
-
-
85156267281
-
Reasoning about action using a possible models approach
-
AAAI press
-
M. Winslett. Reasoning about action using a possible models approach. Proc. AAAI'98, pp.89-93. AAAI press, 1988.
-
(1988)
Proc. AAAI'98
, pp. 89-93
-
-
Winslett, M.1
|