11436 search results - page 50 / 2288 » Modeling Real Reasoning |
QUACON
2009
Springer
14 years 5 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...
ATAL
2010
Springer
14 years 3 days 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...
PROMISE
2010
13 years 5 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...
SAT
2004
Springer
14 years 4 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...
AGP
2003
IEEE
14 years 2 months ago
2003
IEEE
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...