4555 search results - page 510 / 911 » Deductive Algorithmic Knowledge |
155
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
163
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
149
click to vote
SUM
2009
Springer
15 years 9 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
130
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
127
click to vote
ICES
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Evolutionary methods are now beginning to be used routinely in design applications. However, even with computing speeds growing continuously, for many complex design prob...