{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:04Z","timestamp":1725663304961},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171799"},{"type":"electronic","value":"9783540472391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17179-7_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:08:55Z","timestamp":1330178935000},"page":"96-107","source":"Crossref","is-referenced-by-count":2,"title":["Explicit representation of terms defined by counter examples"],"prefix":"10.1007","author":[{"given":"J. -L.","family":"Lassez","sequence":"first","affiliation":[]},{"given":"K.","family":"Marriott","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"6_CR1","first-page":"293","volume-title":"Logic & Databases","author":"K. Clark","year":"1978","unstructured":"K. Clark, Negation as Failure, Logic & Databases (Ed. H. Gallaire & J. Minker), Plenum Press, New York, 1978, 293\u2013322."},{"key":"6_CR2","unstructured":"A. Colmerauer, Equations and Inequations on Finite and Infinite Trees, FGCS'84 Proceedings, Nov. 1984."},{"key":"6_CR3","unstructured":"G. Huet, Resolution d'Equations Dans Des Langages D'Ordre 1,2, ..., \u03c9 (These d'Etat), Universite de Paris VII, Dec. 1976."},{"issue":"4","key":"6_CR4","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, JACM, Vol. 27, No. 4, Oct. 1980, 797\u2013821.","journal-title":"JACM"},{"key":"6_CR5","unstructured":"J. Jaffar, J-L. Lassez & J. Lloyd, Completeness of the Negation-As-Failure Rule, IJCAI-83, 1983, pp 500\u2013506."},{"key":"6_CR6","unstructured":"J-L. Lassez & K. Marriott, Explicit Representation of Terms Defined by Counter Examples, Tech. Report, IBM Thomas J. Watson Lab."},{"key":"6_CR7","unstructured":"J-L. Lassez, M.J. Maher & K. Marriott, Unification Revisited, Tech. Report, IBM Thomas J. Watson Lab., Forthcoming."},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(83)90016-4","volume":"20","author":"R. S. Michalski","year":"1983","unstructured":"R.S. Michalski, A Theory and Methodology of Inductive Learning, Artificial Intelligence 20, 1983, 111\u2013161.","journal-title":"Artificial Intelligence"},{"key":"6_CR9","unstructured":"T.M. Mitchell, Version Spaces: An Approach to Concept Learning, (Ph.D Thesis), STAN-CS-78-711, Comp. Science Dept., Stanford University, Dec. 1978."},{"key":"6_CR10","unstructured":"L. Naish, The MU-Prolog 3.2 Reference Manual, Tech. Rpt. 85\/11, Comp. Science Dept., Melbourne University, 1985."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"L. Naish, Negation & Quantifiers in NU-Prolog, Proc. 3rd Conf. on Logic Programming, July 1986.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"6_CR12","first-page":"153","volume":"5","author":"G. D. Plotkin","year":"1970","unstructured":"G.D. Plotkin, A Note on Inductive Generalization, Machine Intelligence 5, (B. Meltzer & D. Michie Eds.), 1970, 153\u2013163.","journal-title":"Machine Intelligence"},{"key":"6_CR13","first-page":"101","volume":"6","author":"G. D. Plotkin","year":"1971","unstructured":"G.D. Plotkin, A Further Note on Inductive Generalization, Machine Intelligence 6, (B. Meltzer & D. Michie Eds.), 1971, 101\u2013124.","journal-title":"Machine Intelligence"},{"key":"6_CR14","first-page":"135","volume":"5","author":"J. C. Reynolds","year":"1970","unstructured":"J.C. Reynolds, Transformational Systems and the Algebraic Structure of Atomic Formulas, Machine Intelligence 5, (B. Meltzer & D. Michie Eds.), 1970, 135\u2013152.","journal-title":"Machine Intelligence"},{"issue":"1","key":"6_CR15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J.A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, JACM, Vol. 12, No. 1, Jan. 1965, pp 23\u201341.","journal-title":"JACM"},{"key":"6_CR16","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0004-3702(80)90038-7","volume":"14","author":"S. A. Vere","year":"1980","unstructured":"S.A. Vere, Multilevel Counterfactuals for Generalization of Relational Concepts and Productions, Artificial Intelligence 14, 1980, 139\u2013164.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17179-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:09:43Z","timestamp":1619543383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17179-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171799","9783540472391"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-17179-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}