Logic Programming and Nonmonotonic Reasoning

DOI10.1007/b94792zbMath1122.68626OpenAlexW4214677882MaRDI QIDQ5424870

Joohyung Lee

Publication date: 7 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Loop formulas for circumscription, ASSAT: computing answer sets of a logic program by SAT solvers

Uses Software

• ASSAT