๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Teaching computer science through a logic programming approach

โœ Scribed by Rosa Maria Bottino; Paola Forcheri; Maria Teresa Molfino


Publisher
Elsevier Science
Year
1988
Weight
777 KB
Volume
4
Category
Article
ISSN
0167-9287

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