A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory

Gerson Zaverucha. A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. In Bernhard Nebel, Leonie S. Dreschler-Fischer, editors, KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings. Volume 861 of Lecture Notes in Computer Science, pages 260-271, Springer, 1994.

@inproceedings{Zaverucha94,
  title = {A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory},
  author = {Gerson Zaverucha},
  year = {1994},
  tags = {logic},
  researchr = {https://researchr.org/publication/Zaverucha94},
  cites = {0},
  citedby = {0},
  pages = {260-271},
  booktitle = {KI-94: Advances in Artificial Intelligence, 18th Annual German Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, Proceedings},
  editor = {Bernhard Nebel and Leonie S. Dreschler-Fischer},
  volume = {861},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58467-6},
}