{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:19Z","timestamp":1725663859177},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545637"},{"type":"electronic","value":"9783540384663"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54563-8_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:02:15Z","timestamp":1330210935000},"page":"316-325","source":"Crossref","is-referenced-by-count":1,"title":["Investigating the relationships between abduction and inverse resolution in propositional calculus"],"prefix":"10.1007","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attilio","family":"Giordana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenza","family":"Saitta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1109\/34.3917","volume":"PAMI-10","author":"F. Bergadano","year":"1988","unstructured":"F. Bergadano, A. Giordana & L. Saitta (1988): \u201cAutomated Concept Acquisition in Noisy Environments\u201d, IEEE Trans. on Pattern Analysis and Machine Intelligence, PAMI-10, 555\u2013578.","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"M. Botta, S. Ravotto, L. Saitta (1991): \u201cUse of Causal Models and Abduction in Learning Diagnostic Knowledge\u201d, Int. J. of Man-Machine Studies, to appear.","DOI":"10.1016\/0020-7373(92)90019-H"},{"key":"32_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. Clark","year":"1978","unstructured":"K. Clark (1978): \u201cNegation as Failure\u201d, in H. Gallaire and J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, pp. 293\u2013322."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"L. Console, D. Theseider-Dupr\u00e9, P. Torasso (1991): \u201cOn The Relationships between Abduction and Deduction\u201d, Journal of Logic and Computation, to appear.","DOI":"10.1093\/logcom\/1.5.661"},{"key":"32_CR5","unstructured":"L. Console, D. Theseider-Dupr\u00e9, P. Torasso (1989): \u201cAbductive Reasoning through direct Deduction from Completed Domain Models\u201d, in Z. Ras (Ed.), Methodologies for Intelligent Systems 4, North Holland Publ. Co., pp. 175\u2013184."},{"key":"32_CR6","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1007\/3-540-16780-3_125","volume":"230","author":"P. T. Cox","year":"1986","unstructured":"P.T. Cox, T. Pietrzykowski (1986): \u201cCauses for Events: their Computation and Application\u201d, Lecture Notes in Computer Science, 230, 608\u2013621.","journal-title":"Lecture Notes in Computer Science"},{"key":"32_CR7","first-page":"145","volume":"1","author":"G. DeJong","year":"1986","unstructured":"G. DeJong and R. Mooney (1986): \u201cExplanation-Based Learning: An Alternative View\u201d, Machine Learning, 1, 145\u2013176.","journal-title":"Machine Learning"},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer (1986): \u201cAn Assumption-Based Truth Maintenance System\u201d, Artificial Intelligence, 28, 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"32_CR9","unstructured":"J. Finger, M.R. Genesereth (1983): \u201cRESIDUE: A Deductive Approach to Design\u201d; Technical Report HPP 83-46, University of Stanford."},{"key":"32_CR10","unstructured":"H. Geffner (1990): \u201cCausal Theories for Default and Abductive Reasoning\u201d, Proc. AAAI Spring Symposium on Automated Abduction, Stanford, CA, pp. 150\u2013154."},{"key":"32_CR11","unstructured":"R.T. Hartley, MJ. Coombs (1990): \u201cAbduction in Model Generative Reasoning\u201d, Proc. AAAI Spring Symposium on Automated Abduction, Stanford, CA, pp. 130\u2013134."},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(70)90006-8","volume":"1","author":"B. Meltzer","year":"1970","unstructured":"B. Meltzer (1970-a): \u201cThe Semantics of Induction and the Possibility of Complete Systems of Inductive Inference\u201d, Artificial Intelligence, 1, 189\u2013192.","journal-title":"Artificial Intelligence"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"B. Meltzer (1970-b): \u201cGeneration of Hypotheses and Theories\u201d, Nature, 225.","DOI":"10.1038\/225972a0"},{"key":"32_CR14","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(83)90016-4","volume":"20","author":"R. Michalski","year":"1983","unstructured":"R. Michalski (1983) A Theory and Methodology of Inductive Learning, Artificial Intelligence, 20, 111\u2013161.","journal-title":"Artificial Intelligence"},{"key":"32_CR15","first-page":"47","volume":"1","author":"T. Mitchell","year":"1986","unstructured":"T. Mitchell, R.M. Keller, S. Kedar-Cabelli (1986): \u201cExplanation-Based Generalization: A Unifying View\u201d, Machine Learning, 1, 47\u201380.","journal-title":"Machine Learning"},{"key":"32_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(71)90009-9","volume":"2","author":"C. Morgan","year":"1971","unstructured":"C. Morgan (1971): \u201cHypothesis Generation by Machine\u201d, Artificial Intelligence, 2, 179\u2013187.","journal-title":"Artificial Intelligence"},{"key":"32_CR17","unstructured":"S. Morris, O. O'Rorke (1990): \u201cAn Approach to Theory Revision Using Abduction\u201d, Proc. AAAI Spring Symposium on Automated Abduction, Stanford, CA, pp. 33\u201337."},{"key":"32_CR18","unstructured":"S. Muggleton (1987): \u201cDuce, an Oracle Based Approach to Constructive Induction\u201d, Proc. IJCAI-87 (Milan, Italy), pp. 287\u2013292."},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"S. Muggleton, W. Buntine (1988): \u201cMachine Invention of First-Order Predicates by Inverting Resolution\u201d, Proc. Fifth Int. Conf. on Machine Learning, (Ann Arbor, MI), pp. 339\u2013352.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"D. Poole, R. Goebel, R. Aleliunas (1987): \u201cTheorist: a Logical Reasoning System for Default and Diagnosis\u201d, in N. Cercone and G. McCalla (Eds.), The Knowledge Frontier, Springer Verlag, pp. 331\u2013352.","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"32_CR21","first-page":"81","volume":"1","author":"J. R. Quinlan","year":"1986","unstructured":"J.R. Quinlan (1986): \u201cInduction of Decision Trees\u201d, Machine Learning, 1, 81\u2013106.","journal-title":"Machine Learning"},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"C. Rouveirol, J.F. Puget (1990): \u201cBeyond Inversion of Resolution\u201d, Proc. Seventh Int. Conf. on Machine Learning, (Austin, TE), pp. 122\u2013131.","DOI":"10.1016\/B978-1-55860-141-3.50018-3"},{"key":"32_CR23","first-page":"167","volume-title":"Machine Learning, Vol. II","author":"C. Sammut","year":"1986","unstructured":"C. Sammut, R. Banerji (1986): \u201cLearning Concepts by Asking Questions\u201d, in R. Michalski, J. Carbonell & T. Mitchell (Eds.), Machine Learning, Vol. II, Morgan Kaufmann, Los Altos, CA, pp. 167\u2013191."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54563-8_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:51Z","timestamp":1605646551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54563-8_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545637","9783540384663"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-54563-8_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}