2981 search results - page 123 / 597 » Answer Set Planning |
120
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
113
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...
150
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...
126
click to vote
APPROX
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we consider the task of answering linear queries under the constraint of differential privacy. This is a general and well-studied class of queries that captures oth...
202
click to vote
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...