03917nam 22006375 450 99646572980331620200701104250.03-540-46798-X10.1007/3-540-51734-0(CKB)1000000000233465(SSID)ssj0000321245(PQKBManifestationID)11262188(PQKBTitleCode)TC0000321245(PQKBWorkID)10263725(PQKB)11174043(DE-He213)978-3-540-46798-4(PPN)155237853(EXLCZ)99100000000023346520121227d1989 u| 0engurnn|008mamaatxtccrAnalogical and Inductive Inference[electronic resource] International Workshop AII '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989, Proceedings /edited by Klaus P. Jantke1st ed. 1989.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1989.1 online resource (IX, 338 p.) Lecture Notes in Artificial Intelligence ;397Bibliographic Level Mode of Issuance: Monograph3-540-51734-0 Inductive inference from good examples -- Inductive inference, DFAs, and computational complexity -- Why and how program synthesis? -- Some thoughts on the role of examples in program transformation and its relevance for explanation-based learning -- Towards representation independence in PAC learning -- Learning context-free languages efficiently -- Learning programs with an easy to calculate set of errors -- Inductive inference up to immune sets -- Refined query inference -- Learning ?-regular languages from queries and counter-examples (a preliminary report) -- A refutation of Barzdins' conjecture -- Generalizing multiple examples in explanation based learning -- Nested hyper-rectangles for exemplar-based learning -- Second-order inductive learning -- Modes of analogy -- Some aspects of analogy in mathematical reasoning -- A sketch of analogy as reasoning with equality hypotheses -- Analogical inference as generalised inductive inference -- Analogical reasoning for second generation expert systems -- Probabilistic inductive inference of indices in enumerable classes of total recursive functions -- Inductive inference for solving divergence in Knuth-Bendix completion -- Towards a set of inference rules for solving divergence in Knuth-Bendix completion -- Inductive synthesis of programs for symbolic sequences processing -- Inductive synthesis of encoding for algebraic abstract data types.Lecture Notes in Artificial Intelligence ;397Artificial intelligenceComputer programmingComputer logicMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Artificial intelligence.Computer programming.Computer logic.Mathematical logic.Artificial Intelligence.Programming Techniques.Logics and Meanings of Programs.Mathematical Logic and Foundations.006.3Jantke Klaus Pedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop AII '89BOOK996465729803316Analogical and Inductive Inference2829764UNISA