3572 search results - page 96 / 715 » Nominal Logic Programming |
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...
109
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...
91
Voted
ICLP
1998
Springer
15 years 4 months ago
1998
Springer
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
84
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
185
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
