{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:39:59Z","timestamp":1725489599911},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656913"},{"type":"electronic","value":"9783540491163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49116-3_44","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:56:14Z","timestamp":1187254574000},"page":"467-477","source":"Crossref","is-referenced-by-count":1,"title":["On the Difference of Horn Theories"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Toshihide","family":"Ibaraki","sequence":"additional","affiliation":[]},{"given":"Kazuhisa","family":"Makino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"unstructured":"Y. Boufkhad. Algorithms for Propositional KB Approximation. In Proc. National Conference on AI (AAAI\u2019 98), Madison, Wisconsin, pp. 280\u2013285, July 26\u201330 1998.","key":"44_CR1"},{"unstructured":"M. Cadoli. Semantical and Computational Aspects of Horn Approximations. In Proc. IJCAI-93, pp. 39\u201344, 1993.","key":"44_CR2"},{"key":"44_CR3","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W. Dowling","year":"1984","unstructured":"W. Dowling and J. H. Gallier. Linear-time Algorithms for Testing the Satisfiability of Propositional Horn Theories. J. Logic Programming, 3:267\u2013284, 1984.","journal-title":"J. Logic Programming"},{"unstructured":"T. Eiter, T. Ibaraki, and K. Makino. Computing Intersections of Horn Theories for Reasoning with Models. In: Proc. AAAI\u2019 98, pp. 292\u2013297, 1998.","key":"44_CR4"},{"doi-asserted-by":"crossref","unstructured":"T. Eiter, T. Ibaraki, and K. Makino. Disjunctions of Horn Theories and their Cores. In Proc. 9th Int\u2019l Symp. on Algorithms and Computation (ISAAC)\u2019 98, Dec. 1998.","key":"44_CR5","DOI":"10.1007\/3-540-49381-6_7"},{"unstructured":"T. Eiter, T. Ibaraki, and K. Makino. On the Difference of Horn Theories. RUTCOR Research Report RRR 25-98, Rutgers University 1998.","key":"44_CR6"},{"key":"44_CR7","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1613\/jair.380","volume":"8","author":"G. Gogic","year":"1998","unstructured":"G. Gogic, C. Papadimitriou, and M. Sideri. Incremental Recompilation of Knowledge. J. Artificial Intelligence Research, 8:23\u201337, 1998.","journal-title":"J. Artificial Intelligence Research"},{"key":"44_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0020-0190(88)90065-8","volume":"27","author":"D. S. Johnson","year":"1988","unstructured":"D. S. Johnson, M. Yannakakis, and C. H. Papadimitriou. On Generating All Maximal Independent Sets. Information Processing Letters, 27:119\u2013123, 1988.","journal-title":"Information Processing Letters"},{"key":"44_CR9","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A. O. Mendelzon. Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence, 52:253\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"unstructured":"H. Kautz, M. Kearns, and B. Selman. Reasoning With Characteristic Models. In Proc. AAAI\u2019 93, 1993.","key":"44_CR10"},{"issue":"2","key":"44_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"H. Kautz","year":"1996","unstructured":"H. Kautz and B. Selman. Knowledge Compilation and Theory Approximation. JACM, 43(2):193\u2013224, 1996.","journal-title":"JACM"},{"key":"44_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-57568-5_271","volume-title":"Proc. ISAAC\u2019 93","author":"D. Kavvadias","year":"1993","unstructured":"D. Kavvadias, C. Papadimitriou, and M. Sideri. On Horn Envelopes and Hypergraph Transversals. In Proc. ISAAC\u2019 93, LNCS 762, pp. 399\u2013405, 1993."},{"issue":"1\/2","key":"44_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(96)00006-9","volume":"87","author":"R. Khardon","year":"1996","unstructured":"R. Khardon and D. Roth. Reasoning with Models. Art. Intelligence, 87(1\/2):187\u2013213, 1996.","journal-title":"Art. Intelligence"}],"container-title":["Lecture Notes in Computer Science","STACS 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49116-3_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T23:17:23Z","timestamp":1550791043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49116-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656913","9783540491163"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49116-3_44","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}