Order-consistent programs are cautiously monotonic

DOI10.1017/S1471068401001144zbMath1066.68517MaRDI QIDQ4452638

Hudson Turner

Publication date: 1 March 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

stable modelsanswer sets

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Logic programming and knowledge representation---The A-Prolog perspective

This page was built for publication: Order-consistent programs are cautiously monotonic