Sciweavers

2034 search results - page 44 / 407
» Declarative Agent Control
Sort
View
GI
2009
Springer
15 years 6 months ago
Strategic Interaction Definition Language
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
Rustam Tagiew
125
Voted
ECAI
2010
Springer
15 years 3 months ago
A Motivation-Based Mechanism to Design Behaviors
In human-level simulations, like video games can be, the design of character's behaviors has an important impact on simulation realism. We propose to divide it into a reasonin...
Tony Dujardin, Jean-Christophe Routier
ATAL
2005
Springer
15 years 7 months ago
Access control with safe role assignment for mobile agents
Mobile agent systems provide new perspectives for distributed e-commerce applications. Sea-of-Data (SoD) applications are those that need to process huge quantities of distributed...
Guillermo Navarro, Joan Borrell, Jose A. Ortega-Ru...
109
Voted
JNW
2008
116views more  JNW 2008»
15 years 2 months ago
The Tiny Agent - Wireless Sensor Networks Controlling Energy Resources
CSIRO is using wireless sensor network technology to deploy "tiny agents", working as autonomous controllers for individual pieces of electrical load/generation equipment...
Glenn Platt, Joshua Wall, Philip Valencia, John K....
TPHOL
1999
IEEE
15 years 6 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme