Infinitary Default Logic for Specification of Nonmonotonic Reasoning

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski. Infinitary Default Logic for Specification of Nonmonotonic Reasoning. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 224-236, Springer, 1996.

@inproceedings{EngelfrietMTT96,
  title = {Infinitary Default Logic for Specification of Nonmonotonic Reasoning},
  author = {Joeri Engelfriet and V. Wiktor Marek and Jan Treur and Miroslaw Truszczynski},
  year = {1996},
  tags = {logic},
  researchr = {https://researchr.org/publication/EngelfrietMTT96},
  cites = {0},
  citedby = {0},
  pages = {224-236},
  booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA  96, Évora, Portugal, September 30 - October 3, 1996, Proceedings},
  editor = {José Júlio Alferes and Luís Moniz Pereira and Ewa Orlowska},
  volume = {1126},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61630-6},
}