122
click to vote
ICLP
15 years 6 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...
134
click to vote
ICLP
15 years 6 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...
109
click to vote
ICLP
15 years 6 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...
137
click to vote
ICLP
15 years 6 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
15 years 6 months ago
2001 Springer |
Automated Reasoning