Publication:3993678
From MaRDI portal
zbMath0766.03017MaRDI QIDQ3993678
Halina Przymusinska, Michael Gelfond
Publication date: 3 August 1992
existence; nonmonotonic logic; uniqueness; autoepistemic logic; belief; Closed World Assumption; closed world completion; stable autoepistemic expansions; stratified autoepistemic theories
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
Related Items
Splitting Epistemic Logic Programs, Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting, Normal and strong expansion equivalence for argumentation frameworks, Seminormal stratified default theories, Vicious circle principle, aggregates, and formation of sets in ASP based languages