8232 search results - page 141 / 1647 » Dynamic Logic Programming |
147
Voted
PRICAI
2000
Springer
15 years 8 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...
124
Voted
ICLP
1998
Springer
15 years 9 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 ...
229
Voted
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
