An experimental pipeline for automated reasoning in natural language (short paper)
vastutusandmed
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
allikas
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 509-521
seeria-sari
Lecture notes in computer science ; 14132
konverentsi nimetus, aeg
Automated Deduction – CADE 29, 29th International Conference on Automated Deduction, 1–4 July , 2023
konverentsi toimumispaik
Rome, Italy
WOS
kvartiil
kategooria (üld)
kategooria (alam)
ISSN
0302-9743
ISBN
978-303138498-1
märkused
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bibliogr.: 34 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
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).