519 search results - page 64 / 104 » Qualitative choice logic |
145
click to vote
ATAL
2009
Springer
16 years 21 days ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
155
click to vote
PPDP
2009
Springer
16 years 20 days ago
2009
Springer
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
162
Voted
APLAS
2006
ACM
16 years 3 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
179
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
108
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper investigates the effect of the prefabricated routing track distribution on the area-efficiency of FPGAs. The first question we address is whether horizontal and vertica...