Login / Signup
Ashot Baghdasaryan
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Computer Algebra Systems
Sequent Calculus
Proof Search
General Logic Programs
Top Venues
J. Univers. Comput. Sci.
Expert Syst. Appl.
</>
Publications
</>
Ashot Baghdasaryan
,
Tigran Bunarjyan
,
Arnak V. Poghosyan
,
Ashot N. Harutyunyan
,
Jad El-Zein
Knowledge retrieval and diagnostics in cloud services with large language models.
Expert Syst. Appl.
255 (2024)
Ashot Baghdasaryan
,
Hovhannes Bolibekyan
On Recurrent Neural Network Based Theorem Prover For First Order Minimal Logic.
J. Univers. Comput. Sci.
27 (11) (2021)