{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:13:20Z","timestamp":1767165200028,"version":"build-2238731810"},"reference-count":20,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Patt. Recogn. Artif. Intell."],"published-print":{"date-parts":[[2000,2]]},"abstract":"<jats:p>We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since the most efficient reasoning methods are defined for propositional logic, while knowledge is most conveniently expressed within a first-order language. To obtain compact propositional representations, we employ techniques from (ir)relevance reasoning as well as theory transformation via unfold\/fold transformations. Application areas include diagnosis, planning, and vision. Preliminary experiments with a hypothetical reasoner indicate that our method may yield significant speed-ups.<\/jats:p>","DOI":"10.1142\/s0218001400000052","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T07:42:39Z","timestamp":1050997359000},"page":"35-57","source":"Crossref","is-referenced-by-count":1,"title":["KNOWLEDGE BASE REFORMATION: PREPARING FIRST-ORDER THEORIES FOR EFFICIENT PROPOSITIONAL REASONING"],"prefix":"10.1142","volume":"14","author":[{"given":"HELMUT","family":"PRENDINGER","sequence":"first","affiliation":[{"name":"Department of Information and Communication Engineering, School of Engineering, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MITSURU","family":"ISHIZUKA","sequence":"additional","affiliation":[{"name":"Department of Information and Communication Engineering, School of Engineering, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GERHARD","family":"SCHURZ","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Section Logic and Philosophy of Science, University of Salzburg, Franziskanergasse 1, A-5020 Salzburg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037168"},{"key":"p_2","first-page":"137","volume":"10","author":"Cadoli M.","year":"1997","journal-title":"AI Commun."},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00042-8"},{"key":"p_5","first-page":"156","author":"Darwiche A.","year":"1998","journal-title":"Proc. 6th Int. Conf. Knowledge Representation and Reasoning (KR-98)"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"p_8","first-page":"611","author":"Ishizuka M.","year":"1998","journal-title":"Proc. 5th Pacific Rim Conf. Artificial Intelligence (PRICAI-98)"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90065-P"},{"key":"p_12","first-page":"588","author":"Levy A. Y.","year":"1994","journal-title":"Proc. 12th National Conf. Artificial Intelligence (AAAI-94)"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00049-0"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1038\/22055"},{"key":"p_16","first-page":"499","author":"Ng H. T.","year":"1992","journal-title":"Proc. 3rd Int. Conf. Knowledge Representation and Reasoning (KR-92)"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00061-6"},{"key":"p_21","first-page":"220","author":"Prendinger H.","year":"1999","journal-title":"10th Int. Workshop Principles of Diagnosis (DX-99)"},{"key":"p_22","first-page":"208","author":"Prendinger H.","year":"1999","journal-title":"Proc. 12th Int. FLAIRS Conf. (FLAIRS-99)"},{"key":"p_23","first-page":"416","author":"Prendinger H.","year":"1999","journal-title":"Proc. 16th National Conf. Artificial Intelligence (AAAI99)"},{"key":"p_24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00227-A"},{"key":"p_26","first-page":"290","author":"Selman B.","year":"1993","journal-title":"Proc. 13th Int. Conf. Artificial Intelligence (IJCAI93)"},{"key":"p_27","first-page":"440","author":"Stumptner M.","year":"1997","journal-title":"Proc. 15th Int. Conf. Artificial Intelligence (IJCAI-97)"},{"key":"p_28","first-page":"127","author":"Tamaki H.","year":"1984","journal-title":"Proc. 2nd Int. Logic Programming Conf."},{"key":"p_29","first-page":"1178","author":"Williams B. C.","year":"1997","journal-title":"Proc. 15th Int. Conf. Artificial Intelligence (IJCAI-97)"}],"container-title":["International Journal of Pattern Recognition and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218001400000052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T22:11:45Z","timestamp":1565129505000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218001400000052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":20,"aliases":["10.1016\/s0218-0014(00)00005-2"],"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2000,2]]}},"alternative-id":["10.1142\/S0218001400000052"],"URL":"https:\/\/doi.org\/10.1142\/s0218001400000052","relation":{},"ISSN":["0218-0014","1793-6381"],"issn-type":[{"value":"0218-0014","type":"print"},{"value":"1793-6381","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}