{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:19Z","timestamp":1725494479238},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540767183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76719-0_10","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T14:38:05Z","timestamp":1194878285000},"page":"61-72","source":"Crossref","is-referenced-by-count":1,"title":["Prime Implicates for Approximate Reasoning"],"prefix":"10.1007","author":[{"given":"David","family":"Rajaratnam","sequence":"first","affiliation":[]},{"given":"Maurice","family":"Pagnucco","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-54712-6_219","volume-title":"Trends in Artificial Intelligence","author":"M. Cadoli","year":"1991","unstructured":"Cadoli, M., Schaerf, M.: Approximate entailment. In: Ardizzone, E., Sorbello, F., Gaglio, S. (eds.) Trends in Artificial Intelligence. LNCS, vol.\u00a0549, pp. 68\u201377. Springer, Heidelberg (1991)"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation road map. Journal of Artificial Intelligence Research\u00a017, 229\u2013264 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1-2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(95)00053-4","volume":"81","author":"R. Schrag","year":"1996","unstructured":"Schrag, R., Crawford, J.M.: Implicates and prime implicates in random 3-SAT. Artificial Intelligence\u00a081(1-2), 199\u2013222 (1996)","journal-title":"Artificial Intelligence"},{"key":"10_CR4","first-page":"780","volume-title":"Proc. of the Tenth National Conf. on Artificial Intelligence","author":"J. Kleer de","year":"1992","unstructured":"de Kleer, J.: An improved incremental algorithm for generating prime implicates. In: Rosenbloom, P., Szolovits, P. (eds.) Proc. of the Tenth National Conf. on Artificial Intelligence, pp. 780\u2013785. AAAI Press, Stanford (1992)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60058-2","volume-title":"Tractable Reasoning in Aritificial Intelligence","author":"M. Cadoli","year":"1995","unstructured":"Cadoli, M.: Tractable Reasoning in Aritificial Intelligence. LNCS, vol.\u00a0941. Springer, Heidelberg (1995)"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02136173","volume":"18","author":"M. Cadoli","year":"1996","unstructured":"Cadoli, M., Schaerf, M.: On the complexity of entailment in propositional multivalued logics. Annals of Math. and Artificial Intelligence\u00a018(1), 29\u201350 (1996)","journal-title":"Annals of Math. and Artificial Intelligence"},{"key":"10_CR7","unstructured":"Levesque, H.J.: A knowledge-level account of abduction. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp. 1061\u20131067 (1989)"},{"key":"10_CR8","volume-title":"Logics For Computer Science","author":"A. Singh","year":"2003","unstructured":"Singh, A.: Logics For Computer Science. Prentice Hall of India, New Delhi (2003)"},{"issue":"4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1109\/PGEC.1967.264647","volume":"16","author":"P. Tison","year":"1967","unstructured":"Tison, P.: Generalization of consensus theory and application to the minimalization of boolean functions. IEEE Trans on Elec Computers\u00a0EC-16(4), 446\u2013456 (1967)","journal-title":"IEEE Trans on Elec Computers"},{"issue":"2","key":"10_CR10","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0747-7171(08)80029-6","volume":"9","author":"A. Kean","year":"1990","unstructured":"Kean, A., Tsiknis, G.K.: An incremental method for generating prime implicants\/impicates. Journal of Symbolic Computation\u00a09(2), 185\u2013206 (1990)","journal-title":"Journal of Symbolic Computation"},{"key":"10_CR11","first-page":"459","volume-title":"Proc. of the Tenth National Conf. on Artificial Intelligence","author":"D.G. Mitchell","year":"1992","unstructured":"Mitchell, D.G., Selman, B., Levesque, H.J.: Hard and easy distributions for SAT problems. In: Rosenbloom, P., Szolovits, P. (eds.) Proc. of the Tenth National Conf. on Artificial Intelligence, pp. 459\u2013465. AAAI Press, Menlo Park, California (1992)"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/3-540-49545-2_22","volume-title":"Logics in Artificial Intelligence","author":"F. Koriche","year":"1998","unstructured":"Koriche, F.: A logic for anytime deduction and anytime compilation. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol.\u00a01489, pp. 324\u2013341. Springer, Heidelberg (1998)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1093\/logcom\/14.2.179","volume":"14","author":"M. Finger","year":"2004","unstructured":"Finger, M., Wassermann, R.: Approximate and limited reasoning: Semantics, proof theory, expressivity and control. J. Log. Comput.\u00a014(2), 179\u2013204 (2004)","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76719-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:00:31Z","timestamp":1619521231000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76719-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540767183"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76719-0_10","relation":{},"subject":[]}}