Amalgamating Knowledge Bases.

@article{DBLP:journals/tods/Subrahmanian94,
  author    = {V. S. Subrahmanian},
  title     = {Amalgamating Knowledge Bases},
  journal   = {ACM Trans. Database Syst.},
  volume    = {19},
  number    = {2},
  year      = {1994},
  pages     = {291-331},
  ee        = {http://doi.acm.org/10.1145/176567.176571, db/journals/tods/Subrahmanian94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition: ACM Digital Library

References

[Adali and Subrahmanian 1993]

...

[Anand and Subrahmanian 1987]

...

[Baral and Subrahmanian 1993]

Chitta Baral, V. S. Subrahmanian: Dualities Between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. J. Autom. Reasoning 10(3): 399-420(1993) BibTeX

[Baral et al. 1991]

Chitta Baral, Sarit Kraus, Jack Minker: Combining Multiple Knowledge Bases. IEEE Trans. Knowl. Data Eng. 3(2): 208-220(1991) BibTeX

[Baral et al. 1992]

...

[Blair and Subrahmanian 1987]

Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. Theor. Comput. Sci. 68(2): 135-154(1989) BibTeX

[Bowen and Kowalski 1982]

...

[Da Costa et al. 1991]

...

[Dubois et al. 1992]

...

[Dubois et al. 1991a]

Didier Dubois, Jérôme Lang, Henri Prade: Towards Possibilistic Logic Programming. ICLP 1991: 581-595 BibTeX

[Dubois et al. 1991b]

...

[Etherington 1988]

...

[Fagin et al. 1986]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX

[Fagin et al. 1983]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365 BibTeX

[Fitting 1993]

Melvin Fitting: The Family of Stable Models. J. Log. Program. 17(2/3&4): 197-225(1993) BibTeX

[Fitting 1991a]

Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116(1991) BibTeX

[Fitting 1991b]

Melvin Fitting: Well-Founded Semantics, Generalized. ISLP 1991: 71-84 BibTeX

[Fitting 1989]

Melvin Fitting: Negation As Refutation. LICS 1989: 63-70 BibTeX

[Gelfond and Lifschitz 1988]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[Ginsberg 1988]

...

[Grant et al. 1991]

...

[Henschen and Lu 1992]

James J. Lu, Lawrence J. Henschen: The Completeness of GP-Resolution for Annotated Logics. Inf. Process. Lett. 44(3): 135-140(1992) BibTeX

[Henschen and Lu 1991]

...

[Ioannidis and Sellis 1989]

Yannis E. Ioannidis, Timos K. Sellis: Conflict Resolution of Rules Assigning Values to Virtual Attributes. SIGMOD Conference 1989: 205-214 BibTeX

[Kifer and Thirunarayan 1993]

Krishnaprasad Thirunarayan, Michael Kifer: A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artif. Intell. 60(1): 23-50(1993) BibTeX

[Kifer and Li 1988]

Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117 BibTeX

[Kifer and Lozinskii 1992]

Michael Kifer, Eliezer L. Lozinskii: A Logic for Reasoning with Inconsistency. J. Autom. Reasoning 9(2): 179-215(1992) BibTeX

[Kifer and Lozinskii 1989]

Michael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency. LICS 1989: 253-262 BibTeX

[Kifer and Subrahmanian 1989]

Michael Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12(3&4): 335-367(1992) BibTeX

[Kifer and Wu 1989]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 BibTeX

[Kifer et al. 1989]

...

[Lloyd 1987]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[Lu 1992]

...

[Marek et al. 1992]

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460 BibTeX

[Marek et al. 1990]

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems. LICS 1990: 79-94 BibTeX

[Murray and Rosenthal 1991]

...

[Ng and Subrahmanian 1991]

Raymond T. Ng, V. S. Subrahmanian: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. J. Autom. Reasoning 10(2): 191-235(1993) BibTeX

[Ng and Subrahmanian 1990]

Raymond T. Ng, V. S. Subrahmanian: Probabilistic Logic Programming. Inf. Comput. 101(2): 150-201(1992) BibTeX

[Sakama 1992]

Chiaki Sakama: Extended Well-Founded Semantics for Paraconsistent Logic Programs. FGCS 1992: 592-599 BibTeX

[Silberschatz et al. 1991]

Abraham Silberschatz, Michael Stonebraker, Jeffrey D. Ullman: Database Systems: Achievements and Opportunities. Commun. ACM 34(10): 110-120(1991) BibTeX

[Subrahmanian 1992]

V. S. Subrahmanian: Paraconsistent Disjunctive Deductive Databases. Theor. Comput. Sci. 93(1): 115-141(1992) BibTeX

[Subrahmanian 1989]

V. S. Subrahmanian: A Simple Formulation of the Theory of Metalogic Programming. META 1988: 65-101 BibTeX

[Subrahmanian 1987]

V. S. Subrahmanian: On the Semantics of Quantitative Logic Programs. SLP 1987: 173-182 BibTeX

[Van Gelder 1989]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 BibTeX

[Van Gelder et al. 1988]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[Whang et al. 1991]

...

[Zicari et al. 1991]

...

Referenced by

1. Nicholas Q. Trân, Rajiv Bagai: Infinite Relations in Paraconsistent Databases. ADBIS 1999: 275-287
2. Paolo Liberatore, Marco Schaerf: Arbitration (or How to Merge Knowledge Bases). IEEE Trans. Knowl. Data Eng. 10(1): 76-90(1998)
3. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558(1997)
4. Peter Z. Revesz: Model-Theoretic Minimal Chenge Operators for Constraint Databases. ICDT 1997: 447-460
5. Jacques Calmet, Sebastian Jekutsch, Joachim Schü: A Generic Query-Translation Framework for a Mediator Architecture. ICDE 1997: 434-443
6. James J. Lu, Anil Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785(1996)
7. Sibel Adali, K. Selçuk Candan, Yannis Papakonstantinou, V. S. Subrahmanian: Query Caching and Optimization in Distributed Mediator Systems. SIGMOD Conference 1996: 137-148
8. K. Selçuk Candan, Sushil Jajodia, V. S. Subrahmanian: Secure Mediated Databases. ICDE 1996: 28-37
9. Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü: An Executable Graphical Representation of Mediatory Information Systems. ICDE 1996: 124-131
10. James J. Lu, Guido Moerkotte, Joachim Schü, V. S. Subrahmanian: Efficient Maintenance of Materialized Mediated Views. SIGMOD Conference 1995: 340-351
11. Sibel Adali, Ross Emery: A Uniform Framework for Integrating Knowledge in Heterogeneous Knowledge Systems. ICDE 1995: 513-520