%0 Conference Paper %1 conf/cade/TammetDJ22 %A Tammet, Tanel %A Draheim, Dirk %A Järv, Priit %B IJCAR %D 2022 %E Blanchette, Jasmin %E Kovács, Laura %E Pattinson, Dirk %I Springer %K dblp %P 300-309 %T GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). %U http://dblp.uni-trier.de/db/conf/cade/ijcar2022.html#TammetDJ22 %V 13385 %@ 978-3-031-10769-6

@inproceedings{conf/cade/TammetDJ22, added-at = {2022-10-24T00:00:00.000+0200}, author = {Tammet, Tanel and Draheim, Dirk and Järv, Priit}, biburl = {https://www.bibsonomy.org/bibtex/2d8fc0efae0520bc850178d716943841a/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2022}, editor = {Blanchette, Jasmin and Kovács, Laura and Pattinson, Dirk}, ee = {https://doi.org/10.1007/978-3-031-10769-6_18}, interhash = {419638d829de11de0df36113d35ab961}, intrahash = {d8fc0efae0520bc850178d716943841a}, isbn = {978-3-031-10769-6}, keywords = {dblp}, pages = {300-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:55:15.000+0200}, title = {GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description).}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2022.html#TammetDJ22}, volume = 13385, year = 2022 }