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

Abductive logic programming and disjunctive logic programming: their relationship and transferability

โœ Scribed by Chiaki Sakama; Katsumi Inoue

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
207 KB
Volume
44
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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

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

Disjunctive logic programming with types
Disjunctive logic programming with types and objects: The DLV+ system
โœ Francesco Ricca; Nicola Leone ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 878 KB

The paper presents DLV + , a Disjunctive Logic Programming (DLP) system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV + is built on top of DLV (a state-of-the art DLP system), and provides a graphical user interface that allows one to specify, up