1151 search results - page 14 / 231 » Collaborative Programming: Applications of Logic and Automat... |
ALP
1994
Springer
15 years 1 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
RR
2009
Springer
15 years 4 months ago
2009
Springer
ICLP
1997
Springer
15 years 1 months ago
1997
Springer
LPNMR
1999
Springer
15 years 2 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...