GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)
Authors: Tanel Tammet, Dirk Draheim and Priit Järv
Paper Information
| Title: | GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description) |
| Authors: | Tanel Tammet, Dirk Draheim and Priit Järv |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Default logic, Commonsense reasoning, Automated reasoning |
| Pages: | 9 |
| Talk: | Aug 08 14:20 (Session 97D: Knowledge Representation and Justification) |
| Paper: |  |