Reasoning about Data Provided by Federated Deductive Databases

Journal of Intelligent Information Systems

Volumn 10, Issue 1, 1998, Pages 49-80

  Cholvy, Laurence ^a  

^a ONERA   (France)

Author keywords

Belief logic; Contradictory beliefs; Deductive databases and logic; Query answering

Indexed keywords

CLASSIFICATION (OF INFORMATION); DATA REDUCTION; EFFICIENCY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING; QUERY LANGUAGES;

DEDUCTIVE DATABASES;

DATABASE SYSTEMS;

EID: 0031707955     PISSN: 09259902     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008637507908     Document Type: Review

References (32)

1. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V.S. (1991). Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering, 3.
2. Baral, C., Kraus, S., Minker, J. and V.S. Subrahmanian. (1992). Combining knowledge bases consisting of first order theories. Computational Intelligence, 8.
3. Cazalens, S. and Demolombe, R. (1992). Intelligent access to data and knowledge bases via users' topics of interest. Proceedings of IFIP Conference (pp. 245-251.
4. Cazalens, S., Demolombe, R. and Jones, A. (1992). A logic for reasoning about Is About. ESPRIT Project MEDLAR Report.
5. Chellas, B.F. (1980). Modal logic, an introduction. Cambridge University Press.
6. Cholvy, L. (1994). A logical approach to multi-sources reasoning. Lecture notes in Artificial Intelligence, Springer-Verlag.
7. Cholvy, L. (1993). Proving theorems in a multi-sources environment. Proceedings of IJCAI (pp. 66-71).
8. Cholvy, L. (1993). Updates and topics of information. Proceedings of IJCAI'93 Workshop on Reasoning about Action and Change.
9. Cholvy, L. (1994). Fusion de sources d'informations contradictoires ordonnées en fonction des thèmes. Revue de l'Intelligence artificielle, 8.
10. Cholvy, L. (1995). Automated reasoning with merged contradictory information whose reliability depends on topics. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU). Fribourg.
11. Cholvy, L. and Demolombe, R. (1994). Reasoning with information sources ordered by topics. In Proceedings of Artificial Intelligence: Methods, Systems and Applications (AIMSA). World Scientific, Sofia, September 1994.
12. Cholvy, L., Demolombe, R. and Jones, A. (1994). Reasoning about the safety of information: from logical formalization to operational definition. Lecture notes in Artificial Intelligence. Springer-Verlag.
13. Cuppens, F. and Demolombe, R. (1988). Cooperative Answering: a methodology to provide intelligent access to databases. Proceedings of Expert Database Systems.
14. Demichiel, L.G. (1989). Resolving database incompatibility: an approach to performing relational operations over mismatched domains. IEEE Transactions on Knowledge and Data Engineering, 1, 1989.
15. Epstein, R.L. (1990). The Semantic Foundations of Logic, Volume1: Prepositional Logic. Boston:Kluwer Academic Publishers.
16. Fagin, R., Kupper, G., Ullman, J. and Vardi, M. (1986). Updating logical databases. Advances in Computing Research, 3.
17. Fagin, R., Ullman, J.D. and Vardi, M. (1983). On the semantics of updates in databases. ACM TODS (pp. 352-365).
18. Gabbay, D., Giordano, L., Martelli, A. and Olivetti, N. (1995). Hypothetical updates, priority and inconsistency in a logic programming language. Proc of LPNMR '95.Springer.
19. Gardenfors, P. (1988). Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA:The MIT Press.
20. Gardenfors, P. and Makinson, D. (1992). Nonmonotonic inference based on expectations. Artificial Intelligence, to appear.
21. Hughes, G.E. and Cresswell, M.J. (1972). An introduction to modal logic. London and New York:Methren.
22. Katsuno, H. and Mendelzon, A. (1991). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52.
23. Lakemeyer, G. (1993). All they know about. Proceedings of AAAI-93.
24. Lang, J., Benferhat, S., Cayrol, C., Prade, H. and Dubois, D. (1993). Inconsistency management and prioritized syntax-based entailment. Proceedings of IJCAI-93.
25. Motro, A. (1993). A formal framework for integrating inconsistent answers from multiple information sources. Technical Report ISSE-TR-93-106, George Mason University.
26. Motro, A. (1989). Integrity = validity + completeness. ACM TODS, 14.
27. Nebel, B. (1989). A knowledge level analysis of belief revision. Proc of KR'89.
28. Pradhan, S., Minker, J. and Subrahmanian, V.S. (1995). Combining databases with prioritized information. Journal of Intelligent Information Systems, 4,231-260.
29. Prakken, H. and Sartor, G. (1995). On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. Proc. Fifth Conference on Artificial Intelligence and Law. University of Maryland.
30. Prakken, H. and Sartor, G. (1996). A systeme for defeasible argumentation with defeasible prorities. Proc. of FAPR'96. Springer.
31. Reiter, R. (1978). On closed world databases. Logic and data bases. New-York:Plenum Press.
32. Siegel, M. and Madnick, S.E. (1991). A metadata approach to resolving semantic conflicts. Proceedings of VLDB (pp. 133-146).