179 search results - page 16 / 36 » A System with Template Answer Set Programs |
114
click to vote
CLIMA
2004
15 years 4 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
138
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
120
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
126
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
253
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...