Synonymous theories and knowledge representations in answer set programming

DOI10.1016/j.jcss.2011.02.013zbMath1250.68254MaRDI QIDQ414849

J. Herrera, H. S. Yoon

Publication date: 11 May 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.02.013

zbMATH Keywords

answer set programming; equilibrium logic; Beth property; interpretability theory; synonymous theories

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

03B70: Logic in computer science

68N17: Logic programming

03B20: Subsystems of classical logic (including intuitionistic logic)

03B55: Intermediate logics

Uses Software

• f2lp