284 search results - page 17 / 57 » Modularity of Completeness Revisited |
KR
2010
Springer
14 years 2 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
EMO
2006
Springer
14 years 1 months ago
2006
Springer
The design of quality measures for approximations of the Pareto-optimal set is of high importance not only for the performance assessment, but also for the construction of multiobj...
AAAI
1996
13 years 11 months ago
1996
Conditional logics play an important role in recent attempts to investigate default reasoning. This paper investigates firstorder conditional logic. We show that, as for first-ord...
CHI
2010
ACM
13 years 10 months ago
2010
ACM
We present an experimental comparison of multi-touch and tangible user interfaces for basic interface actions. Twelve participants completed manipulation and acquisition tasks on ...
CORR
1999
Springer
13 years 9 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...