966 search results - page 50 / 194 » Communicating Answer Set Programs |
130
click to vote
LPNMR
2001
Springer
15 years 6 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...
105
click to vote
LPNMR
2005
Springer
15 years 7 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...
233
click to vote
POPL
2006
ACM
16 years 2 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 ...
108
click to vote
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...