GK : Implementing full first order default logic for commonsense reasoning (system description)

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
ilmumisaasta
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
kvartiil
Q3
kategooria (üld)
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
keel
inglise
Tammet, T., Draheim, D., Järv, P. GK : Implementing full first order default logic for commonsense reasoning (system description) // Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings. Cham : Springer, 2022. p. 300-309. (Lecture notes in computer science ; 13385). https://doi.org/10.1007/978-3-031-10769-6_18