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
subject term
kvartiil
category (general)
category (sub)
ISSN
1613-0073
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
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).