1143 search results - page 29 / 229 » Prospective Logic Agents |
111
click to vote
DALT
2007
Springer
15 years 5 months ago
2007
Springer
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...
113
Voted
INFORMATICALT
2007
15 years 1 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
128
click to vote
JAIR
2008
15 years 1 months ago
2008
Making a decision is often a matter of listing and comparing positive and negative arguments. In such cases, the evaluation scale for decisions should be considered bipolar, that ...
149
click to vote
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
123
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...