{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:16Z","timestamp":1725489136337},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679257"},{"type":"electronic","value":"9783540445333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44533-1_13","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T20:48:10Z","timestamp":1187210890000},"page":"93-103","source":"Crossref","is-referenced-by-count":0,"title":["The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Prendinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitsuru","family":"Ishizuka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsu","family":"Yamamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"137","volume":"10","author":"M. Cadoli","year":"1997","unstructured":"Marco Cadoli and Francesco M. Donini. A survey on knowledge compilation. AI Communications, 10:137\u2013150, 1997.","journal-title":"AI Communications"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"U. S. Charkravarthy, John Grant, and Jack Minker. Foundations of semantic query optimization for deductive databases. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 243\u2013273. Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"key":"13_CR3","unstructured":"John Debenham. Knowledge object decomposition. In Proceedings 12th International FLAIRS Conference (FLAIRS-99), pages 203\u2013207, 1999."},{"issue":"1\u20132","key":"13_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"Thomas Eiter and Georg Gottlob. The complexity of logic-based abduction. Journal of the ACM, 42(1\u20132):3\u201342, 1995.","journal-title":"Journal of the ACM"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Mitsuru Ishizuka and Yutaka Matsuo. SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning. In Proceedings 5th Pacific Rim Conference on Artificial Intelligence (PRICAI-98), pages 611\u2013625, 1998.","DOI":"10.1007\/BFb0095305"},{"key":"13_CR6","unstructured":"Henry Kautz and Bart Selman. Pushing the envelope: Planning, propositional logic, and stochastic search. In Proceedings 13th National Conference on Artificial Intelligence (AAAI-96), 1996."},{"key":"13_CR7","unstructured":"Hector J. Levesque. A completeness result for reasoning with incomplete first-order knowledge bases. In Proceedings 6th Conference on Principles of Knowledge Representation and Reasoning (KR-98), pages 14\u201323, 1998."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0004-3702(97)00049-0","volume":"97","author":"A. Y. Levy","year":"1997","unstructured":"Alon Y. Levy, Richard E. Fikes, and Yehoshua Sagiv. Speeding up inferences using relevance reasoning: a formalism and algorithms. Artificial Intelligence, 97:83\u2013136, 1997.","journal-title":"Artificial Intelligence"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00061-6","volume":"91","author":"Y. Ohsawa","year":"1997","unstructured":"Yukio Ohsawa and Mitsuru Ishizuka. Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions. Artificial Intelligence, 91:131\u2013154, 1997.","journal-title":"Artificial Intelligence"},{"key":"13_CR10","unstructured":"Helmut Prendinger and Mitsuru Ishizuka. Preparing a first-order knowledge base for fast inference. In Proceedings 12th International FLAIRS Conference (FLAIRS-99), pages 208\u2013121, 1999."},{"key":"13_CR11","unstructured":"Helmut Prendinger and Mitsuru Ishizuka. Qualifying the expressivity\/efficiency tradeoff: Reformation-based diagnosis. In Proceedings 16th National Conference on Artificial Intelligence (AAAI-99), pages 416\u2013421, 1999."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0304-3975(94)00227-A","volume":"142","author":"M. Proietti","year":"1995","unstructured":"Maurizio Proietti and Alberto Pettorossi. Unfolding\u2014definition\u2014folding, in this order, for avoiding unnecessary variables in logic programs. Theoretical Computer Science, 142:89\u2013124, 1995.","journal-title":"Theoretical Computer Science"},{"key":"13_CR13","volume-title":"Beyond Classical Logic","author":"G. Schurz","year":"1999","unstructured":"Gerhard Schurz. Relevance in deductive reasoning: A critical overview. In G. Schurz and M. Ursic, editors, Beyond Classical Logic. Academia Press, St. Augustin, 1999."},{"key":"13_CR14","unstructured":"Bart Selman and Henry Kautz. Domain-independent extensions to GSAT: Solving large structured satisfiability problems. In Proceedings 13th International Conference on Artificial Intelligence (IJCAI-93), pages 290\u2013295, 1993."},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"G. Sutcliffe and C. B. Suttner. The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning, 21(2):177\u2013203, 1998.","journal-title":"Journal of Automated Reasoning"},{"key":"13_CR16","unstructured":"Hisao Tamaki and Taisuke Sato. Unfold\/fold transformation of logic programs. In Proceedings 2nd International Logic Programming Conference, pages 127\u2013138, 1984."},{"key":"13_CR17","unstructured":"Brian C. Williams and P. Pandurang Nayak. A model-based approach to reactive self-configuring systems. In Proceedings 13th National Conference on Artificial Intelligence (AAAI-96), pages 971\u2013978, 1996."}],"container-title":["Lecture Notes in Computer Science","PRICAI 2000 Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44533-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T03:40:19Z","timestamp":1556768419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44533-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679257","9783540445333"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44533-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}