4370 search results - page 170 / 874 » Algebra of Logic Programming |
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
85
Voted
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
104
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
PRICAI
2000
Springer
15 years 4 months ago
2000
Springer
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
107
click to vote
PPDP
1999
Springer
15 years 4 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...