3562 search results - page 96 / 713 » Introduction to Logic Programming |
89
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
99
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
120
click to vote
PRICAI
2000
Springer
15 years 6 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...
128
click to vote
PPDP
1999
Springer
15 years 6 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...