891 search results - page 51 / 179 » Towards Reasoning Pragmatics |
137
click to vote
TARK
2007
Springer
15 years 8 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
118
click to vote
DLOG
2003
15 years 3 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
119
Voted
WLP
2004
Springer
15 years 7 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
162
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
108
click to vote
PRICAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...