1143 search results - page 18 / 229 » Prospective Logic Agents |
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
131
Voted
SYNTHESE
2010
14 years 8 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
106
Voted
INFORMATICALT
2006
15 years 1 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
134
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...
102
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...