We present a new technique for the optimization of (partially) bound queries over disjunctive datalog programs. The technique exploits the propagation of query bindings, and extends the Magic-Set optimization technique (originally defined for non-disjunctive programs) to the disjunctive case, substantially improving on previously defined approaches. Magic-Set-transformed disjunctive programs fr...

We consider disjunctive sequences, that is, infinite sequences (ω-words) having all finite words as infixes. It is shown that the set of all disjunctive sequences can be described in an easy way using recursive languages and, besides being a set of measure one, is a residual set in Cantor space. Moreover, we consider the subword complexity of sequences: here disjunctive sequences are shown to b...

The relationship between the disjunctive stable semantics and argumentation is rarely explored. In particular, the problem of how to perform argumentation with disjunctive logic programs by the disjunctive stable semantics is still open. This paper attempts to address this problem and a satisfied solution is provided, in which a disjunctive logic program is naturally transformed into an argumen...

(Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Unfold/fold transformation of general logic programs for the well-founded semantics. 21 deenitions. In BD96a, BD96b] a rigorous description of STABLE, WFS and their disjunctive counterparts based on certain connuent calculi of transformations is given. Finally DS96] extends these transformations...

abstract in this presentation, a case of bilateral choroidal folds in patient with diabetic retinopathy was reported. by our knowledge, this case presentation is the first report of choroidal folds in diabetic retinopathy, which bilateral symmetric and horizontal folds arranged in macula. the thick choroid that is developed in diabetics may be a cause of these folds but the source of difference...

Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programming engine, named DLV, allows to exploit disjunctive logic programs for solving complex problems. However, disjunctive logic programming systems are currently missing any interface supporting the integration between commonly used ...

This paper presents a partial deduction method for disjunctive logic programs. We rst show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the...