Stable and extension class theory for logic programs and default logics

Stable and extension class theory for logic programs and default logics. Baral, C. R & Subrahmanian, V. Journal of Automated Reasoning, 8(3):345–366, Kluwer Academic Publishers, 1992.
bibtex

@article{baral1992stable,
  title={Stable and extension class theory for logic programs and default logics},
  author={Baral, Chitta R and Subrahmanian, VS},
  journal={Journal of Automated Reasoning},
  volume={8},
  number={3},
  pages={345--366},
  year={1992},
  publisher={Kluwer Academic Publishers}
}

Downloads: 0