7504 search results - page 168 / 1501 » Computing with Action Potentials |
108
Voted
ICICS
2001
Springer
15 years 6 months ago
2001
Springer
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
140
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
117
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
152
click to vote
JAIR
2012
13 years 4 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
120
Voted
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
There are two major approaches to activity coordination in multiagent systems. First, by endowing the agents with the capability to jointly plan, that is, to jointly generate hypot...