1131 search results - page 65 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
98
Voted
GECCO
1999
Springer
15 years 4 months ago
1999
Springer
This paper demonstrates the ability of genetic programming to evolve analog circuits that perform digital functions and mixed analog-digital circuits. The evolved circuits include...
149
Voted
IBERAMIA
2010
Springer
14 years 10 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
128
Voted
ALP
1992
Springer
15 years 4 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....
84
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
117
click to vote
NJC
2000
15 years 7 days ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...