GK : Implementing full first order default logic for commonsense reasoning (system description)
autor
Tammet, Tanel
Draheim, Dirk
Järv, Priit
vastutusandmed
Tanel Tammet, Dirk Draheim, Priit Järv
allikas
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2022
leheküljed
p. 300-309
seeria-sari
Lecture notes in computer science ; 13385
konverentsi nimetus, aeg
IJCAR 2022 : 11th International Joint Conference : Automated Reasoning, August 8–10, 2022
konverentsi toimumispaik
Haifa, Israel
leitav
https://doi.org/10.1007/978-3-031-10769-6_18
märksõna
tehisõpe
loogiline programmeerimine
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
kategooria (alam)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
ISSN
0302-9743
ISBN
978-3-031-10768-9
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Infosüsteemide töörühm
Rakendusliku tehismõistuse uurimisrühm