3481 search results - page 141 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
PRICAI
2000
Springer
15 years 1 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...
ICLP
1998
Springer
15 years 2 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 ...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
