1151 search results - page 14 / 231 » Collaborative Programming: Applications of Logic and Automat... |
119
Voted
ALP
1994
Springer
15 years 7 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 10 months ago
2009
Springer
104
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
126
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
126
Voted
LPNMR
1999
Springer
15 years 7 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...