scientific article; zbMATH DE number 1884383
From MaRDI portal
Publication:4799292
zbMath1007.68025MaRDI QIDQ4799292
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2173/21730081.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms ⋮ Applying Visible Strong Equivalence in Answer-Set Program Transformations ⋮ Equilibrium logic ⋮ Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility ⋮ Unnamed Item ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Unnamed Item ⋮ Rule Calculus: Semantics, Axioms and Applications ⋮ Cumulativity Tailored for Nonmonotonic Reasoning ⋮ Ordering default theories and nonmonotonic logic programs ⋮ General default logic
This page was built for publication: