Adding closed world assumptions to well-founded semantics
From MaRDI portal
Publication:1314417
DOI10.1016/0304-3975(94)90201-1zbMath0801.68111WikidataQ62039018 ScholiaQ62039018MaRDI QIDQ1314417
Luís Moniz Pereira, José Júlio Alferes, Joaquim N. Aparício
Publication date: 29 November 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10362/64188
68T27: Logic in artificial intelligence
68Q55: Semantics in the theory of computing
68N17: Logic programming
Cites Work