Experiments with LLMs for converting language to logic
statement of authorship                    
                    
Tanel Tammet, Priit Järv, Martin Verrev and Dirk Draheim
                            
                    
source                    
                    
Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II
                            
                    
location of publication                    
                    
Cham
                            
                    
publisher                    
                    
                
year of publication                    
                    
                
pages                    
                    
p. 305 - 314
                            
                    
series                    
                    
Lecture notes in computer science ; 14980
                            
                    
conference name, date                    
                    
18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, 9-12 September 2024
                            
                    
conference location                    
                    
Barcelona, Spain
                            
                    
subject term                    
                    
                
WOS                    
                    
                
quartile                    
                    
                
category (general)                    
                    
                
ISSN                    
                    
0302-9743
                            
                    
ISBN                    
                    
978-303171169-5
                            
                    
notes                    
                    
Bibliogr.: 20 ref
                            
                    
scientific publication                    
                    
teaduspublikatsioon
                            
                    
classifier                    
                    
                
TalTech department                    
                    
                
language                    
                    
inglise
                            
                    
                                    Tammet, T., Järv, P., Verrev, M., Draheim, D. Experiments with LLMs for converting language to logic // Neural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II. Cham : Springer, 2024. p. 305 - 314. (Lecture notes in computer science ; 14980).