1151 search results - page 14 / 231 » Collaborative Programming: Applications of Logic and Automat... |
145
click to vote
ALP
1994
Springer
15 years 10 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 ...
110
Voted
LPNMR
2009
Springer
16 years 10 days ago
2009
Springer
123
Voted
RR
2009
Springer
16 years 10 days ago
2009
Springer
150
click to vote
LPNMR
1999
Springer
15 years 10 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...