Locally determined logic programs and recursive stable models

DOI10.1023/B:AMAI.0000012868.41613.E7zbMATH Open1049.68035OpenAlexW2003857631MaRDI QIDQ1430287FDOQ1430287

Amy Vanderbilt, Douglas Cenzer, Jeffrey Remmel

Publication date: 27 May 2004

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000012868.41613.e7

zbMATH Keywords

non-monotonic logiclogic programminglogic programstable modelcomplexity of modelmodel of recursive logic program

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cited In (4)

• Logic programming with infinite sets
• LoCo—A Logic for Configuration Problems
• My work with Victor Marek: a mathematician looks at answer set programming
• Title not available (Why is that?)

This page was built for publication: Locally determined logic programs and recursive stable models

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