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

Argumentation in disjunctive logic programming

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

Publisher
SP Science China Press
Year
1998
Tongue
English
Weight
453 KB
Volume
41
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

Temporal disjunctive logic programming
Temporal disjunctive logic programming
โœ Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Springer ๐ŸŒ English โš– 862 KB
Partial deduction in disjunctive logic p
Partial deduction in disjunctive logic programming
โœ Chiaki Sakama; Hirohisa Seki ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 917 KB

This paper presents a partial deduction method in disjunctive logic programming. Partial deduction in normal logic programs is based on unfolding between normal clauses, hence it is not applicable to disjunctive logic programs in general. Then we introduce a new partial deduction technique, called d