First order logic and commonsense reasoning : a path less travelled

statement of authorship
Tanel Tammet, Dirk Draheim, Priit Järv and Martin Verrev
source
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
publisher
year of publication
pages
art. 182197
series
CEUR Workshop Proceedings ; 3193
conference name, date
38th International Conference on Logic Programming Workshops, ICLP Workshops 2022, July 31st - August 1st, 2022
conference location
Haifa, Israel
ISSN
1613-0073
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
category (general)
Tammet, T., Draheim, D., Järv, P., Verrev, M. First order logic and commonsense reasoning : a path less travelled // 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. : CEUR-WS, 2022. art. 182197. (CEUR Workshop Proceedings ; 3193). https://ceur-ws.org/Vol-3193/short5GDE.pdf