Inductive programming
Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints.
- Comment
- enInductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints.
- Has abstract
- enInductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints. Depending on the programming language used, there are several kinds of inductive programming. Inductive functional programming, which uses functional programming languages such as Lisp or Haskell, and most especially inductive logic programming, which uses logic programming languages such as Prolog and other logical representations such as description logics, have been more prominent, but other (programming) language paradigms have also been used, such as constraint programming or probabilistic programming.
- Hypernym
- Area
- Is primary topic of
- Inductive programming
- Label
- enInductive programming
- Link from a Wikipage to an external page
- lirias.kuleuven.be/handle/123456789/125406
- cacm.acm.org/magazines/2015/11/193326-inductive-programming-meets-the-real-world/abstract%7Cciteseerx=10.1.1.696.3800%7Chdl=10251/64984%7Cs2cid=425881
- emanuel.kitzelmann.org/documents/publications/Kitzelmann2010.pdf%7Cdoi=10.1007/978-3-642-11931-6_3%7Cciteseerx=10.1.1.180.1237%7Cseries=Lecture
- www.atlantis-press.com/php/download_paper.php%3Fid=1839
- www.inductive-programming.org/
- web.archive.org/web/20040906084947/http:/www-ai.ijs.si/SasoDzeroski/ILPBook/
- www.cogsys.wiai.uni-bamberg.de/aaip05/objectives.html
- Link from a Wikipage to another Wikipage
- Abductive logic programming
- Action language
- Artificial general intelligence
- Artificial intelligence
- Automatic programming
- Category:Artificial intelligence
- Category:Logic programming
- Category:Machine learning
- Category:Programming paradigms
- Cognitive science
- Computer programming
- Constraint (mathematics)
- Constraint programming
- Cumulative learning
- Data type
- Declarative programming
- Description logics
- End-user development
- Evolutionary programming
- Formal specification
- Functional logic programming
- Functional programming
- Generative model
- Genetic programming
- Grammar induction
- Haskell (programming language)
- ICML
- Imperative languages
- Inductive logic programming
- Inductive reasoning
- Intelligent tutoring system
- Knowledge acquisition
- Knowledge representation and reasoning
- Lisp (programming language)
- Logic programming
- Machine learning
- Modal logic
- Probabilistic programming language
- Programming by demonstration
- Programming by example
- Program synthesis
- Prolog
- Recursion
- Recursive data type
- Reinforcement learning
- Relational data mining
- Structure mining
- Symbolic artificial intelligence
- Test-driven development
- Tracing (software)
- Turing completeness
- SameAs
- Inductive programming
- m.0 84w5f
- Programación inductiva
- Q15712089
- YxhW
- Индуктивно програмирање
- برمجة استقرائية
- برنامهنویسی استقرایی
- 帰納プログラミング
- 归纳编程
- Subject
- Category:Artificial intelligence
- Category:Logic programming
- Category:Machine learning
- Category:Programming paradigms
- WasDerivedFrom
- Inductive programming?oldid=1092565376&ns=0
- WikiPageLength
- 23724
- Wikipage page ID
- 41644056
- Wikipage revision ID
- 1092565376
- WikiPageUsesTemplate
- Template:Cite book
- Template:Cite journal
- Template:Programming paradigms
- Template:Refbegin
- Template:Reflist