scientific article; zbMATH DE number 2090538

zbMATH Open1045.68036MaRDI QIDQ4812970FDOQ4812970

Authors: Zbigniew Lonc, Mirosław Truszczyński 

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Logic Programming
• Title not available (Why is that?)
• Computing large and small stable models
• Computing minimal models, stable models and answer sets
• Computing stable models: worst-case performance estimates

This page was built for publication:

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