1993 search results - page 133 / 399 » On Action Theory Change |
90
Voted
CL
2000
Springer
15 years 15 days ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
95
Voted
FAC
1998
15 years 10 days ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
86
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper studies the evolution of the perceptions of players about the game they are involved in using the framework of hypergame theory. The focus is on developing methods that ...
126
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract— We consider a wireless broadcast station that transmits packets to multiple users. The packet requests for each user may overlap, and some users may already have certai...
101
Voted
ACMDIS
2006
ACM
15 years 6 months ago
2006
ACM
Gibson’s seminal concept of affordance could have real design power if it could be adequately explained as a phenomenon that happens within the scale of human lifetime. Today th...