Alexander V. Lyaletski

According to our database, Alexander V. Lyaletski authored at least 28 papers between 1999 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On One Approach to Goal-Driven Proof Search in Classical First-Order Logic.

Alexander V. Lyaletski, Alexandre Lyaletsky

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems.

Alexander V. Lyaletski, Alexandre Lyaletsky

Proceedings of the Selected Papers of the 7th International Conference "Information Technology and Interactions" (IT&I-2020). Conferece Proceedings, 2020

2017

The SAD System: a Current State and Future Work.

Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine

Proceedings of the 13th International Conference on ICT in Education, 2017

2016

Mathematical Text Processing in EA-style: a Sequent Aspect.

Alexander V. Lyaletski

J. Formaliz. Reason., 2016

Evidential Paradigm as Formal Knowledge Presentation and Processing.

Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich

Proceedings of the 12th International Conference on ICT in Education, 2016

2015

Evidence Algorithm and Inference Search in First-Order Logics.

Alexander V. Lyaletski

J. Autom. Reason., 2015

Admissibility, compatibility, and deducibility in first-order sequent logics.

Alexander V. Lyaletski

Comput. Sci. J. Moldova, 2015

C-Clause Calculi and Refutation Search in First-Order Classical Logic.

Alexander V. Lyaletski

Proceedings of the 11th International Conference on ICT in Education, 2015

2012

Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation.

Vitaly Klimenko, Alexander V. Lyaletski

Proceedings of the 8th International Conference on ICT in Education, 2012

2010

Evidence Algorithm and System for Automated Deduction: A Retrospective View.

Alexander V. Lyaletski, Konstantin Verchinine

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

On Herbrand-like Theorems for Cut-free Modal Sequent Logics.

Alexander V. Lyaletski

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

2008

On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi.

Alexander V. Lyaletski

Proceedings of the SYNASC 2008, 2008

On Correctness of Mathematical Texts from a Logical and Practical Point of View.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

System for Automated Deduction (SAD): A Tool for Proof Verification.

Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich

Proceedings of the Automated Deduction, 2007

2006

SAD as a mathematical assistant - how should we go from here to there?

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine

J. Appl. Log., 2006

Sequent forms of Herbrand theorem and their applications.

Alexander V. Lyaletski

Ann. Math. Artif. Intell., 2006

The SAD System in Three Dimensions.

Anatoly V. Anisimov, Alexander V. Lyaletski

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

On Herbrand's Theorem for Intuitionistic Logic.

Alexander V. Lyaletski, Boris Konev

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Tableau Method with Free Variables for Intuitionistic Logic.

Boris Konev, Alexander V. Lyaletski

Proceedings of the Intelligent Information Processing and Web Mining, 2006

2005

Literal Trees and Resolution Technique.

Alexander V. Lyaletski, Alexander A. Letichevsky, Oleksandr Kalinovskyy

Proceedings of the Intelligent Information Processing and Web Mining, 2005

2004

Theorem Proving and Proof Verification in the System SAD.

Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

Evidential Paradigm and Intelligent Mathematical Text Processing.

Alexander V. Lyaletski, Anatoly E. Doroshenko, Andrey Paskevich, Konstantin Verchinine

Proceedings of the Information Systems Technology and its Applications, 2004

On Admissible Substitutions in Classical and Intuitionistic Sequent Logics.

Alexander V. Lyaletski

Proceedings of the Intelligent Information Processing and Web Mining, 2004

2003

Computer-Oriented Sequent Inferring without Preliminary Skolemization.

Alexander V. Lyaletski

Proceedings of the Intelligent Information Processing and Web Mining, 2003

2002

System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities.

Alexander V. Lyaletski, Konstantin Verchinine, Anatoli Degtyarev, Andrey Paskevich

Proceedings of the Intelligent Information Systems 2002, 2002

2001

Quantifier Handling Issues in Computer-Oriented Intuitionistic Calculi.

Alexander V. Lyaletski

Proceedings of the Intelligent Information Systems 2001, 2001

1999

On linguistic aspects of integration of computer mathematical knowledge.

Alexander V. Lyaletski, Marina Morokovets

Proceedings of the Systems for Integrated Computation and Deduction, 1999

Evidence Algorithm and Sequent Logical Inference Search.

Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999