𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A logic programming approach to cartographic map overlay

✍ Scribed by Peter Y. F. Wu; W. Randolph Franklin


Book ID
110983821
Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
851 KB
Volume
6
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An abductive approach to disjunctive log
✍ Jia-Huai You; Li Yan Yuan; Randy Goebel πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 282 KB

Nonmonotonic reasoning has been explored as a form of abductive reasoning where default assumptions are treated as abductive hypotheses. While the semantics and proof theories under this approach have been studied extensively, the question of how disjunctive programs may be used to reason abductivel

A logic-based approach to program flow a
✍ Mooly Sagiv; Nissim Francez; Michael Rodeh; Reinhard Wilhelm πŸ“‚ Article πŸ“… 1998 πŸ› Springer-Verlag 🌐 English βš– 519 KB