1143 search results - page 27 / 229 » Prospective Logic Agents |
135
Voted
JAIR
2010
15 years 10 days ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
131
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
102
click to vote
AAAI
2004
15 years 3 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
121
click to vote
ATAL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
113
Voted
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...