Results 311 to 320 of about 6,301,735 (343)

Programming Inductive Proofs

2010
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inference rules within the logical framework LF. It also supports implementing proofs about formal systems as dependently typed recursive functions.
openaire   +1 more source

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)

Dagstuhl Reports, 2017
Ute Schmid, S. Muggleton, Rishabh Singh
semanticscholar   +1 more source

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Dagstuhl Reports, 2013
Sumit Gulwani, E. Kitzelmann, Ute Schmid
semanticscholar   +1 more source

Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming, 2010
Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo   +3 more
semanticscholar   +1 more source

Inductive Programming: A Survey of Program Synthesis Techniques

Approaches and Applications of Inductive Programming, 2009
E. Kitzelmann
semanticscholar   +1 more source

Programming by induction

Information Processing Letters, 1972
openaire   +1 more source

Grammar Induction as Substructural Inductive Logic Programming

2000
de Haas, E., Adriaans, P.W.
openaire   +2 more sources

An introduction to inductive programming

Artificial Intelligence Review, 2008
P. Flener, Ute Schmid
semanticscholar   +1 more source

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework

Deutsche Jahrestagung für Künstliche Intelligenz, 2008
M. Hofmann, E. Kitzelmann, Ute Schmid
semanticscholar   +1 more source

Incremental Learning in Inductive Programming

Approaches and Applications of Inductive Programming, 2009
R. Henderson
semanticscholar   +1 more source