{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:45Z","timestamp":1725488085317},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_22","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T14:41:28Z","timestamp":1186411288000},"page":"324-342","source":"Crossref","is-referenced-by-count":4,"title":["A Logic for Anytime Deduction and Anytime Compilation"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Koriche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"22_CR1","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N. D. Belnap","year":"1977","unstructured":"N. D. Belnap. A useful four-valued logic. In J. M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 8\u201337. Reidel, Dordrecht, 1977."},{"key":"22_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60058-2","volume-title":"Tractable reasoning in artificial intelligence","author":"M. Cadoli","year":"1995","unstructured":"M. Cadoli. Tractable reasoning in artificial intelligence, volume 941 of Lecture Notes in Artificial Intelligence. Springer-Verlag Inc., New York, NY, USA, 1995."},{"unstructured":"M. Cadoli and M. Schaerf. Approximate inference in default reasoning and circumscription. In B. Neumann, editor, Proceedings 10th European Conference on Artificial Intelligence, pages 319\u2013323, Vienna, Austria, 1992. John Wiley & Sons.","key":"22_CR3"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0012-365X(78)90168-1","volume":"24","author":"A. Chandra","year":"1978","unstructured":"A. Chandra and G. Markowsky. On the number of prime implicants. Discrete Mathematics, 24:7\u201311, 1978.","journal-title":"Discrete Mathematics"},{"unstructured":"M. Dalal. Semantics of an anytime family of reasoners. In W. Wahlster, editor, Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), pages 360\u2013364. Wiley & Sons, 1996.","key":"22_CR5"},{"doi-asserted-by":"crossref","unstructured":"R. Dechter and I. Rish. Directional resolution: The davis-putnam procedure, revisited. In P. Torasso, J. Doyle, and E. Sandewall, editors, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pages 134\u2013145, Bonn, Germany, 1994. Morgan Kaufmann.","key":"22_CR6","DOI":"10.1016\/B978-1-4832-1452-8.50109-3"},{"doi-asserted-by":"crossref","unstructured":"A. del Val. Tractable databases: How to make propositional unit resolution complete through compilation. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pages 551\u2013561, Bonn, 1994. Morgan Kaufmann.","key":"22_CR7","DOI":"10.1016\/B978-1-4832-1452-8.50146-9"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"J. M. Dunn. Intuitive semantics for first-degree entailments and coupled trees. Philosophical Studies, 29:149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"22_CR9","series-title":"Lecture Notes in Artificial Intelligence","first-page":"259","volume-title":"Intelligent Agents Volume IV","author":"F. Koriche","year":"1998","unstructured":"F. Koriche. Approximate reasoning about combined knowledge. In M. P. Singh, A. S. Rao, and M. J. Wooldridge, editors, Intelligent Agents Volume IV, volume 1365 of Lecture Notes in Artificial Intelligence, pages 259\u2013273. Springer Verlag, Berlin, Germany, 1998."},{"key":"22_CR10","volume-title":"Approximate Reasoning in Cooperating Knowledge Based Systems","author":"F. Koriche","year":"1998","unstructured":"F. Koriche. Approximate Reasoning in Cooperating Knowledge Based Systems. PhD thesis, Universit\u00e9 de Monptellier II, Montpellier, France, January 1998."},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(84)90009-2","volume":"23","author":"H. J. Levesque","year":"1984","unstructured":"H. J. Levesque. Foundations of a Functional Approach to Knowledge Representation. Artificial Intelligence, 23:125\u2013212, 1984.","journal-title":"Artificial Intelligence"},{"unstructured":"H. J. Levesque. A logic of implicit and explicit belief. In R. J. Brachman, editor, Proceedings of the 6th National Conference on Artificial Intelligence, pages 198\u2013202, Austin, Texas, 1984. William Kaufmann.","key":"22_CR12"},{"key":"22_CR13","first-page":"837","volume":"2","author":"P. Marquis","year":"1995","unstructured":"P. Marquis. Knowledge compilation using theory prime implicates. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, volume 2, pages 837\u2013843, Toronto, Canada, 1995. Morgan Kaufmann.","journal-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence"},{"key":"22_CR14","first-page":"77","volume":"1","author":"J. McCarthy","year":"1958","unstructured":"J. McCarthy. Programs with common sense. In Proceedings of the Symposium on Mechanisation of Thought Processes, volume 1, pages 77\u201384, London, 1958. Her Majesty\u2019s Stationery Office.","journal-title":"Proceedings of the Symposium on Mechanisation of Thought Processes"},{"key":"22_CR15","first-page":"46","volume":"1","author":"T. Ngair","year":"1993","unstructured":"T. Ngair. A new algorithm for incremental prime implicate generation. In Proceedings 13th International Joint Conference on Artificial Intelligence, volume 1, pages 46\u201351, Chamb\u00e9ry, France, aug 1993. Morgan Kaufmann.","journal-title":"Proceedings 13th International Joint Conference on Artificial Intelligence"},{"unstructured":"R. Reiter and J. de Kleer. Foundations of assumption-based truth maintenance systems: Preliminary report. In K. Forbus and H. Shrobe, editors, Proceedings of the 6th National Conference on Artificial Intelligence, pages 183\u2013189, Seattle, (WA) USA, July 1987. Morgan Kaufmann.","key":"22_CR16"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"M. Schaerf and M. Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74:249\u2013310, 1995.","journal-title":"Artificial Intelligence"},{"unstructured":"R. Schrag. Compilation for critically constrained knowledge bases. In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pages 510\u2013516, Menlo Park (CA) USA, August 1996. AAAI Press \/ MIT Press.","key":"22_CR18"},{"issue":"1\u20132","key":"22_CR19","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0004-3702(95)00053-4","volume":"81","author":"R. Schrag","year":"1996","unstructured":"R. Schrag and J. Crawford. Implicates and prime implicates in random 3-SAT. Artificial Intelligence, 81(1\u20132):199\u2013222, 1996.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"22_CR20","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"B. Selman and H. Kautz. Knowledge compilation and theory approximation. Journal of the ACM, 43(2):193\u2013224, 1996.","journal-title":"Journal of the ACM"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(95)00045-3","volume":"81","author":"B. Selman","year":"1996","unstructured":"B. Selman, D. Mitchell, and H. Levesque. Generating hard satisfiability problems. Artificial Intelligence, 81:17\u201330, 1996.","journal-title":"Artificial Intelligence"},{"unstructured":"A. ten Teije and F. van Harmelen. Computing approximate diagnoses by using approximate entailment. In L. C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, pages 256\u2013267, San Francisco CA, USA, 1996. Morgan Kaufmann.","key":"22_CR22"},{"key":"22_CR23","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1109\/PGEC.1967.264647","volume":"4","author":"P. Tison","year":"1967","unstructured":"P. Tison. Generalized consensus theory and application to the minimization of boolean functions. IEEE Transactions on electronic computers, 4:446\u2013456, 1967.","journal-title":"IEEE Transactions on electronic computers"},{"issue":"3","key":"22_CR24","first-page":"73","volume":"17","author":"S. Zilberstein","year":"1996","unstructured":"S. Zilberstein. Using anytime algorithms in intelligent systems. AI Magazine, 17(3):73\u201383, 1996.","journal-title":"AI Magazine"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T19:18:34Z","timestamp":1550690314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}