747 search results - page 26 / 150 » Consequence Relations In DRT |
AGILEDC
2003
IEEE
14 years 1 months ago
2003
IEEE
In this experience report, a programmer at a medium-sized software company explains his tactics for bottom-up organizational change. The tactics are accompanied by personal recoll...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
FOIS
2010
13 years 8 months ago
2010
Software measurement is a relatively young discipline. As a consequence, it is not well defined yet, making the terminology used diverse. In order to establish a basic conceptualiz...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we consider human factors and their impact on spreadsheet development in strategic decision-making. This paper brings forward research from many disciplines both dir...
JAIR
2008
13 years 7 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...