MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Computation of the Disjunctive Well-Founded Semantics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

On the computation of the disjunctive well-founded semantics
by C. A. Johnson — 2001 — Journal of Automated Reasoning
…ON THE COMPUTATION OF THE DISJUNCTIVE WELL-FOUNDED SEMANTICS C. A. JOHNSON Computer Science…
Cited by 2 (1 self) – Add To MetaCart

A Top-down Procedure for Disjunctive Well-founded Semantics
by Kewen Wang — 2001 — In: Proceedings of the International Joint Conference on Automated Reasoning (IJCAR’01
…, the issue of defining and computing the well-founded semantics for disjunctive programs and databases has…
Cited by 2 (1 self) – Add To MetaCart

A Top-down Procedure for Disjunctive Well-foundedSemantics
by unknown authors
…. However, the issueof defining and computing the well-founded semantics for disjunctive programs…
Add To MetaCart

-- A Disjunctive Deductive Database Prototype
by Dietmar Seipel — 1997 — Proc. Twelfth Workshop on Logic Programming (WLP'97
…(+Database,-State) Computes the disjunctive well--founded semantics of the database Database according to Baral. The result…
Cited by 13 (10 self) – Add To MetaCart

DisLoP: Towards a Disjunctive Logic Programming System
by Chandrabose Aravindan, Jürgen Dix, Rabose Aravindan, Ilkka Niemelä — 1997 — In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
… the disjunctive well-founded semantics (D-WFS) of Brass and Dix. This ? Funded by the DFG (i…
Cited by 6 (1 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB