Semi-equilibrium models for paracoherent answer set programs
From MaRDI portal
Publication:253992
DOI10.1016/j.artint.2016.01.011zbMath1351.68259MaRDI QIDQ253992
Thomas Eiter, Nicola Leone, Giovanni Amendola, Michael Fink, João Moura
Publication date: 8 March 2016
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/36215331/AIJ2016_2.pdf
inconsistency management; answer set programming; equilibrium logic; paracoherent reasoning; splitting sequences