Locally determined logic programs and recursive stable models

DOI10.1023/B:AMAI.0000012868.41613.e7zbMath1049.68035OpenAlexW2003857631MaRDI QIDQ1430287

Amy Vanderbilt, Douglas Cenzer, Jeffery B. 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

logic programmingnon-monotonic logicstable modellogic programcomplexity of modelmodel of recursive logic program

Mathematics Subject Classification ID

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

Related Items

My work with Victor Marek: a mathematician looks at answer set programming, Logic programming with infinite sets