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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85135778481&origin=inward&txGid=a5d208377be4a601dd1f683172171e86
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/summary/fb779a09-3f60-434f-9106-b8029727c7b2-b939b804/relevance/1
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
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