5198 search results - page 340 / 1040 » A Logic of Agent Programs |
154
click to vote
AUSAI
2003
Springer
15 years 12 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
192
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
175
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Public announcement logic extends multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. In thi...
186
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
156
click to vote
ESWA
2002
15 years 6 months ago
2002
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...