Extremal problems in logic programming and stable model computation

DOI10.1016/S0743-1066(98)10020-1zbMath0927.68019OpenAlexW1541323168MaRDI QIDQ4245929

Paweł Cholewiński, Miroslaw Truszczynski

Publication date: 20 July 1999

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(98)10020-1

zbMATH Keywords

stable modelsanswer setsdisjunctive programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ On the equivalence and range of applicability of graph-based representations of logic programs. ⋮ Fixed-parameter complexity in AI and nonmonotonic reasoning

This page was built for publication: Extremal problems in logic programming and stable model computation