290 search results - page 52 / 58 » Avoider-Enforcer: The rules of the game |
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
105
click to vote
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs define the rules of the game in agent societies by fixing what agents are permit...
FSTTCS
2000
Springer
15 years 3 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
COMMA
2008
15 years 1 months ago
2008
In this paper we describe PADUA, a protocol designed to enable agents to debate an issue drawing arguments not from a knowledge base of facts, rules and priorities but directly fro...
111
click to vote
HCI
2007
15 years 1 months ago
2007
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...