First order logic and commonsense reasoning : a path less travelled
Tammet, Tanel
;
Draheim, Dirk
;
Järv, Priit
;
Verrev, Martin
ICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 2022
2022
/
art. 182197
https://ceur-ws.org/Vol-3193/short5GDE.pdf
https://www.scopus.com/sourceid/21100218356
https://www.scopus.com/record/display.uri?eid=2-s2.0-85137673991&origin=inward&txGid=60ec579b5a850de7cdd5e269d1981618