FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: