680 search results - page 62 / 136 » Complexity of Strict Implication |
101
Voted
ECIS
2004
15 years 4 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 ...
129
Voted
KRMED
2004
15 years 4 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...
130
click to vote
LWA
2004
15 years 4 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...
104
Voted
IQ
2003
15 years 4 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...
113
Voted
AAAI
1998
15 years 4 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...