print

Confidences for commonsense reasoning.

author
Tammet, Tanel
Draheim, Dirk
Järv, Priit
statement of authorship
Tanel Tammet, Dirk Draheim, Priit Järv
source
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings
location of publication
Cham
publisher
Springer
year of publication
2021
pages
p. 507–524
series
Lecture notes in artificial intelligence ; 12699
conference name, date
28th International Conference on Automated Deduction, (CADE 28) 2021 Virtual, Online, 12 July 2021 through 15 July, 2021
url
https://doi.org/10.1007/978-3-030-79876-5_29
subject term
tehisintellekt
tehisõpe
loogika
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
ISSN
0302-9743
ISBN
978-3-030-79875-8
notes
Bibliogr.: 41 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
Ragnar Nurkse innovatsiooni ja valitsemise instituut
language
inglise
Uurimisrühm
Information systems group
Applied artificial intelligence group
Tammet, T., Draheim, D., Järv, P. Confidences for commonsense reasoning. // Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings. Cham : Springer, 2021. p. 507–524. (Lecture notes in artificial intelligence ; 12699). https://doi.org/10.1007/978-3-030-79876-5_29