2649 search results - page 167 / 530 » Temporal Theories of Reasoning |
165
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
154
click to vote
CL
2000
Springer
15 years 6 months 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...
175
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Collaborative Filtering (CF) algorithms, used to build webbased recommender systems, are often evaluated in terms of how accurately they predict user ratings. However, current eva...
154
click to vote
LREC
2010
15 years 8 months ago
2010
A lot of research effort has been spent on the development of emotion theories and modeling, however, their suitability and applicability to expressions in human computer interact...
190
click to vote
ESORICS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...