Computing Default Logic Extensions: An Implementation

Cite

Text

Courtney et al. "Computing Default Logic Extensions: An Implementation." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Courtney et al. "Computing Default Logic Extensions: An Implementation." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/courtney1996aaai-computing/)

BibTeX

@inproceedings{courtney1996aaai-computing,
  title     = {{Computing Default Logic Extensions: An Implementation}},
  author    = {Courtney, Allen P. and Foo, Norman Y. and Antoniou, Grigoris},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {1381},
  url       = {https://mlanthology.org/aaai/1996/courtney1996aaai-computing/}
}