1757 search results - page 77 / 352 » Alternating Refinement Relations |
MSS
2010
IEEE
15 years 1 months ago
2010
IEEE
Axioms of monotonicity, efficiency and continuity are shown to characterize the relative majority rule when there are only two alternatives. The absolute majority rule and the rel...
121
click to vote
DBPL
1997
Springer
15 years 7 months ago
1997
Springer
We examine the power of incremental evaluation systems that use an SQL-like language for maintaining recursively-de ned views. We show that recursive queries such as transitive clo...
116
click to vote
POPL
1994
ACM
15 years 7 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
164
click to vote
JELIA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
109
click to vote
AAAI
2008
15 years 5 months ago
2008
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...