{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:51:27Z","timestamp":1772373087973,"version":"3.50.1"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf03037184","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:28:04Z","timestamp":1240352884000},"page":"377-400","source":"Crossref","is-referenced-by-count":58,"title":["Logic programming, abduction and probability"],"prefix":"10.1007","volume":"11","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3\u20134","key":"BF03037184_CR1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K. R. Apt","year":"1991","unstructured":"Apt, K. R. and Bezem, M., \u201cAcyclic Programs,\u201dNew Generation Computing, 9, 3\u20134 pp. 335\u2013363, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037184_CR2","unstructured":"Body, M. and Dean, T., \u201cSolving Time-Dependent Planning Problems,\u201d inProc. 11th International Joint Conf. on Artificial Intelligence, Detroit, MI, pp. 979\u2013984, August 1989."},{"key":"BF03037184_CR3","unstructured":"Charniak, E. and Shimony, S. E., \u201cProbabilistic Semantics for Cost Based Abduction,\u201d inProc. 8th National Conference on Artificial Intelligence, Boston, pp. 106\u2013111, July 1990."},{"key":"BF03037184_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"Clark, K. L., \u201cNegation as Failure,\u201d inLogic and Databases (H. Gallaire and J. Minker, eds.), Plenum Press, New York, pp. 293\u2013322, 1978."},{"issue":"5","key":"BF03037184_CR5","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Theseider Dupre, D. and Torasso, P., \u201cOn the Relationship between Abduction and Deduction,\u201dJournal of Logic and Computation, 1, 5, pp. 661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037184_CR6","series-title":"Technical Report, CS8701","volume-title":"General Diagnosis by Abductive Inference","author":"P. T. Cox","year":"1987","unstructured":"Cox, P. T. and Pietrzykowski, T., \u201cGeneral Diagnosis by Abductive Inference,\u201dTechnical Report, CS8701, Computer Science, Technical University of Nove Scotia, Halifax, April 1987."},{"key":"BF03037184_CR7","unstructured":"D\u2019Ambrosio, B., \u201cReal-Time Value-Driven Diagnosis,\u201d inProc. Third International Workshop on the Principles of Diagnosis, Rosario, Washington, pp. 86\u201395, October 1992."},{"key":"BF03037184_CR8","unstructured":"de Kleer, J. and Williams, B. C., \u201cDiagnosis with Behavioral Modes,\u201d inProc. 11th International Joint Conf. on Artificial Intelligence, Detroit, pp. 1324\u20131330, August 1989."},{"key":"BF03037184_CR9","series-title":"Technical Report, STAN-CS-85-1035","volume-title":"Residue: A Deductive Approach to Design Synthesis","author":"J. J. Finger","year":"1985","unstructured":"Finger, J. J. and Genesereth, M. R., \u201cResidue: A Deductive Approach to Design Synthesis,\u201dTechnical Report, STAN-CS-85-1035, Department of Computer Science, Stanford University, Stanford, Cal., 1985."},{"key":"BF03037184_CR10","doi-asserted-by":"crossref","unstructured":"Goebel, R., Furukawa, K. and Poole, D., \u201cUsing Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning,\u201d inProc. Third International Conference on Logic Programming, (E. Shapiro, ed.), London, pp. 211\u2013222, July 1986.","DOI":"10.1007\/3-540-16492-8_77"},{"key":"BF03037184_CR11","unstructured":"Inoue, K., \u201cConsequence-Finding Based on Ordered Linear Resolution,\u201d inProc. 12th International Joint Conf. on Artificial Intelligence, Sydney, Australia, pp. 158\u2013164, August 1991."},{"issue":"2\u20133","key":"BF03037184_CR12","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K., \u201cLinear Resolution for Consequence Finding,\u201dArtificial Intelligence, 56, 2\u20133, pp. 301\u2013353, August 1992.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"BF03037184_CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"K. E. Korf","year":"1985","unstructured":"Korf, K. E., \u201cDepth-First Iterative Deepening: An Optimal Admissable Tree Search,\u201dArtificial Intelligence, 27, 1, pp. 97\u2013109, September 1985.","journal-title":"Artificial Intelligence"},{"key":"BF03037184_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming, Symbolic Computation Series","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W.,Foundations of Logic Programming, Symbolic Computation Series, 2nd ed., Springer-Verlag, Berlin, 1987.","edition":"2nd ed."},{"key":"BF03037184_CR15","unstructured":"Naish, L., \u201cNegation and Control in Prolog,\u201dLecture Notes in Computer Science 238, Springer-Verlag, 1986."},{"key":"BF03037184_CR16","volume-title":"Heuristics","author":"J. Pearl","year":"1984","unstructured":"Pearl, J.Heuristics, Addison-Wesley, Reading, MA, 1984."},{"key":"BF03037184_CR17","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.,Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"BF03037184_CR18","unstructured":"Pereira, F. C. N. and Shieber, S. M.,Prolog and Natural-Language Analysis, Center for the Study of Language and Information, 1987."},{"key":"BF03037184_CR19","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF03037324","volume":"2","author":"D. A. Plaisted","year":"1984","unstructured":"Plaisted, D. A., \u201cThe Occur-Check Problem in Prolog,\u201dNew Generation Computing, 2, pp. 309\u2013322, 1984.","journal-title":"New Generation Computing"},{"issue":"1","key":"BF03037184_CR20","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D., \u201cA Logical Framework for Default Reasoning,\u201dArtificial Intelligence, 36, 1, pp. 27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"key":"BF03037184_CR21","unstructured":"Poole, D., \u201cRepresenting Knowledge for Logic-Based Diagnosis,\u201d inInternational Conference on Fifth Generation Computing Systems, Tokyo, Japan, pp. 1282\u20131290, November 1988."},{"issue":"1","key":"BF03037184_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037149","volume":"9","author":"D. Poole","year":"1991","unstructured":"Poole, D., \u201cCompiling a Default Reasoning System into Prolog,\u201dNew Generation Computing, 9, 1, pp. 3\u201338, 1991.","journal-title":"New Generation Computing"},{"key":"BF03037184_CR23","doi-asserted-by":"crossref","unstructured":"Poole, D., \u201cRepresenting Bayesian Networks within Probabilistic Horn Abduction,\u201din Proc. Seventh Conf. on Uncertainty in Artificial Intelligence, Los Angeles, pp. 271\u2013278, July 1991.","DOI":"10.1016\/B978-1-55860-203-8.50039-5"},{"key":"BF03037184_CR24","unstructured":"Poole, D., \u201cRepresenting Diagnostic Knowledge for Probabilistic Horn Abduction,\u201d inProc. 12th International Joint Conf. on Artificial Intelligence, Sydney, pp. 1129\u20131135, August 1991."},{"key":"BF03037184_CR25","unstructured":"Poole, D., \u201cProbabilistic Horn Abduction and Bayesian Networks,\u201dTechnical Report, 92-20, Department of Computer Science, University of British Columbia, August 1992, to appear,Artificial Intelligence, 1993."},{"key":"BF03037184_CR26","unstructured":"Poole, D., \u201cSearch for Computing Posterior Probabilities in Bayesian Natworks,\u201dTechnical Report, 92-24, Department of Computer Science, University of British Columbia, September 1992."},{"key":"BF03037184_CR27","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"Poole, D., Goebel, R. and Aleliunas, R., \u201cTheorist: A Logical Reasoning System for Defaults and Diagnosis,\u201d inThe Knowledge Frontier: Essays in the Representation of Knowledge (N. Cercone and G. McCalla, eds.), Springer-Verlag, New York, NY, pp. 331\u2013352, 1987."},{"key":"BF03037184_CR28","unstructured":"Pople, Jr. H. E., \u201cOn the Mechanization of Abductive Logic,\u201d inProc. 3rd International Joint Conf. on Artificial Intelligence, Stanford, pp. 147\u2013152, August 1973."},{"key":"BF03037184_CR29","unstructured":"Reiter, R. and de Kleer, J., \u201cFoundations of Assumption-Based Truth Maintenance Systems: Preliminary Report,\u201d inProc. 6th National Conference on Artificial Intelligence, Seattle, pp. 183\u2013188, July 1987."},{"issue":"1","key":"BF03037184_CR30","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1991.tb00331.x","volume":"7","author":"A. Sattar","year":"1991","unstructured":"Sattar, A. and Goebel, R., \u201cUsing Crucial Literals to Select Better Theories,\u201dComputational Intelligence, 7, 1, pp. 11\u201322, February 1991.","journal-title":"Computational Intelligence"},{"key":"BF03037184_CR31","unstructured":"Shanahan, M., \u201cPrediction is Deduction, but Explanation Is Abduction,\u201d inProc. 11th International Joint Conf. on Artificial Intelligence, Detroit, Mich., pp. 1055\u20131060, August, 1989."},{"key":"BF03037184_CR32","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E.,The Art of Prolog, MIT Press, Cambridge, MA, 1986."},{"key":"BF03037184_CR33","series-title":"Technical Note","volume-title":"A Prolog-Like Inference System for Computing Minimum-Cost Abductive Explanations in Natural Language Interpretations","author":"M. E. Stickel","year":"1988","unstructured":"Stickel, M. E., \u201cA Prolog-Like Inference System for Computing Minimum-Cost Abductive Explanations in Natural Language Interpretations,\u201dTechnical Note, 451, SRI International, Menlo Park, CA, September, 1988."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037184.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037184\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:31Z","timestamp":1558558351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037184"}},"subtitle":["\u2014A top-down anytime algorithm for estimating prior and posterior probabilities\u2014"],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":33,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF03037184"],"URL":"https:\/\/doi.org\/10.1007\/bf03037184","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}