Ordered completion for first-order logic programs on finite structures

DOI10.1016/j.artint.2011.11.001zbMath1244.68072MaRDI QIDQ420824

J. Herrera, H. S. Yoon

Publication date: 23 May 2012

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2011.11.001

zbMATH Keywords

knowledge representation; nonmonotonic reasoning; answer set programming; ordered completion

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03B10: Classical first-order logic

03C13: Model theory of finite structures

68N17: Logic programming

Uses Software

• ASSAT
• Cmodels
• Datalog