{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:22Z","timestamp":1725455542792},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635864"},{"type":"electronic","value":"9783540696056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023925","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:20:36Z","timestamp":1132384836000},"page":"229-240","source":"Crossref","is-referenced-by-count":1,"title":["Approximate reasoning"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Prendinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Stefan Br\u00fcning and Torsten Schaub. Using classical theorem-proving techniques for approximate reasoning: A revised report. In B. Bouchon-Meunier, R. Yager, and L. Zadeh, editors, Advances in Intelligent Computing, pages 389\u2013398. Springer, 1995.","DOI":"10.1007\/BFb0035972"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"103","DOI":"10.3233\/FI-1994-21126","volume":"21","author":"M. Cadoli","year":"1994","unstructured":"Marco Cadoli and Marco Schaerf. Approximate inference in default logic and circumscription. Fundamenta Informaticae, 21:103\u2013112, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"Keith L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"issue":"5","key":"20_CR4","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Luca Console, Daniele Theseider Dupr\u00e8, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"20_CR5","unstructured":"Todd R. Davis and Stuart J. Russell. A logical approach to reasoning by analogy. In Proceedings 10th International Joint Conference on Artificial Intelligence (AAAI87), pages 264\u2013270, 1987."},{"key":"20_CR6","unstructured":"Thomas Dean and Mark Boddy. An analysis of time-dependent planning. In Proceedings of the Seventh National Conference on Artificial Intelligence, pages 49\u201354, 1988."},{"key":"20_CR7","unstructured":"Marc Denecker, Lode Missiaen, and Maurice Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings ECAI-92, 1992."},{"key":"20_CR8","unstructured":"Charles Elkan. Incremental, approximate planning. In Proceedings of the Eighth National Conference on Artificial Intelligence AAAI-90, pages 145\u2013150, 1990."},{"key":"20_CR9","unstructured":"David W. Etherington and James M. Crawford. Toward efficient default reasoning. In Proceedings 13th National Conference on Artificial Intelligence (AAAI-96), pages 627\u2013632, 1996."},{"key":"20_CR10","unstructured":"Matthew L. Ginsberg. The computational value of nonmonotonic reasoning. In James Allen, Richard Fikes, and Erik Sandevall, editors, Proceedings of the Second International Conference On Principles of Knowledge Representation and Reasoning, Cambridge, Massachusetts, 1991."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Matthew L. Ginsberg. AI and nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic and Uncertain Reasoning, pages 1\u201333. Clarendon Press, 1994.","DOI":"10.1093\/oso\/9780198537472.003.0001"},{"issue":"1","key":"20_CR12","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF00883930","volume":"14","author":"M. L. Ginsberg","year":"1995","unstructured":"Matthew L. Ginsberg. Modality and interrupts. Journal of Automated Reasoning, 14(1):43\u201391, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Georg Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397\u2013425, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"20_CR14","unstructured":"Fangzhen Lin. Embracing causality in specifying the indirect effects of actions. In Proceedings IJCAI-95, pages 1985\u20131991, 1995."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Thomas Linke and Torsten Schaub. Lemma handling in default logic theorem provers. In Proceedings of the Workshop on Applications and Implementations of Nonmonotonic Reasoning Systems (IJCAI-95 Workshop), 1995.","DOI":"10.1007\/3-540-60112-0_33"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0004-3702(86)90016-0","volume":"29","author":"R. S. Michalski","year":"1986","unstructured":"Ryszard S. Michalski and Patrick H. Winston. Variable precision logic. Artificial Intelligence, 29:121\u2013146, 1986.","journal-title":"Artificial Intelligence"},{"key":"20_CR17","first-page":"47","volume":"1","author":"T. M. Mitchell","year":"1986","unstructured":"Tom M. Mitchell, Richard M. Keller, and Smadar T. Kedar-Cabelli. Explanationbased learning: A unifying view. Machine Learning, 1:47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"20_CR18","unstructured":"Helmut Prendinger. Approximate abductive reasoning. Submitted to Conceptus, 1997."},{"key":"20_CR19","series-title":"Technical Report","volume-title":"Approximate common sense reasoning","author":"H. Prendinger","year":"1997","unstructured":"Helmut Prendinger. Approximate common sense reasoning. Technical Report, University of Salzburg, Austria, 1997."},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Marco Schaerf and Marco Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74:249\u2013310, 1995.","journal-title":"Artificial Intelligence"},{"key":"20_CR22","unstructured":"Gerhard Schurz. Relevance criteria for deductive reasoning. Technical report, University of Salzburg, 1996."},{"key":"20_CR23","unstructured":"Mark E. Stickel and W. Mabry Tyson. An analysis of consecutively bounded depth-first search with applications in automated deduction. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 1073\u20131075, 1985."},{"issue":"3","key":"20_CR24","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D. S. Warren","year":"1992","unstructured":"David S. Warren. Memoing for logic programs. Communications of the ACM, 35(3):93\u2013111, 1992.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:03:31Z","timestamp":1706742211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635864","9783540696056"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0023925","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}