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

Temporal disjunctive logic programming

โœ Scribed by Manolis Gergatsoulis; Panos Rondogiannis; Themis Panayiotopoulos

Publisher
Springer
Year
2001
Tongue
English
Weight
862 KB
Volume
19
Category
Article
ISSN
0288-3635

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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

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