Logic Programming

DOI10.1007/11562931MaRDI QIDQ5475797zbMATH OpenOpenAlexFDO

Authors Christos Nomikos, Panos Rondogiannis, W. W. Wadge

Publication date 27 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11562931

Mathematics Subject Classification ID

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

Cited in

(2)

• Model-based recasting in answer-set programming
• Strong equivalence of logic programs under the infinite-valued semantics

This page was built for publication: Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5475797)