An experimental pipeline for automated reasoning in natural language (short paper)
statement of authorship
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
source
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 509-521
series
Lecture notes in computer science ; 14132
conference name, date
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, 1–4 July , 2023
conference location
Rome, Italy
ISSN
0302-9743
ISBN
978-303138498-1
notes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bibliogr.: 34 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
WOS
kvartiil
classifier
category (general)
category (sub)
Tammet, T., Järv, P., Verrev, M., Draheim, D. An experimental pipeline for automated reasoning in natural language (short paper) // Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings. Cham : Springer, 2023. p. 509-521. (Lecture notes in computer science ; 14132).