5198 search results - page 152 / 1040 » A Logic of Agent Programs |
91
Voted
LOGCOM
2006
14 years 11 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...
100
Voted
TARK
2007
Springer
15 years 5 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
107
click to vote
DIS
2009
Springer
15 years 6 months ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
82
Voted
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
AAAI
1997
15 years 1 months ago
1997
Thisshortpaperdefinesthe terminologyusedto support computerchess work,andintroducesthe basic concpets behindchess programs.It is intendedto be of general interest, providingbackgr...