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

Consistency-based abduction with extended disjunctive logic programs

โœ Scribed by Kewen Wang; Huowang Chen; Quanyuan Wu

Publisher
SP Science China Press
Year
1997
Tongue
English
Weight
508 KB
Volume
40
Category
Article
ISSN
1006-9321

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Argumentation-based abduction in disjunc
Argumentation-based abduction in disjunctive logic programming
โœ Kewen Wang ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 274 KB

In this paper, we propose an argumentation-based semantic framework, called DAS, for disjunctive logic programming. The basic idea is to translate a disjunctive logic program into an argumentation-theoretic framework. One unique feature of our proposed framework is to consider the disjunctions of ne

An abductive approach to disjunctive log
An abductive approach to disjunctive logic programming
โœ 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