{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:02:15Z","timestamp":1649167335942},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,12,2]],"date-time":"2006-12-02T00:00:00Z","timestamp":1165017600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2007,2,28]]},"DOI":"10.1007\/s10817-006-9054-x","type":"journal-article","created":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T06:51:56Z","timestamp":1164955916000},"page":"155-172","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Query Processing with Reduced Implicate Tries"],"prefix":"10.1007","volume":"38","author":[{"given":"Neil V.","family":"Murray","sequence":"first","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,2]]},"reference":[{"issue":"3","key":"9054_CR1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulation with ordered binary decision diagrams. ACM Comput. Surv. 24(3), 293\u2013318 (1992)","journal-title":"ACM Comput. Surv."},{"key":"9054_CR2","first-page":"137","volume":"10","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Donini, F.M.: A survey on knowledge compilation. AI Commun. 10, 137\u2013150 (1997)","journal-title":"AI Commun."},{"key":"9054_CR3","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.: Implicit and incremental computation of primes and essential implicant primes of boolean functions. In: Proceedings of the 29th ACM\/IEEE Design Automation Conference, pp. 36\u201339. (1992)","DOI":"10.1109\/DAC.1992.227866"},{"key":"9054_CR4","first-page":"156","volume-title":"Proceedings, International Conference on Principles of Knowledge Representation and Reasoning (KR98)","author":"A. Darwiche","year":"1998","unstructured":"Darwiche, A.: Compiling devices: a structure-based approach. In: Proceedings, International Conference on Principles of Knowledge Representation and Reasoning (KR98), pp. 156\u2013166. Morgan-Kaufmann, San Francisco, CA (1998)"},{"issue":"4","key":"9054_CR5","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1145\/502090.502091","volume":"48","author":"A. Darwiche","year":"2001","unstructured":"Darwiche, A.: Decomposable negation normal form. J. Assoc. Comput. Mach. 48(4), 608\u2013647 (2001)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9054_CR6","unstructured":"de Kleer, J.: An improved incremental algorithm for computing prime implicants. In: Proceedings of AAAI-92, pp. 780\u2013785. San Jose, CA (1992)"},{"key":"9054_CR7","volume-title":"Building Problem Solvers","author":"K.D. Forbus","year":"1993","unstructured":"Forbus, K.D., de Kleer, J.: Building Problem Solvers. MIT, Cambridge, MA (1993)"},{"issue":"2","key":"9054_CR8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/B:JARS.0000029959.45572.44","volume":"32","author":"L. Hai","year":"2004","unstructured":"Hai, L., Jigui, S.: Knowledge compilation using the extension rule. J. Autom. Reason. 32(2), 93\u2013102 (2004)","journal-title":"J. Autom. Reason."},{"key":"9054_CR9","series-title":"Lecture Notes in Artificial Intelligence, vol. 3488","first-page":"304","volume-title":"Proceedings of the International Symposium on Methodologies for Intelligent Systems, (ISMIS \u201805)","author":"R. H\u00e4hnle","year":"2005","unstructured":"H\u00e4hnle, R., Murray, N.V., Rosenthal, E.: Normal forms for knowledge dompilation. In: Ras, Z. (ed.) Proceedings of the International Symposium on Methodologies for Intelligent Systems, (ISMIS \u201805), In: Lecture Notes in Artificial Intelligence, vol. 3488, pp. 304\u2013313. Springer, Berlin Heidelberg New York (2005)"},{"key":"9054_CR10","first-page":"543","volume-title":"Proceedings of the 10th International Conference on Automated Deductions, Kaiserslautern, Germany, July 1990. Lecture Notes in Artificial Intelligence, vol. 449","author":"P. Jackson","year":"1990","unstructured":"Jackson, P., Pais, J.: Computing prime implicants. In: Proceedings of the 10th International Conference on Automated Deductions, Kaiserslautern, Germany, July 1990. Lecture Notes in Artificial Intelligence, vol. 449, pp. 543\u2013557. Springer, Berlin Heidelberg New York (1990)"},{"key":"9054_CR11","first-page":"253","volume-title":"Proceedings of the 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 1992. Lecture Notes in Artificial Intelligence, vol. 607","author":"P. Jackson","year":"1992","unstructured":"Jackson, P.: Computing prime implicants incrementally. In: Proceedings of the 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 1992. Lecture Notes in Artificial Intelligence, vol. 607, pp. 253\u2013267. Springer, Berlin Heidelberg New York (1992)"},{"key":"9054_CR12","doi-asserted-by":"crossref","unstructured":"Kautz, H., Selman, B.: A general framework for knowledge compilation. In: Proceedings of the International Workshop on Processing Declarative Knowledge (PDK). Kaiserslautern, Germany (1991)","DOI":"10.1007\/BFb0013538"},{"key":"9054_CR13","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.: An incremental method for generating prime implicants\/implicates. J. Symb. Comput. 9, 185\u2013206 (1990)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"9054_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1992.tb00335.x","volume":"8","author":"A. Kean","year":"1992","unstructured":"Kean, A., Tsiknis, G.: Assumption based reasoning and clause management systems. Comput. Intell. 8(1), 1\u201324 (1992)","journal-title":"Comput. Intell."},{"key":"9054_CR15","first-page":"837","volume-title":"Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)","author":"P. Marquis","year":"1995","unstructured":"Marquis, P.: Knowledge compilation using theory prime implicates. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 837\u2013843. Morgan-Kaufmann, San Mateo, CA (1995)"},{"issue":"4","key":"9054_CR16","doi-asserted-by":"crossref","first-page":"514\u201334","DOI":"10.1145\/321479.321481","volume":"15","author":"D.R. Morrison","year":"1968","unstructured":"Morrison, D.R.: PATRICIA \u2013 practical algorithm to retrieve information coded in alphanumeric. J. Assoc. Comput. Mach. 15(4), 514\u201334 (1968)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"3","key":"9054_CR17","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/174130.174135","volume":"40","author":"N.V. Murray","year":"1993","unstructured":"Murray, N.V., Rosenthal, E.: Dissolution: making paths vanish. J. Assoc. Comput. Mach. 40(3), 504\u2013535 (1993)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9054_CR18","first-page":"182","volume-title":"Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS \u201805). Lecture Notes in Artificial Intelligence, vol. 3488","author":"N.V. Murray","year":"2005","unstructured":"Murray, N.V., Rosenthal, E.: Duality in knowledge compilation techniques. In: Ras, Z. (ed.) Proceedings of the International Symposium on Methodologies for Intelligent Systems (ISMIS \u201805). Lecture Notes in Artificial Intelligence, vol. 3488, pp. 182\u2013190. Springer, Berlin Heidelberg New York (2005)"},{"key":"9054_CR19","first-page":"231","volume-title":"Proceedings of the International Conference TABLEAUX 2005 \u2013 Analytic Tableaux and Related Methods, Koblenz, Germany, September 2005. Lecture Notes in Artificial Intelligence, vol. 3702","author":"N.V. Murray","year":"2005","unstructured":"Murray, N.V., Rosenthal, E.: Efficient query processing with compiled knowledge bases. In: Proceedings of the International Conference TABLEAUX 2005 \u2013 Analytic Tableaux and Related Methods, Koblenz, Germany, September 2005. Lecture Notes in Artificial Intelligence, vol. 3702, pp. 231\u2013244. Springer, Berlin Heidelberg New York (2005)"},{"key":"9054_CR20","first-page":"165","volume-title":"Proceedings of the International Conference TABLEAUX 2003 \u2013 Analytic Tableaux and Related Methods, Rome, Italy, September 2003. Lecture Notes in Artificial Intelligence, vol. 2796","author":"N.V. Murray","year":"2003","unstructured":"Murray, N.V., Rosenthal, E.: Tableaux, path dissolution, and decomposable negation normal form for knowledge compilation. In: Proceedings of the International Conference TABLEAUX 2003 \u2013 Analytic Tableaux and Related Methods, Rome, Italy, September 2003. Lecture Notes in Artificial Intelligence, vol. 2796, pp. 165\u2013180. Springer, Berlin Heidelberg New York (2003)"},{"key":"9054_CR21","unstructured":"Ngair, T.: A new algorithm for incremental prime implicate generation. In: Proceedings of IJCAI-93. Chambery, France (1993)"},{"key":"9054_CR22","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","volume":"38","author":"T.C. Przymusinski","year":"1989","unstructured":"Przymusinski, T.C.: An algorithm to compute circumscription. Artif. Intell. 38, 49\u201373 (1989)","journal-title":"Artif. Intell."},{"issue":"3","key":"9054_CR23","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/A:1005721905269","volume":"18","author":"A. Ramesh","year":"1997","unstructured":"Ramesh, A., Becker, G., Murray, N.V.: CNF and DNF considered harmful for computing prime implicants\/implicates. J. Autom. Reason. 18(3), 337\u2013356 (1997) (Kluwer)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9054_CR24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0957-4174(96)00086-3","volume":"12","author":"A. Ramesh","year":"1997","unstructured":"Ramesh, A., Murray, N.V.: An application of non-clausal deduction in diagnosis. Expert Syst. Appl. 12(1), 119\u2013126 (1997)","journal-title":"Expert Syst. Appl."},{"key":"9054_CR25","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32, 57\u201395 (1987)","journal-title":"Artif. Intell."},{"issue":"2","key":"9054_CR26","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge compilation and theory approximation. J. Assoc. Comput. Mach. 43(2), 193\u2013224 (1996)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"4","key":"9054_CR27","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1109\/T-C.1970.222917","volume":"C-19","author":"J.R. Slagle","year":"1970","unstructured":"Slagle, J.R., Chang, C.L., Lee, R.C.T.: A new algorithm for generating prime implicants. IEEE Trans. Comput. C-19(4), 304\u2013310 (1970)","journal-title":"IEEE Trans. Comput."},{"key":"9054_CR28","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0885-064X(92)90033-8","volume":"8","author":"T. Strzemecki","year":"1992","unstructured":"Strzemecki, T.: Polynomial-time algorithm for generation of prime implicants. J. Complex. 8, 37\u201363 (1992)","journal-title":"J. Complex."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9054-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-006-9054-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9054-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:21:47Z","timestamp":1559251307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-006-9054-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,2]]},"references-count":28,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,2,28]]}},"alternative-id":["9054"],"URL":"https:\/\/doi.org\/10.1007\/s10817-006-9054-x","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,2]]}}}