GK : Implementing full first order default logic for commonsense reasoning (system description)
author
Tammet, Tanel
Draheim, Dirk
Järv, Priit
statement of authorship
Tanel Tammet, Dirk Draheim, Priit Järv
source
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2022
pages
p. 300-309
series
Lecture notes in computer science ; 13385
conference name, date
IJCAR 2022 : 11th International Joint Conference : Automated Reasoning, August 8–10, 2022
conference location
Haifa, Israel
url
https://doi.org/10.1007/978-3-031-10769-6_18
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-031-10768-9
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Information systems group
Applied artificial intelligence group