19 search results - page 2 / 4 » iclp 2003 |
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
ICLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...