On the expressibility of stable logic programming
From MaRDI portal
Publication:4815033
DOI10.1017/S1471068403001777zbMath1079.68015MaRDI QIDQ4815033
Victor W. Marek, Jeffery B. Remmel
Publication date: 19 August 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
My work with Victor Marek: a mathematician looks at answer set programming, Exploiting conjunctive queries in description logic programs, Complexity results for answer set programming with bounded predicate arities and implications
Uses Software