5506 search results - page 49 / 1102 » Minimal Logic Programs |
122
click to vote
PADL
2007
Springer
15 years 6 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
81
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
106
click to vote
NGC
2000
Springer
15 years 14 days ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
138
Voted
CPAIOR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
191
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
