2308 search results - page 325 / 462 » Representing Symbolic Reasoning |
191
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
167
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
181
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Cloud computing has seen tremendous growth, particularly for commercial web applications. The on-demand, pay-as-you-go model creates a flexible and cost-effective means to access c...
131
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
This paper proposes a novel approach for predicting user satisfaction transitions during a dialogue only from the ratings given to entire dialogues, with the aim of reducing the c...
191
click to vote
SLOGICA
2011
15 years 1 months ago
2011
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...