505 search results - page 46 / 101 » Answer Set Programming with Templates |
128
click to vote
EMMCVPR
2001
Springer
15 years 7 months ago
2001
Springer
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
140
click to vote
PADL
2001
Springer
15 years 7 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
144
Voted
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
71
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
126
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...