A Semantics for "Typically" in First-Order Default Reasoning

Gergei Bana, Mitsuhiro Okada. A Semantics for "Typically" in First-Order Default Reasoning. In Naoaki Okazaki, Katsutoshi Yada, Ken Satoh, Koji Mineshima, editors, New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers. Volume 12758 of Lecture Notes in Computer Science, pages 3-20, Springer, 2020. [doi]

@inproceedings{BanaO20,
  title = {A Semantics for "Typically" in First-Order Default Reasoning},
  author = {Gergei Bana and Mitsuhiro Okada},
  year = {2020},
  doi = {10.1007/978-3-030-79942-7_1},
  url = {https://doi.org/10.1007/978-3-030-79942-7_1},
  researchr = {https://researchr.org/publication/BanaO20},
  cites = {0},
  citedby = {0},
  pages = {3-20},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers},
  editor = {Naoaki Okazaki and Katsutoshi Yada and Ken Satoh and Koji Mineshima},
  volume = {12758},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-79942-7},
}