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

Clean: a Programming Environment Based on Term Graph Rewriting

โœ Scribed by M.J. Plasmeijer

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
254 KB
Volume
2
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Abduction in logic programming: A new de
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
โœ Fangzhen Lin; Jia-Huai You ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 255 KB

A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abductio