1131 search results - page 38 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
109
Voted
AICOM
2006
15 years 15 days ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
116
Voted
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
130
click to vote
POPL
1997
ACM
15 years 4 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
98
Voted
PADL
2000
Springer
15 years 4 months ago
2000
Springer
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative styl...
83
Voted
JELIA
1990
Springer
15 years 4 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...