Sciweavers

3136 search results - page 219 / 628
» Genetic programming theory
Sort
View
139
Voted
DIS
2007
Springer
15 years 11 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
AI
2006
Springer
15 years 5 months ago
Solving logic program conflict through strong and weak forgettings
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
Yan Zhang, Norman Y. Foo
KR
2004
Springer
15 years 10 months ago
A Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
Alexander Bochman
137
Voted
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
15 years 11 months ago
A phenotypic analysis of GP-evolved team behaviours
This paper presents an approach to analyse the behaviours of teams of autonomous agents who work together to achieve a common goal. The agents in a team are evolved together using...
Darren Doherty, Colm O'Riordan
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
14 years 8 months ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto