First order logic and commonsense reasoning : a path less travelled
author
Tammet, Tanel
Draheim, Dirk
Järv, Priit
Verrev, Martin
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
CEUR-WS
year of publication
2022
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
url
https://ceur-ws.org/Vol-3193/short5GDE.pdf
subject term
tehisintellekt
matemaatiline loogika
Scopus
https://www.scopus.com/sourceid/21100218356
https://www.scopus.com/record/display.uri?eid=2-s2.0-85137673991&origin=inward&txGid=60ec579b5a850de7cdd5e269d1981618
quartile
Q4
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
keyword
commonsense reasoning
default logic
automated reasoning
ISSN
1613-0073
notes
Bibliogr.: 15 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Information systems group
Applied artificial intelligence group