A correct logic programming computation of default logic extensions
From MaRDI portal
Publication:679244
DOI10.1023/A:1005771523328zbMath0871.03003OpenAlexW1575064115MaRDI QIDQ679244
Elmar Langetepe, Grigoris Antoniou
Publication date: 3 September 1997
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005771523328
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
This page was built for publication: A correct logic programming computation of default logic extensions
