8337 search results - page 60 / 1668 » Reasoning With Characteristic Models |
158
click to vote
QUACON
2009
Springer
15 years 10 months ago
2009
Springer
Much research on context quality in context-aware systems divides into two strands: (1) the qualitative identi cation of quality measures and (2) the use of uncertain reasoning tec...
134
Voted
CORR
2002
Springer
15 years 3 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, ...
147
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Recursive reasoning of the form what do I think that you think that I think (and so on) arises often while acting rationally in multiagent settings. Several multiagent decision-ma...
155
Voted
PROMISE
2010
14 years 10 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
121
Voted
SAT
2004
Springer
15 years 9 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...