5198 search results - page 72 / 1040 » A Logic of Agent Programs |
155
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present the agent programming language POGTGolog, which combines explicit agent programming in Golog with game-theoretic multi-agent planning in a special kind of partially obs...
161
click to vote
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
189
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
164
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
174
click to vote
ICTAI
2005
IEEE
15 years 11 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...