✦ LIBER ✦

Reflective inductive inference of recursive functions

✍ Scribed by Gunter Grieser

Book ID: 108281414
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 358 KB
Volume: 397
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2008.02.022

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the inductive inference of recursive

On the inductive inference of recursive real-valued functions

✍ Kalvis Apsītis; Setsuo Arikawa; Rũsiņš Freivalds; Eiju Hirowatari; Carl H. Smith 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 894 KB

We combine traditional studies of inductive inference and classical continuous mathematics to produce a study of learning real-valued functions. We consider two possible ways to model the learning by example of functions with domain and range the real numbers. The first approach considers functions

Inductive inference of approximations fo

Inductive inference of approximations for recursive concepts

✍ Steffen Lange; Gunter Grieser; Thomas Zeugmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 397 KB

Inductive Inference of Total Functions (

Inductive Inference of Total Functions (ENG)

✍ Unknown 📂 Fiction 🌐 Italian ⚖ 253 KB

On Inductive Inference

✍ Tenney L. Davis 📂 Article 📅 1917 🏛 Journal of Philosophy, Inc. ⚖ 715 KB

Relational analysis of (co)inductive pre

Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions

✍ Jasmin Christian Blanchette 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 545 KB

Inductive inference of ultimately period

Inductive inference of ultimately periodic sequences

✍ Peter Johansen 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 427 KB