5198 search results - page 67 / 1040 » A Logic of Agent Programs |
IPL
2006
14 years 11 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
SAC
1994
ACM
15 years 3 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
ATAL
2010
Springer
15 years 9 days ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
70
Voted
EUSFLAT
2009
14 years 9 months ago
2009
INFORMATICALT
2006
14 years 11 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...