Confidences for commonsense reasoning.
                                            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
                                    
                                    
                                
                                            year of publication
                                    
                                    
                                
                                            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
                                                    
                                            
                                            ISSN
                                    
                                    
0302-9743
                                                    
                                            
                                            ISBN
                                    
                                    
978-3-030-79875-8
                                                    
                                            
                                            notes
                                    
                                    
Bibliogr.: 41 ref
                                                    
                                            
                                            Open Access
                                    
                                    
Open Access
                                                    
                                            
                                            scientific publication
                                    
                                    
teaduspublikatsioon
                                                    
                                            
                                            TalTech department
                                    
                                    
                                
                                            language
                                    
                                    
inglise
                                                    
                                            
                                            subject term
                                    
                                    
                                
                                            WOS
                                    
                                    
                                
                                            quartile
                                    
                                    
                                
                                            classifier
                                    
                                    
                                
                                            category (general)
                                    
                                    
                                
                                    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).