GK : Implementing full first order default logic for commonsense reasoning (system description)
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
year of publication
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
ISSN
0302-9743
ISBN
978-3-031-10768-9
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
kvartiil
classifier
category (general)
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).