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

On look-ahead heuristics in disjunctive logic programming

โœ Scribed by Wolfgang Faber; Nicola Leone; Gerald Pfeifer; Francesco Ricca

Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
835 KB
Volume
51
Category
Article
ISSN
1012-2443

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