First order logic and commonsense reasoning : a path less travelled

vastutusandmed
Tanel Tammet, Dirk Draheim, Priit Järv and Martin Verrev
allikas
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
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 182197
seeria-sari
CEUR Workshop Proceedings ; 3193
konverentsi nimetus, aeg
38th International Conference on Logic Programming Workshops, ICLP Workshops 2022, July 31st - August 1st, 2022
konverentsi toimumispaik
Haifa, Israel
ISSN
1613-0073
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
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