Sciweavers

683 search results - page 1 / 137
» Modelling Evolvable Systems: A Temporal Logic View
Sort
View
BIRTHDAY
2005
Springer
13 years 5 months ago
Modelling Evolvable Systems: A Temporal Logic View
Howard Barringer, David E. Rydeheard
EPIA
2009
Springer
13 years 10 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
IAT
2008
IEEE
13 years 10 months ago
Evolving Logic Programming Based Agents with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...
José Júlio Alferes, Alfredo Gabaldon...
EH
1999
IEEE
351views Hardware» more  EH 1999»
13 years 8 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
SAGA
2005
Springer
13 years 9 months ago
Self-replication, Evolvability and Asynchronicity in Stochastic Worlds
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
Chrystopher L. Nehaniv