An experimental pipeline for automated reasoning in natural language (short paper)
autor
Tammet, Tanel
Järv, Priit
Verrev, Martin
Draheim, Dirk
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
Springer
ilmumisaasta
2023
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
leitav
https://doi.org/10.1007/978-3-031-38499-8_29
märksõna
automatiseerimine
formaalne loogika
tehisintellekt
tehisõpe
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85172178824&origin=inward&txGid=e3f85903ec6970d47780852bbabf4aa9
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001156342400027
kvartiil
Q3
kategooria (üld)
Computer science
kategooria (alam)
Computer science. General computer science
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
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Rakendusliku tehismõistuse uurimisrühm