MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Characterizations of the Disjunctive Well-Founded Semantics Confluent Calculi and Iterated GCWA." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

ATOM

Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA
by Stefan Brass, Jürgen Dix — 1997 — Journal of Automated Reasoning
…Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA…
Cited by 28 (12 self) – Add To MetaCart

Automating Defeasible Reasoning with Logic Programming (DeReLop)
by Jürgen Dix, Jürgen Dix (project Leader, Guillermo R. Simari, eta l., Frieder Stolzenburg, Guillermo R. Simari (project Leader, Pablo R. Fillottrani — 1999
…, Maryland. References [BD98] Stefan Brass and Jürgen Dix. Characterizations of the Disjunctive Well-founded…
Cited by 6 (4 self) – Add To MetaCart

Showing 1 through 2.

ATOM

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