Stable and Extension Class Theory for Logic Programs and Default Logics

Authors
C.R.Baral,V.S.Subrahmanian
Citation
C.r.baral,v.s.subrahmanian, Stable and Extension Class Theory for Logic Programs and Default Logics, Journal of automated reasoning , 8(3), 1992, pp. 345-366
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
3
Year of publication
1992
Pages
345 - 366
Database
ACNP
SICI code