Compactness Properties for Stable Semantics of Logic Programs

DOI10.1007/978-3-540-72734-7_27zbMath1133.68013OpenAlexW1614727586MaRDI QIDQ5434521

Victor W. Marek, Jeffery B. Remmel

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_27

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

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