3515 search results - page 44 / 703 » On the semantics of Strategy Logic |
179
click to vote
ENTCS
2006
15 years 7 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
183
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
157
click to vote
ATAL
2003
Springer
16 years 5 days ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
176
click to vote
ACSC
2002
IEEE
15 years 12 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...