{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:16Z","timestamp":1725663976668},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573708"},{"type":"electronic","value":"9783540480969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57370-4_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:56:35Z","timestamp":1330260995000},"page":"101-110","source":"Crossref","is-referenced-by-count":2,"title":["Inductive resolution"],"prefix":"10.1007","author":[{"given":"Taisuke","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumitaka","family":"Akiba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"Chang,C.C. and Lee,R.C.T., Symbolic Logic and Mechanical Theorem Proving, Academic Press Limited, (1973)."},{"key":"8_CR2","unstructured":"Demolombe, R. and Cerro, L.F., \u201cAn Inference Rule for Hypothesis Generation,\u201d Proc. of IJCAI'91, (1991) pp.152\u2013157."},{"key":"8_CR3","unstructured":"Inoue,K., \u201cConsequence-Finding Based on Ordered Linear Resolution,\u201d Proc. of IJCAI'91, (1991) pp.158\u2013164."},{"key":"8_CR4","unstructured":"Ishizaka,H. and Arimura,H., \u201cEfficient Inductive Inference of Primitive Prologs from Positive Data,\u201d Proc. of ALT'92 (Workshop on Algorithmic Learning Theory) Tokyo (1992) pp.135\u2013146."},{"key":"8_CR5","unstructured":"Kijsirikul,B. et al., \u201cDiscrimination-Based Constructive Induction of Logic Programs,\u201d Proc. of AAAI'92, San Jose, (1992) pp.44\u201349."},{"key":"8_CR6","unstructured":"Kodratoff,Y. and Michalski (ed.), Machine Learning III, Morgan Kaufmann Publishers, Inc., (1990)."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Lapointe,S. and Matwin,S., \u201cSub-unification: A Tool for Efficient Induction of Recursive Programs,\u201d Proc. of ML'92, (1992) pp.273\u2013281.","DOI":"10.1016\/B978-1-55860-247-2.50040-1"},{"key":"8_CR8","unstructured":"Muggleton,S. and Feng,C., \u201cEfficient Induction of Logic Programs,\u201d Proc. of ALT'90, Tokyo (1990) pp.368\u2013381."},{"key":"8_CR9","unstructured":"Muggleton,S.(ed.), Inductive Logic Programming, Academic Press Limited, (1992)."},{"key":"8_CR10","unstructured":"Natarajan,B., Machine Learning, Morgan Kaufmann Publishers, Inc., (1991)."},{"key":"8_CR11","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,\u201d Artificial Intelligence 36 (1988) pp.27\u201347.","journal-title":"Artificial Intelligence"},{"key":"8_CR12","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,\u201d New Generation Computing 9 (1991) pp.3\u201338.","journal-title":"New Generation Computing"},{"key":"8_CR13","first-page":"81","volume":"1","author":"J.R. Quinlan","year":"1986","unstructured":"Quinlan,J.R., \u201cInduction of Decision Trees,\u201d Machine Learning 1 (1986) pp.81\u2013106.","journal-title":"Machine Learning"},{"key":"8_CR14","unstructured":"Roulveirol,C., \u201cCompleteness for inductive procedures,\u201d Proc. of ML'91, (1991) pp.452\u2013456."},{"key":"8_CR15","unstructured":"Satoh,K. and Iwayama,N., \u201cA Query Evaluation Method for Abductive Logic Programming,\u201d JICSLP'92 (Joint Int'l Conf. and Symposium on Logic Programming), Washington, (1992) pp.671\u2013685."},{"key":"8_CR16","unstructured":"Sato,T., \u201cA Complte Set of Rules for Inductive Inference,\u201d Electrotechncial Laboratory report TR-92-44 (1992)."},{"key":"8_CR17","unstructured":"Shoenfield,J.R., Mathematical Logic (2nd ed.) Addison-Wesley, (1973)."},{"key":"8_CR18","unstructured":"Valiant,L.G., \u201cLearning Disjunctions of Conjunctions,\u201d Proc. of IJCAI'85, (1985) pp.560\u2013566."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57370-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:04:36Z","timestamp":1619571876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57370-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573708","9783540480969"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57370-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}