scientific article; zbMATH DE number 5241979

zbMath1148.68011MaRDI QIDQ5445168

Victor W. Marek, Jeffery B. Remmel

Publication date: 3 March 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

stable modelsstable logic semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

My work with Victor Marek: a mathematician looks at answer set programming