ICLP
13 years 10 months ago
2001 Springer 
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
ICLP
13 years 10 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...
ICLP
13 years 10 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
13 years 10 months ago
2001 Springer 
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
ICLP
13 years 10 months ago
2001 Springer |
Automated Reasoning