{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T15:47:52Z","timestamp":1648914472662},"reference-count":43,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6227,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1016\/0743-1066(95)00148-4","type":"journal-article","created":{"date-parts":[[2003,4,25]],"date-time":"2003-04-25T10:09:04Z","timestamp":1051265344000},"page":"45-88","source":"Crossref","is-referenced-by-count":8,"title":["Amalgamating knowledge bases, III: Algorithms, data structures and query processing"],"prefix":"10.1016","volume":"28","author":[{"given":"Sibel","family":"Adali","sequence":"first","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(95)00148-4_BIB1","article-title":"Amalgamating Knowledge Bases: II: Algorithms, Data Structures and Query Processing","author":"Adah","year":"1993"},{"issue":"2","key":"10.1016\/0743-1066(95)00148-4_BIB2","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1109\/69.88001","article-title":"Combining Multiple Knowledge Bases","volume":"3","author":"Baral","year":"1991","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"issue":"1","key":"10.1016\/0743-1066(95)00148-4_BIB3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","article-title":"Combining Knowledge Bases Consisting of First Order Theories","volume":"8","author":"Baral","year":"1992","journal-title":"Computational Intell."},{"key":"10.1016\/0743-1066(95)00148-4_BIB4_1","series-title":"Proc. 1991 Int. Workshop on Logic Programming and Nonmonotonic Reasoning","article-title":"Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning","author":"Baral","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB4_2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00881799","volume":"10","author":"Baral","year":"1993","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/0743-1066(95)00148-4_BIB5","series-title":"Proc. 5th Symp. on Principles of Database Syst.","first-page":"1","article-title":"Magic Sets and Other Strange Ways to Implement Logic Programs","author":"Bancilhon","year":"1986"},{"key":"10.1016\/0743-1066(95)00148-4_BIB6","series-title":"Proc. 6th Symp. on Principles of Database Syst.","first-page":"269","article-title":"On the Power of Magic","author":"Beeri","year":"1987"},{"key":"10.1016\/0743-1066(95)00148-4_BIB7","series-title":"Modern Uses of Many Valued Logic","first-page":"8","article-title":"A Useful Four Valued Logic","author":"Belnap","year":"1977"},{"key":"10.1016\/0743-1066(95)00148-4_BIB8_1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(89)90126-6","article-title":"Paraconsistent Logic Programming","volume":"68","author":"Blair","year":"1989","journal-title":"Theoretical Comput. Sci."},{"key":"10.1016\/0743-1066(95)00148-4_BIB8_2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18625-5_59","article-title":"Paraconsistent Logic Programming","author":"Blair","year":"1987"},{"key":"10.1016\/0743-1066(95)00148-4_BIB9","series-title":"Proc. 1992 Int. Conf. on Logic Programming","article-title":"A Goal-Oriented Approach to Computing Well-Founded Semantics","author":"Chen","year":"1992"},{"key":"10.1016\/0743-1066(95)00148-4_BIB10","series-title":"Proc. 1987 IEEE Symp. on Logic Programming","first-page":"264","article-title":"Extension Tables: Memo Relations in Logic Programming","author":"Dietrich","year":"1986"},{"key":"10.1016\/0743-1066(95)00148-4_BIB11","series-title":"Proc. 1991 Int. Conf. on Logic Programming","first-page":"581","article-title":"Towards Possibilistic Logic Programming","author":"Dubois","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB12","series-title":"Proc. 10th European Conf. on Artificial Intelligence","article-title":"Dealing with Multi-Source Information in Possibilistic Logic","author":"Dubois","year":"1992"},{"key":"10.1016\/0743-1066(95)00148-4_BIB13","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J. D., and Vardi, M. Y., On the Semantics of Updates in Databases, in: Proc. ACM SIGACT\/SIGMOD Symp. on Principles of Database Syst., pp. 352\u2013365.","DOI":"10.1145\/588097.588100"},{"key":"10.1016\/0743-1066(95)00148-4_BIB14","first-page":"1","article-title":"Updating Logical Databases","volume":"Vol. 3","author":"Fagin","year":"1986","journal-title":"Advances in Computing Research"},{"key":"10.1016\/0743-1066(95)00148-4_BIB15","series-title":"Proc. 1991 Int. Logic Programming Symp.","first-page":"71","article-title":"Well-Founded Semantics, Generalized","author":"Fitting","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB16","series-title":"Proc. 1st Int. Workshop on Interoperability in Multidatabase Syst.","first-page":"118","article-title":"An Algebra and Calculus for Relational Multidatabase Systems","author":"Grant","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB17","series-title":"Proc. 4th Symp. on Logic in Comput. Sci.","first-page":"253","article-title":"RI: A Logic for Reasoning with Inconsistency","author":"Kifer","year":"1989"},{"issue":"4","key":"10.1016\/0743-1066(95)00148-4_BIB18_1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of Generalized Annotated Logic Programming and its Applications","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(95)00148-4_BIB18_2","series-title":"Proc. 1989 North American Conf. on Logic Programming","article-title":"Theory of Generalized Annotated Logic Programming and its Applications","author":"Kifer","year":"1989"},{"key":"10.1016\/0743-1066(95)00148-4_BIB19","author":"Knuth","year":"1973"},{"key":"10.1016\/0743-1066(95)00148-4_BIB20","author":"Kullman","year":"1994"},{"key":"10.1016\/0743-1066(95)00148-4_BIB21","series-title":"Proc. 11th Int. Conf. on Logic Programming","first-page":"257","article-title":"Computing Annotated Logic Programs","author":"Leach","year":"1994"},{"key":"10.1016\/0743-1066(95)00148-4_BIB22","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/0743-1066(95)00148-4_BIB23","series-title":"Proc. Int. Symp. on Multiple-Valued Logic","first-page":"48","article-title":"Signed Formulas and Annotated Logics, draft manuscript","author":"Lu","year":"1993"},{"key":"10.1016\/0743-1066(95)00148-4_BIB24","unstructured":"Lu, J., Nerode, A., and Subrahmanian, V. S., Hybrid Knowledge Bases, IEEE Trans. Knowledge and Data Eng., submitted May 1993, revised Jan. 1994, accepted Nov. 1994."},{"issue":"2","key":"10.1016\/0743-1066(95)00148-4_BIB25","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","article-title":"An Efficient Unification Algorithm","volume":"4","author":"Martelli","year":"1982","journal-title":"ACM Trans. Prog. Lang. and Syst."},{"key":"10.1016\/0743-1066(95)00148-4_BIB26","first-page":"76","article-title":"Principles of Artificial Intelligence","author":"Nilsson","year":"1980"},{"key":"10.1016\/0743-1066(95)00148-4_BIB27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0743-1066(91)90026-L","article-title":"Magic Templates: A Spellbinding Approach to Logic Programs","volume":"11","author":"Ramakrishnan","year":"1991","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(95)00148-4_BIB28","series-title":"Proc. 5th Int. Conf.\/Symp. on Logic Programming","first-page":"195","article-title":"A Query Evaluation Method for Stratified Programs under the Extended CWA","author":"Seki","year":"1989"},{"key":"10.1016\/0743-1066(95)00148-4_BIB29","series-title":"Proc. 8th ACM Symp. on Principles of Database Syst.","first-page":"150","article-title":"On the Power of Alexander Templates","author":"Seki","year":"1989"},{"key":"10.1016\/0743-1066(95)00148-4_BIB30","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"issue":"2","key":"10.1016\/0743-1066(95)00148-4_BIB31","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","article-title":"Amalgamating Knowledge Bases","volume":"19","author":"Subrahmanian","year":"1994","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/0743-1066(95)00148-4_BIB32","series-title":"Technical Report","article-title":"HERMES: A Heterogeneous Reasoning and Mediator System","author":"Subrahmanian","year":"1994"},{"key":"10.1016\/0743-1066(95)00148-4_BIB33","series-title":"Proc. 3rd Int. Conf. on Logic Programming","first-page":"84","article-title":"OLD Resolution with Tabulation","author":"Tamaki","year":"1986"},{"key":"10.1016\/0743-1066(95)00148-4_BIB34","series-title":"Proc. 8th ACM Symp. on Principles of Database Syst.","first-page":"1","article-title":"The Alternating Fixpoint of Logic Programs with Negation","author":"van Gelder","year":"1989"},{"key":"10.1016\/0743-1066(95)00148-4_BIB35","series-title":"Proc. 4th Int. Conf. on Logic Programming","first-page":"74","article-title":"A Database-Complete Proof Procedure Based on SLD-Resolution","author":"Vieille","year":"1987"},{"issue":"3","key":"10.1016\/0743-1066(95)00148-4_BIB36","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1145\/131295.131299","article-title":"Memoing for Logic Programs","volume":"35","author":"Warren","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1016\/0743-1066(95)00148-4_BIB37","series-title":"Proc. 1st Int. Workshop on Interoperability in Multidatabase Syst.","first-page":"92","article-title":"Logic-Based Approach for Realizing a Federated Information Systems","author":"Whang","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB38","series-title":"Proc. 3rd Nordic Conf. on Advanced Inform. Syst. Eng.","first-page":"124","article-title":"Dealing with Granularity of Time in Temporal Databases","volume":"Vol. 498","author":"Wiederhold","year":"1991"},{"key":"10.1016\/0743-1066(95)00148-4_BIB39","series-title":"Temporal Databases","article-title":"Integrating Temporal Data in a Heterogeneous Environment","author":"Wiederhold","year":"1993"},{"key":"10.1016\/0743-1066(95)00148-4_BIB40","series-title":"Proc. 1st Int. Workshop on Interoperability in Multidatabase Syst.","first-page":"125","article-title":"Interoperability between a Rule-Based Database Language and an Object-Oriented Language","author":"Zicari","year":"1991"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106695001484?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106695001484?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T14:21:56Z","timestamp":1555424516000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106695001484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["0743106695001484"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(95)00148-4","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}