680 search results - page 62 / 136 » Complexity of Strict Implication |
ECIS
2004
13 years 11 months ago
2004
This paper presents findings from a longitudinal field study of web-design undertaken in a webdevelopment company. The main contribution is a comparison of some early predictions ...
KRMED
2004
13 years 11 months ago
2004
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
LWA
2004
13 years 11 months ago
2004
This paper discusses ongoing work towards a theoretical basis intended to facilitate the development of self-regulating adaptive systems. Self-regulation refers to the capacity of...
IQ
2003
13 years 11 months ago
2003
What modes and domains of knowledge about data production processes are most critical for producing high-quality data? This study provides an answer to this question. Data are coll...
AAAI
1998
13 years 11 months ago
1998
Unit resolution is arguably the most useful known algorithm for tractable reasoning in propositional logic. Intuitively, if one knows a, b, and a b c, then c should be an obviou...