From felicitous models to answer set programming

DOI10.1007/978-3-031-29415-0_5MaRDI QIDQ6911828zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 24 October 2025

zbMATH Keywords

logic programmingcombinatorial searchstable models

Mathematics Subject Classification ID

History of computer science (68-03) Logic programming (68N17)

This page was built for publication: From felicitous models to answer set programming

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