scientific article; zbMATH DE number 1884383

zbMath1007.68025MaRDI QIDQ4799292

Hudson Turner

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.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

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: