5198 search results - page 66 / 1040 » A Logic of Agent Programs |
CADE
1994
Springer
15 years 3 months ago
1994
Springer
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...
109
click to vote
ICFP
2010
ACM
15 years 8 days ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...
107
click to vote
SYNTHESE
2010
14 years 6 months ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...