A Coherent and Paraconsistent Variant of the Default Logic

Anbu Yue, Zuoquan Lin. A Coherent and Paraconsistent Variant of the Default Logic. In Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. pages 162, AAAI, 2007. [doi]

@inproceedings{YueL07-0,
  title = {A Coherent and Paraconsistent Variant of the Default Logic},
  author = {Anbu Yue and Zuoquan Lin},
  year = {2007},
  url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-028.php},
  researchr = {https://researchr.org/publication/YueL07-0},
  cites = {0},
  citedby = {0},
  pages = {162},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007},
  publisher = {AAAI},
}