5198 search results - page 195 / 1040 » A Logic of Agent Programs |
164
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
118
Voted
ICLP
2005
Springer
16 years 16 days ago
2005
Springer
149
Voted
ICLP
2005
Springer
16 years 16 days ago
2005
Springer
191
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
Hoare logic is bedevilled by complex but coarse side conditions on the use of variables. We define a logic, free of side conditions, which permits more precise statements of a pr...