Publication:4799292
From MaRDI portal
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
Related Items
Unnamed Item, Cumulativity Tailored for Nonmonotonic Reasoning, Unnamed Item, Synonymous theories and knowledge representations in answer set programming, Ordering default theories and nonmonotonic logic programs, Equilibrium logic, General default logic, An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility, Redundancy in logic. III: Non-monotonic reasoning, Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach, Applying Visible Strong Equivalence in Answer-Set Program Transformations, Rule Calculus: Semantics, Axioms and Applications