179 search results - page 23 / 36 » A System with Template Answer Set Programs |
142
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
105
click to vote
PLANX
2007
15 years 1 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
GPCE
2004
Springer
15 years 5 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and deï¬nitions, thus abstracting ove...
104
click to vote
KR
2010
Springer
15 years 4 months ago
2010
Springer
We present a distributed algorithm for computing equilibria of heterogeneous nonmonotonic multi-context systems (MCS). The algorithm can be parametrized to compute only partial eq...
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
We give a new practical algorithm to compute, in ï¬nite time, a ï¬xpoint (and often the least ï¬xpoint) of a system of equations in the abstract numerical domains of zones and t...