scientific article
From MaRDI portal
Publication:3993678
zbMath0766.03017MaRDI QIDQ3993678
Halina Przymusinska, Michael Gelfond
Publication date: 3 August 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
existencenonmonotonic logicuniquenessautoepistemic logicbeliefClosed World Assumptionclosed world completionstable autoepistemic expansionsstratified autoepistemic theories
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)
Related Items (5)
Normal and strong expansion equivalence for argumentation frameworks ⋮ Seminormal stratified default theories ⋮ Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting ⋮ Splitting Epistemic Logic Programs ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages
This page was built for publication:
