Tammet, T., Järv, P., Verrev, M., Draheim, D.

prindi

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

masinõpe

Scopus

Conference proceedings at Scopus

Article at Scopus

WOS

Article at WOS

kvartiil

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

teaduspublikatsioon

klassifikaator

3.1

TTÜ struktuuriüksus

tarkvarateaduse instituut

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). https://doi.org/10.1007/978-3-031-38499-8_29