-
1
-
-
0000128393
-
On the logic of theory change: Partial meet contraction and revision functions
-
[Alc 85]
-
[Alc 85] Alchourron C., Gardenfors P., Makinson D., "On The Logic Of Theory Change: Partial Meet Contraction And Revision Functions", Journal Of Symbolic Logic, Vol. 50, 1985, P. 510-530.
-
(1985)
Journal Of Symbolic Logic
, vol.50
, pp. 510-530
-
-
Alchourron, C.1
Gardenfors, P.2
Makinson, D.3
-
2
-
-
0003727420
-
-
[Baa 03] F., Eds. Cambridge University Press
-
[Baa 03] Baader F., Calvanese D., Mcguinness D., Nardi D., Patel-Schneider P. F., Eds., The Description Logic Handbook: Theory, Implementation, And Applications, Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, And Applications
-
-
Baader, F.1
Calvanese, D.2
Mcguinness, D.3
Nardi, D.4
Patel-Schneider, P.5
-
3
-
-
84990602723
-
Combining knowledgebases consisting of first-order theories
-
[Bar 92]
-
[Bar 92] Baral C., Kraus S., Minker J., Subrahmanian V., "Combining Knowledgebases Consisting Of First-Order Theories", Computational Intelligence, Vol. 8, 1992, P. 45-71.
-
(1992)
Computational Intelligence
, vol.8
, pp. 45-71
-
-
Baral, C.1
Kraus, S.2
Minker, J.3
Subrahmanian, V.4
-
5
-
-
0035283778
-
Semantic integration of heterogeneous information sources
-
DOI 10.1016/S0169-023X(00)00047-1
-
[Ber 01] Bergamaschi S., Castano S., Vincini M., Beneventano D., "Semantic Integration Of Heterogeneous Information Sources", Data And Knowledge Engineering, Vol. 36, 2001, P. 215-249. (Pubitemid 32077266)
-
(2001)
Data and Knowledge Engineering
, vol.36
, Issue.3
, pp. 215-249
-
-
Bergamaschi, S.1
Castano, S.2
Vincini, M.3
Beneventano, D.4
-
6
-
-
0002968811
-
Description logic framework for information integration
-
[Cal 98A]
-
[Cal 98A] Calvanese D., Giacomo G. D., Lenzerini M., Nardi D., Rosati R., "Description Logic Framework For Information Integration", Proceedings Of The 6Th Conference On The Principles Of Knowledge Representation And Reasoning (Kr'98), Morgan Kaufmann, 1998, P. 2-13.
-
(1998)
Proceedings Of The 6Th Conference On The Principles Of Knowledge Representation And Reasoning (Kr'98), Morgan Kaufmann
, pp. 2-13
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Nardi, D.4
Rosati, R.5
-
7
-
-
0002918607
-
Source integration in data warehousing
-
[Cal 98B]
-
[Cal 98B] Calvanese D., Giacomo G. D., Lenzerini M., Nardi D., Rosati R., "Source Integration In Data Warehousing", Proceedings Of The 9Th International Workshop On Database And Expert Systems (Dexa'98), Ieee Computer Society Press, 1998, P. 192-197.
-
(1998)
Proceedings Of The 9Th International Workshop On Database And Expert Systems (Dexa'98) Ieee Computer Society Press
, pp. 192-197
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Nardi, D.4
Rosati, R.5
-
8
-
-
0031707955
-
Reasoning about data provided by federated deductive databases
-
[Cho 98] Cholvy L., "Reasoning With Data Provided By Federated Databases", Journal Of Intelligent Information Systems, Vol. 10, 1998, P. 49-80. (Pubitemid 128513365)
-
(1998)
Journal of Intelligent Information Systems
, vol.10
, Issue.1
, pp. 49-80
-
-
Cholvy, L.1
-
9
-
-
0035474773
-
Merging databases: Problems and examples
-
DOI 10.1002/int.1056, Data an Knowledge Fusion (Part I of II)
-
[Cho 01] Cholvy L., Moral S., "Merging Databases: Problems And Examples", International Journal Of Intelligent Systems, Vol. 10, 2001, P. 1193-1221. (Pubitemid 32975207)
-
(2001)
International Journal of Intelligent Systems
, vol.16
, Issue.10
, pp. 1193-1221
-
-
Cholvy, L.1
Moral, S.2
-
10
-
-
0031710352
-
A web-based information system that reasons with structured collections of text
-
[Coh 98]
-
[Coh 98] Cohen W., "A Web-Based Information System That Reasons With Structured Collections Of Text", Proceedings Of Autonomous Agents'98, 1998.
-
(1998)
Proceedings Of Autonomous Agents'98
-
-
Cohen, W.1
-
12
-
-
5444267733
-
A data warehouse conceptual data model for multidimensional aggregation
-
[Fra 99] Gatziu S., Jeusfeld M., Staudt M., Vassiliou Y., Eds.
-
[Fra 99] Franconi E., Sattler U., "A Data Warehouse Conceptual Data Model For Multidimensional Aggregation", Gatziu S., Jeusfeld M., Staudt M., Vassiliou Y., Eds., Proceedings Of The Workshop In Design And Management Of Data Warehouses, 1999.
-
(1999)
Proceedings Of The Workshop In Design And Management Of Data Warehouses
-
-
Franconi, E.1
Sattler, U.2
-
15
-
-
0031161954
-
Templatebased wrappers in the tsimmis system
-
[Ham 97]
-
[Ham 97] Hammer J., Garcia-Molina H., Nestorov S., Yerneni R., "Templatebased Wrappers In The Tsimmis System", Proceedings Of Acm Sigmod'97, Acm, 1997.
-
(1997)
Proceedings Of Acm Sigmod'97, Acm
-
-
Hammer, J.1
Garcia-Molina, H.2
Nestorov, S.3
Yerneni, R.4
-
16
-
-
84886308598
-
The FaCT system
-
Automated Reasoning with Analytic Tableaux and Related Methods
-
[Hor 98] Horrocks I., "The Fact System", Automated Reasoning With Analytic Tableaux And Related Methods: International Conference Tableaux'98, Vol. 1397 Of Lecture Notes In Artificial Intelligence, Springer, 1998, P. 307-312. (Pubitemid 128067850)
-
(1998)
Lecture Notes In Computer Science
, Issue.1397
, pp. 307-312
-
-
Horrocks, I.1
-
17
-
-
84867797977
-
Developing finite domain constraints-a data model approach
-
[Hui 00] Springer
-
[Hui 00] Hui K., Gray P., "Developing Finite Domain Constraints-A Data Model Approach", Proceedings Of Computation Logic 2000 Conference, Springer, 2000, P. 448-462.
-
(2000)
Proceedings Of Computation Logic 2000 Conference
, pp. 448-462
-
-
Hui, K.1
Gray, P.2
-
18
-
-
0034259074
-
Merging potentially inconsistent items of structured text
-
[Hun 00A]
-
[Hun 00A] Hunter A., "Merging Potentially Inconsistent Items Of Structured Text", Data And Knowledge Engineering, Vol. 34, 2000, P. 305-332.
-
(2000)
Data And Knowledge Engineering
, vol.34
, pp. 305-332
-
-
Hunter, A.1
-
19
-
-
0034438037
-
Reasoning with inconsistency in structured text
-
DOI 10.1017/S0269888900002046
-
[Hun 00B] Hunter A., "Reasoning With Inconsistency In Structured Text", Knowledge Engineering Review, Vol. 15, 2000, P. 317-337. (Pubitemid 32551493)
-
(2000)
Knowledge Engineering Review
, vol.15
, Issue.4
, pp. 317-337
-
-
Hunter, A.1
-
20
-
-
0036642849
-
Logical fusion rules for merging structured news reports
-
DOI 10.1016/S0169-023X(02)00026-5, PII S0169023X02000265
-
[Hun 02A] Hunter A., "Logical Fusion Rules For Merging Structured News Reports", Data And Knowledge Engineering, Vol. 42, 2002, P. 23-56. (Pubitemid 34524343)
-
(2002)
Data and Knowledge Engineering
, vol.42
, Issue.1
, pp. 23-56
-
-
Hunter, A.1
-
21
-
-
0036534502
-
Merging structured text using temporal knowledge
-
DOI 10.1016/S0169-023X(02)00019-8, PII S0169023X02000198
-
[Hun 02B] Hunter A., "Merging Structured Text Using Temporal Knowledge", Data And Knowledge Engineering, Vol. 41, 2002, P. 29-66. (Pubitemid 34295766)
-
(2002)
Data and Knowledge Engineering
, vol.41
, Issue.1
, pp. 29-66
-
-
Hunter, A.1
-
23
-
-
8344273553
-
Propositional fusion rules
-
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
-
[Hun 03B] Hunter A., Summerton R., "Propositional Fusion Rules", Symbolic And Quantitative Approaches To Reasoning With Uncertainty, Vol. 2711 Of Lecture Notes In Computer Science, Springer, 2003, P. 502-514. (Pubitemid 36904930)
-
(2003)
Lecture Notes In Computer Science
, Issue.2711
, pp. 502-514
-
-
Hunter, A.1
Summerton, R.2
-
26
-
-
26944465599
-
Logical reasoning with multiple granularities of uncertainty in semi-structured information
-
[Hun 04B]
-
[Hun 04B] Hunter A., Liu W., "Logical Reasoning With Multiple Granularities Of Uncertainty In Semi-Structured Information", Proceedings Of The Ipmu Conference, 2004.
-
(2004)
Proceedings Of The Ipmu Conference
-
-
Hunter, A.1
Liu, W.2
-
28
-
-
0002498396
-
On the difference between updating a knowledgebase and revising it
-
[Kat 91]
-
[Kat 91] Katsuno H., Mendelzon A., "On The Difference Between Updating A Knowledgebase And Revising It", Principles Of Knowledge Representation And Reasoning: Proceedings Of The Second International Conference (Kr'91), Morgan Kaufmann, 1991, P. 387-394.
-
(1991)
Principles Of Knowledge Representation And Reasoning: Proceedings Of The Second International Conference (Kr'91), Morgan Kaufmann
, pp. 387-394
-
-
Katsuno, H.1
Mendelzon, A.2
-
30
-
-
0002741286
-
On the logic of merging
-
[Kon 98]
-
[Kon 98] Konieczny S., Pino Perez R., "On The Logic Of Merging", Proceedings Of The Sixth International Conference On Principles Of Knowledge Representation And Reasoning (Kr'98), Morgan Kaufmann, 1998, P. 488-498.
-
(1998)
Proceedings Of The Sixth International Conference On Principles Of Knowledge Representation And Reasoning (Kr'98), Morgan Kaufmann
, pp. 488-498
-
-
Konieczny, S.1
Pino Perez, R.2
-
31
-
-
0031702261
-
Arbitration (or how to merge knowledgebases)
-
[Lib 98]
-
[Lib 98] Liberatore P., Schaerf M., "Arbitration (Or How To Merge Knowledgebases)", Ieee Transactions On Knowledge And Data Engineering, Vol. 10, 1998, P. 76-90.
-
(1998)
Ieee Transactions On Knowledge And Data Engineering
, vol.10
, pp. 76-90
-
-
Liberatore, P.1
Schaerf, M.2
-
32
-
-
0030166907
-
Integration of weighted knowledge bases
-
DOI 10.1016/0004-3702(95)00019-4
-
[Lin 96] Lin J., "Integration Of Weighted Knowledge Bases", Artificial Intelligence, Vol. 83, 1996, P. 363-378. (Pubitemid 126359447)
-
(1996)
Artificial Intelligence
, vol.83
, Issue.2
, pp. 363-378
-
-
Lin, J.1
-
33
-
-
0033701787
-
Integration of information in four-valued logics under non-uniform assumptions
-
[Loy 00]
-
[Loy 00] Loyer Y., Spyratos N., Stamate D., "Integration Of Information In Four-Valued Logics Under Non-Uniform Assumptions", Proceedings Of 30Th Ieee International Symposium On Multiple-Valued Logic (Ismvl2000), Ieee Press, 2000.
-
(2000)
Proceedings Of 30Th Ieee International Symposium On Multiple-Valued Logic (Ismvl2000), Ieee Press
-
-
Loyer, Y.1
Spyratos, N.2
Stamate, D.3
-
34
-
-
0344243538
-
Revision programming
-
PII S0304397597000923
-
[Mar 98] Marek V., Truszczynski M., "Revision Programming", Theoretical Computer Science, Vol. 190, 1998, P. 241-277. (Pubitemid 128638655)
-
(1998)
Theoretical Computer Science
, vol.190
, Issue.2
, pp. 241-277
-
-
Marek, V.W.1
Truszczynski, M.2
-
36
-
-
53949094134
-
Query processing in the tambis bioinformatics source integration system
-
[Pat 99] Baker P., Goble C., Bechhofer S., Brass A.
-
[Pat 99] Paton N., Stevens R., Baker P., Goble C., Bechhofer S., Brass A., "Query Processing In The Tambis Bioinformatics Source Integration System", Proceedings Of The 11Th International Conference On Scientific And Statistical Databases, 1999.
-
(1999)
Proceedings Of The 11Th International Conference On Scientific And Statistical Databases
-
-
Paton, N.1
Stevens, R.2
-
37
-
-
0032187741
-
A general formal framework for schema transformation
-
PII S0169023X98000135
-
[Pou 98] Poulovassilis A., Mcbrien P., "A General Formal Framework For Schema Transformation", Data And Knowledge Engineering, Vol. 28, 1998, P. 47-71. (Pubitemid 128431366)
-
(1998)
Data and Knowledge Engineering
, vol.28
, Issue.1
, pp. 47-71
-
-
Poulovassilis, A.1
Mc.Brien, P.2
-
38
-
-
0003253667
-
The kraft architecture for knowledge fusion and transformation
-
[Pre 99]
-
[Pre 99] Preece A., Hui K., Gray A., Marti P., Bench-Capon T., Jeans D., Cui Z., "The Kraft Architecture For Knowledge Fusion And Transformation", Expert Systems, Springer, 1999.
-
(1999)
Expert Systems Springer
-
-
Preece, A.1
Hui, K.2
Gray, A.3
Marti, P.4
Bench-Capon, T.5
Jeans, D.6
Cui, Z.7
-
40
-
-
0025489261
-
Federated database systems for managing distributed, heterogeneous, and autonomous databases
-
[She 90]
-
[She 90] Sheth A., Larson J., "Federated Database Systems For Managing Distributed, Heterogeneous, And Autonomous Databases", Acm Computing Surveys, Vol. 22, 1990, P. 183-236.
-
(1990)
Acm Computing Surveys
, vol.22
, pp. 183-236
-
-
Sheth, A.1
Larson, J.2
-
41
-
-
0001967667
-
Unpacking the semantics of source and usage to perform semantic reconciliation in large-scale information systems
-
[Smi 99] Smith K., Obrst L., "Unpacking The Semantics Of Source And Usage To Perform Semantic Reconciliation In Large-Scale Information Systems", Acm Sigmod Record, Vol. 28, 1999, P. 26-31. (Pubitemid 129553239)
-
(1999)
SIGMOD Record (ACM Special Interest Group on Management of Data)
, vol.28
, Issue.1
, pp. 26-31
-
-
Smith, K.1
Obrst, L.2
|