13 search results - page 2 / 3 » iclp 2001 |
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
In the paper we establish the xed-parameter complexity for several parameterized decision problems involving models, supported models and stable models of logic programs. We also e...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel ...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...