The theory of computation that we have inherited from the 1960s focuses on algorithmic
computation as embodied in the Turing Machine to the exclusion of other types of …

This paper examines the limitations of Turing Machines as a complete model of
computation, and presents several models that extend Turing Machines. Dynamic …

This paper presents a novel model for resource bounded computation based on process
algebras. Such model is called the $-calculus (cost calculus). Resource bounded …

The Ocean Sampling Mobile Network (SAMON) simulator testbed has been developed at
Penn State for designing and evaluating multirobot ocean-mapping missions, in realistic …

In this paper we show the design of a language which is applicable for control of multiple
autonomous unmanned vehicles as well as for distributed problem solving, in general. The …

calculus is a higher-order polyadic process algebra for resource bounded computation. It
has been designed to handle autonomous agents, evolutionary computing, neural nets …

In this paper, we generalize the utility theory to allow to use various performance measures,
including utilities, costs and fitness, and probability theory we extend to uncertainty theory …

In This work we present a unified view of AI inspired by ideas from evolutionary computation
as design of bounded rational agents. The approach specifies optimal programs rather than …

Cooperative behavior, visible in many animal species, is achieved through varying degrees
of communication (eg chemical clues from ants, a bees “dance”). When looking at military …

Genetic programming, autonomous agents, artificial life and evolutionary computation share
many common ideas. They generally investigate distributed complex processes, perhaps …