3136 search results - page 127 / 628 » Genetic programming theory |
161
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
147
Voted
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
168
click to vote
JAIR
2012
13 years 6 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
100
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper aims to identify the missing links from theory of Genetic Algorithms (GAs) to application of GAs. Categories and Subject Descriptors: J.0 [Computer Applications]: Gener...
118
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...