Alexandre Lyaletsky

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Classical First Order Logic

Predicate Calculus

Predicting Future

Top Venues

Comput. Sci. J. Moldova

Publications

Alexander V. Lyaletski, Alexandre Lyaletsky
Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems. IT&I (2020)
Alexander V. Lyaletski, Alexandre Lyaletsky
On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. SYNASC (2020)
Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine
The SAD System: a Current State and Future Work. ICTERI (2017)
Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich
Evidential Paradigm as Formal Knowledge Presentation and Processing. ICTERI (2016)
Alexandre Lyaletsky
Fundamental theorems of extensional untyped lambda-calculus revisited. Comput. Sci. J. Moldova 23 (2) (2015)