An experimental pipeline for automated reasoning in natural language (short paper)
author
Tammet, Tanel
Järv, Priit
Verrev, Martin
Draheim, Dirk
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
Springer
year of publication
2023
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
url
https://doi.org/10.1007/978-3-031-38499-8_29
subject term
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
quartile
Q3
category (general)
Computer science
category (sub)
Computer science. General computer science
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
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise