1419 search results - page 40 / 284 » Notes on Formalizing Context |
104
Voted
ATAL
2011
Springer
14 years 15 days ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
ICGA
2006
15 years 15 days ago
2006
Bao is a member of the large family of mancala games. It is generally considered to be the most complex mancala game with respect to the number of game rules (Townshend, 1986; De ...
96
Voted
CN
1999
15 years 5 days ago
1999
Streaming video on the World Wide Web is being widely deployed, and workplace training and distance education are key applications. The ability to annotate video on the Web can pr...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
121
click to vote
TPHOL
1997
IEEE
15 years 4 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...