5198 search results - page 124 / 1040 » A Logic of Agent Programs |
180
click to vote
POPL
1999
ACM
15 years 3 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
123
click to vote
JAIR
2008
14 years 11 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
ICALP
2010
Springer
15 years 4 months ago
2010
Springer