Formalization of Reasoning about Default Action (Preliminary Report)

Anna Radzikowska. Formalization of Reasoning about Default Action (Preliminary Report). In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 540-554, Springer, 1996.

@inproceedings{Radzikowska96,
  title = {Formalization of Reasoning about Default Action (Preliminary Report)},
  author = {Anna Radzikowska},
  year = {1996},
  researchr = {https://researchr.org/publication/Radzikowska96},
  cites = {0},
  citedby = {0},
  pages = {540-554},
  booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR  96, Bonn, Germany, June 3-7, 1996, Proceedings},
  editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
  volume = {1085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61313-7},
}