2088 search results - page 323 / 418 » The SPARK Agent Framework |
151
click to vote
CLIMA
2004
15 years 7 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
160
click to vote
HIS
2003
15 years 7 months ago
2003
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
127
click to vote
AIPS
2000
15 years 7 months ago
2000
On May 17th 1999, NASA activated for the first time an AI-based planner/scheduler running on the flight processor of a spacecraft. This was part of the Remote Agent Experiment (RA...
282
click to vote
AIIDE
2009
15 years 7 months ago
2009
We present a case-based reasoning technique for selecting build orders in a real-time strategy game. The case retrieval process generalizes features of the game state and selects ...
139
Voted
ENTCS
2008
15 years 6 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...