A Correct Logic Programming Computation of Default Logic Extensions

Authors
G.Antoniou,E.Langetepe
Citation
G.antoniou,e.langetepe, A Correct Logic Programming Computation of Default Logic Extensions, Journal of automated reasoning , 18(1), 1997, pp. 25-46
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
1
Year of publication
1997
Pages
25 - 46
Database
ACNP
SICI code