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
Cumulativity Tailored for Nonmonotonic Reasoning, Synonymous theories and knowledge representations in answer set programming, Ordering default theories and nonmonotonic logic programs, Equilibrium logic, General default logic, 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