5122 search results - page 113 / 1025 » Comparing Consequence Relations |
101
Voted
ECAI
2004
Springer
15 years 6 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. ...
126
click to vote
FOIS
2010
15 years 2 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...
111
Voted
CORR
2008
Springer
15 years 2 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...
119
click to vote
JAIR
2008
15 years 2 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...
125
click to vote
OL
2008
15 years 2 months ago
2008
Abstract Manyeconomicmodels andoptimizationproblems generate(endogenous) shadow prices--alias dual variables or Lagrange multipliers. Frequently the "slopes" of resulting...