Computing stable models: Worst-case performance estimates

DOI10.1007/3-540-45619-8_24MaRDI QIDQ4812970zbMATH OpenFDO

Authors Zbigniew Lonc, Mirosław Truszczyński

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010347.htm

Mathematics Subject Classification ID

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

Recommendations

• Computing stable models: worst-case performance estimates
• Logic Programming
• Computing minimal models, stable models and answer sets
• Extremal problems in logic programming and stable model computation
• Computing large and small stable models

Cited in

(7)

• Polynomial-time computable stable models
• scientific article; zbMATH DE number 3871152 (Why is no real title available?)
• Extremal problems in logic programming and stable model computation
• Computing large and small stable models
• Computing stable models: worst-case performance estimates
• Logic Programming
• Computing minimal models, stable models and answer sets

This page was built for publication: Computing stable models: Worst-case performance estimates

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