Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics

This paper presents a theorem prover for reasoning with information which is provided by several information sources and which may be contradictory.

[1]  Gabriel M. Kuper,et al.  On the equivalence of logical databases , 1984, PODS '84.

[2]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[3]  Robert Demolombe,et al.  Reasoning with information sources ordered by topics , 1995 .

[4]  Stuart E. Madnick,et al.  A Metadata Approach to Resolving Semantic Conflicts , 2011, VLDB.

[5]  Marianne Winslett Wilkins.  A model-theoretic approach to updating logical databases , 1985, PODS 1985.

[6]  Laurence Cholvy,et al.  Proving Theorems in a Multi-Source Environment , 1993, IJCAI.

[7]  Robert Demolombe,et al.  Deriving answers to safety queries , 1994 .

[8]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[9]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[10]  Nick Roussopoulos,et al.  Interoperability In Multidatabases: Semantic and System Issues (Panel) , 1991, VLDB.

[11]  LINDA G. DEMICHIEL,et al.  Resolving Database Incompatibility: An Approach to Performing Relational Operations over Mismatched Domains , 1989, IEEE Trans. Knowl. Data Eng..

[12]  Robert Demolombe,et al.  Intelligent Access to Data and Knowledge Bases via User's Topics of Interest , 1992, IFIP Congress.

[13]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[14]  Frédéric Cuppens,et al.  Cooperative Answering: A Methodology to Provide Intelligent Access to databases , 1988, Expert Database Conf..

[15]  Laurence Cholvy,et al.  A Logical Approach to Multi-Sources Reasoning , 1992, Logic at Work.

[16]  Gerhard Lakemeyer.  All They Know About , 1993, AAAI.

[17]  Amihai Motro,et al.  Integrity = validity + completeness , 1989, TODS.

[18]  Didier Dubois,et al.  Dealing with Multi-Source Information in Possibilistic Logic , 1992, ECAI.

[19]  Serge Abiteboul,et al.  Update Semantics for Incomplete Databases , 1985, VLDB.