Sciweavers

945 search results - page 132 / 189
» Evolving Symbolic Controllers
Sort
View
ECAI
2010
Springer
14 years 11 months ago
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
Jens Claßen, Gerhard Lakemeyer
GECCO
2004
Springer
114views Optimization» more  GECCO 2004»
15 years 3 months ago
A Study of the Role of Single Node Mutation in Genetic Programming
In this paper we examine the effects of single node mutations on trees evolved via genetic programming. The results show that neutral mutations are less likely for nodes nearer th...
Wei Quan, Terence Soule
GECCO
2004
Springer
140views Optimization» more  GECCO 2004»
15 years 3 months ago
Keeping the Diversity with Small Populations Using Logic-Based Genetic Programming
We present a new method of Logic-Based Genetic Programming (LBGP). Using the intrinsic mechanism of backtracking in Prolog, we utilize large individual programs with redundant clau...
Ken Taniguchi, Takao Terano
ISSAC
1995
Springer
155views Mathematics» more  ISSAC 1995»
15 years 1 months ago
On the Implementation of Dynamic Evaluation
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
Peter A. Broadbery, T. Gómez-Díaz, S...
ESWS
2008
Springer
14 years 11 months ago
Conceptual Situation Spaces for Semantic Situation-Driven Processes
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...
Stefan Dietze, Alessio Gugliotta, John Domingue