26 search results - page 2 / 6 » ags 2009 |
CADE
2009
Springer
13 years 11 months ago
2009
Springer
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
AGS
2009
Springer
13 years 11 months ago
2009
Springer
This paper addresses an ongoing experience in the design of an artificial agent taking decisions in a role playing game populated by human agents and by artificial agents. At fi...
AGS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We describe a distributed architecture for situated largescale agent-based simulations with predominately local interactions. The approach, implemented in AglobeX Simulat...
AGS
2009
Springer
13 years 11 months ago
2009
Springer
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
AGS
2009
Springer
13 years 11 months ago
2009
Springer
Many research projects oriented on control mechanisms of virtual agents in videogames have emerged in recent years. However, this boost has not been accompanied with the emergence ...