First order logic and commonsense reasoning : a path less travelled
autor
Tammet, Tanel
Draheim, Dirk
Järv, Priit
Verrev, Martin
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
CEUR-WS
ilmumisaasta
2022
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
leitav
https://ceur-ws.org/Vol-3193/short5GDE.pdf
märksõna
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
kvartiil
Q4
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
commonsense reasoning
default logic
automated reasoning
ISSN
1613-0073
märkused
Bibliogr.: 15 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Infosüsteemide töörühm
Rakendusliku tehismõistuse uurimisrühm