4224 search results - page 138 / 845 » Reasoning about Choice |
153
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
157
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
181
click to vote
PERCOM
2004
ACM
16 years 5 months ago
2004
ACM
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON p...
162
click to vote
WWW
2009
ACM
16 years 13 days ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
159
click to vote
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...