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

An algorithm for disjunctive programs

โœ Scribed by Nicholas Beaumont

Book ID
107992177
Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
635 KB
Volume
48
Category
Article
ISSN
0377-2217

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Magic Sets for disjunctive Datalog progr
Magic Sets for disjunctive Datalog programs
โœ Mario Alviano; Wolfgang Faber; Gianluigi Greco; Nicola Leone ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 849 KB
Unfold/fold transformations for disjunct
Unfold/fold transformations for disjunctive logic programs
โœ Manolis Gergatsoulis ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 627 KB

Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. @ 1997 Elsevier Science B.V.