26 search results - page 2 / 6 » ags 2009 |
160
Voted
CADE
2009
Springer
16 years 18 days 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...
247
click to vote
AGS
2009
Springer
16 years 12 days 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...
200
Voted
AGS
2009
Springer
16 years 12 days 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...
192
click to vote
AGS
2009
Springer
16 years 12 days 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...
169
Voted
AGS
2009
Springer
16 years 12 days 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 ...