Publication:4028794
From MaRDI portal
zbMath0765.68173MaRDI QIDQ4028794
Publication date: 28 March 1993
well-founded semantics; support; stable models; non-monotonic logics; approximations of the proof-theory
Related Items
Conditional entailment: bridging two approaches to default reasoning., An abstract, argumentation-theoretic approach to default reasoning, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games, A nondeterministic well-founded semantics