Автори, співробітники Університету

Лялецький Олександр Вадимович
Alexander V. Lyaletski

Ідентифікатор автора: 36232
Кількість пошукових запитів автора: 608

Підрозділ: Факультет комп'ютерних наук та кібернетики
Кафедра/Відділ: НДС Теоретичної кібернетики / Теоретичної кібернетики /
Посада: старший науковий співробітник

Науковий ступінь: кандидат
Наукове звання: с.н.с.
Наукові інтереси: дискретна математика, теорія доведень, математична та комп’ютерна логіка, автоматизація міркувань

Публікаційна активність


Всього публікацій у базі - 55, з них наукових статей (наукові публікації) - 10, монографій - 1, підручників - 0, навчальних посібників - 0, тез (наукові публікації) - 11, матеріалів конференцій (наукові публікації)- 1

Публікації

Тип
Назва документу
Автори
Рік видання
Джерело
1
Матеріали конференції
The SAD System: a Current State and Future Work
Лялецький Олександр Вадимович
Лялецький Олександр Олександрович
2017
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer
c.19-22
2
Праці конференції
Evidential Paradigm as Formal Knowledge Presentation and Processing
Лялецький Олександр Вадимович
Лялецький Олександр Олександрович
2016
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (ICTERI 2016), Kyiv, Ukraine, June 21-24, 2016
c.25-32
3
Наукова стаття
Про формальний математичний текст і логічну та онтологічну коректності
Лялецький Олександр Вадимович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.155-157
4
Праці конференції
Automated Theorem Proving in Kyiv: a Logical Approach
Лялецький Олександр Вадимович
2014
International Algebraic Conference dedicated to 100-th anniversary of L.A.Kaluzhnin, July 7-12, 2014, Kyiv
c.1-58
5
Праці конференції
On Logical and Semantic Investigations in Kyiv School of Automated Reasoning
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
6th Podlasie Conference on Mathematics
c.1-49
6
Праці конференції
О поиске опровержения в исчислениях к-дизъюнктов
Лялецький Олександр Вадимович
2014
Алгебра и математическая логика: теория и приложения
c.1-98
7
Праці конференції
Литерные деревья и поиск опровержения резолюционного типа
Лялецький Олександр Вадимович
2014
Международная конференция "Мальцевские чтения"
c.1-128
8
Праці конференції
On Herbrand theorems for classical and non-classical logics
Лялецький Олександр Вадимович
2014
Joint Automated Reasoning Workshop and Deduktionstreffen
c.1-2
9
Праці конференції
О теоремах эрбрановского типа для классических и интуиционистских модальных логик с равенством
Лялецький Олександр Вадимович
2014
Международная конференция "Мальцевские чтения"
c.1-155
10
Розділ монографії
Logical and Semantic Investigations in Kyiv School of Automated Reasoning
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2014
Trends in ContemporaryComputer Science" (206 pages), Bialystok University of Technology Publishing Office, Poland
c.83-98
11
Наукова стаття
Алгоритм Очевидности Глушкова
Лялецький Олександр Вадимович
2013
12
Наукова стаття
Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань
Лялецький Олександр Вадимович
2013
Наукові записки НаУКМА. Комп’ютерні науки
c.21-28
13
Праці конференції
Секвенциальный формализм и поиск логического вывода в стиле Алгоритма Очевидности
Лялецький Олександр Вадимович
2013
Міжнародна конференція присвячена 90-річчу від дня народження академіка В.М. Глушкова “Сучасна інформатика: проблеми, досягнення та перспективи розвитку”
c.1-10
14
Праці конференції
Обратный метод Маслова и метод входной клаш-резолюции
Лялецький Олександр Вадимович
2013
Международная конференция "Мальцевские чтения"
c.54-56
15
Праці конференції
Інтелектуальний інтерфейс і Алгоритм Очевидності
Лялецький Олександр Вадимович
2013
ХII Международная конференция "Интеллектуальный анализ информации"
c.118-126
16
Праці конференції
Про евіденціальну парадигму та її сучасний стан
Лялецький Олександр Вадимович
2013
«Обчислювальний інтелект (результати, проблеми, перспективи)» (ComInt): Міжнародна науково-практична конференція
c.386
17
Монографія
On Combination of Deduction and Analytical Transformations in E-Learning Testing
Лялецький Олександр Вадимович
Нікітченко Микола Степанович
2012
Artificial Intelligence: Methods and Techniques for Business and Engineering Applications, Sofia, Болгарія
т.1 c.177-190
18
Наукова стаття
Системы Theorema и САД: сравнительный анализ
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2011
Управляющие системы и машины (УСиМ)
c.59.0000
19
Праці конференції
Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation
Лялецький Олександр Вадимович
2012
International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer (Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV))
c.290-295
20
Праці конференції
Evidential paradigm and its implementation: a short description
Лялецький Олександр Вадимович
2012
ХII Международная конференция "Интеллектуальный анализ информации"
c.96-101
21
Праці конференції
О дедуктивном и аналитическом методах тестирования и их интеграции в е-обучении
Лялецький Олександр Вадимович
2012
Міжнародна конференція "Нові інформаційні технології в освіті для всіх:моделі та інфраструктури"
c.108-110
22
Праці конференції
Автоматизация рассуждений в Украине: основные этапы
Лялецький Олександр Вадимович
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.157-163
23
Праці конференції
Система САД и интеллектуальная помощь в обработке формальных натуральных текстов // Труды XІ Международной научной конференции "Интеллектуальный анализ информации" (ИАИ-2011), Киев, 17 - 20 мая 2011 г
Лялецький Олександр Вадимович
2011
Інше
c.28-34
24
Праці конференції
Про роботу з математичними текстами в Алгоритмі Очевидності // Праці Шостої Міжнародної конференції "Нові інформаційні технології в освіті для всіх: навчальні середовища", 2011, Київ, Україна
Лялецький Олександр Вадимович
2011
Інше
c.113-119
25
Розділ монографії
Kyiv School of Automated Theorem Proving: a Historical Chronicle
Лялецький Олександр Вадимович
2012
University Press of America, USA
c.431-471
26
Наукова стаття
Принципи обробки логіко-математичних знань в комп’ютерних системах
Лялецький Олександр Вадимович
2011
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.109.0000
27
Праці конференції
EA, SAD, and Verfication Tasks // Proceedings of the First International Seminar "Specification and Verification of Hybrid Systems", 10-12 October 2011, Kyiv, Ukraine
Лялецький Олександр Вадимович
2011
28
Тези
Евіденціальна парадигма: особливості реалізації // Тези VIІI Міжнародної конференції “Теоретичні та Прикладні Аспекти Побудови Програмних Систем” «TAAPSD’2011», 19-23 вересня, Ялта, Україна
Лялецький Олександр Вадимович
2011
29
Тези
A note on the cut rule // Тезисы докладов Международной конференции "МАЛЬЦЕВСКИЕ ЧТЕНИЯ", посвященной 60-летию со дня рождения С. С. Гончарова, Новосибирск, Россия, 2011
Лялецький Олександр Вадимович
2011
30
Праці конференції
Особенности дедуктивной обработки математических знаний в системе САД // Праці Четвертої Міжнародної конференції "Нові інформаційні технології в освіті для всіх: інноваційні методи та моделі", Київ, 24-26 листопада 2009
Лялецький Олександр Вадимович
2009
31
Праці конференції
On Herbrand-like theorems for cut-free modal sequent logics // Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September, 2009
Лялецький Олександр Вадимович
2009
32
Праці конференції
Evidence Algorithm and System for Automated Deduction: A Retrospective View // Proceedings of the 9th International Conference on Mathematical Knowledge Management: MKM 2010, Paris, France, 2010
Лялецький Олександр Вадимович
2010
33
Праці конференції
Принципы организации обработки знаний в системах Theorema и САД // Праці П’ятої Міжнародної конференції "Нові інформаційні технології в освіті для всіх: інноваційні методи та моделі", Київ, 23-25 листопада 2010
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2010
34
Тези
Проекты “Алгоритм Очевидности” и “Theorema”: их особенности и реализация на современном этапе // Тези VII Міжнародної конференції “Теоретичні та Прикладні Аспекти Побудови Програмних Систем” «TAAPSD’2010», 4-8 жовтня, Київ
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2010
35
Тези
Система САД и интеллектуальное тестирование // Тези VII Міжнародної конференції “Теоретичні та Прикладні Аспекти Побудови Програмних Систем” «TAAPSD’2010», 4-8 жовтня, Київ
Бичков Олексій Сергійович
Лялецький Олександр Вадимович
2010
36
Тези
О таблицах Бета для интуиционистских модальных логик // Тезисы докладов Международной конференции "МАЛЬЦЕВСКИЕ ЧТЕНИЯ", посвященной 70-летию со дня рождения Академика Юрия Леонидовича Ершова, Новосибирск, Россия, 2010
Лялецький Олександр Вадимович
2010
37
Праці конференції
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi // Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, IEEE Inc., 2008
Лялецький Олександр Вадимович
2008
38
Праці конференції
On analytical transformations and deductive reasoning in intelligent testing in electronic learning // Proceedings of Artificial Intelligence Studies (Proceedings on XI International Conference on Artificial Intelligence - AI-24'2009, Poland, June 2009)
Анісімов Анатолій Васильович
Бичков Олексій Сергійович
Лялецький Олександр Вадимович
2009
39
Наукова стаття
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2008
Lecture Notes in Computer Science
т.5144 c.583.0000
40
Наукова стаття
Herbrand Theorems: the Classical and Intuitionistic Cases
Лялецький Олександр Вадимович
2008
Studies In Logic, Grammar аnd Rhetoric
т.14 c.101.0000
41
Праці конференції
Об автоматизации дедукции в среде естественного формального языка // Труды 3-ей Международной конференции "Новые информационные технологии в образовании для всех: система электронного образования", Киев, октябрь 2008
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2008
42
Праці конференції
On efficient inference search in first-order cut-free modal sequent calculi // Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September, 2008
Лялецький Олександр Вадимович
2008
43
Праці конференції
Reasoning inside a formula and ontological correctness of a formal mathematical text
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
Calculemus\MKM 2007-Work in progress. Hagenberg, Austria
c.77.0000
44
Праці конференції
System for Automated Deduction (SAD): a tool for proof verification
Лялецький Олександр Вадимович
2007
21-st International Conference, CADE . 21. Bremen, Germany
c.398.0000
45
Праці конференції
Is a mathematical text correct? From a logical and practical point of view
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
The 9th International Symposium on Symbolic and Numeric Algorithm for Scientific Computing (SYNASC 2007), Timisoara, Romania
c.290.0000
46
Тези
Система автоматизации дедукции (САД) как средство обработки формальных компьютерных заданий
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2007
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.0.0000
47
Наукова стаття
Sequent forms of Herbrand theorem and their applications. Annals of Mathematics and Artificial Intelligence,
Лялецький Олександр Вадимович
2006
Springer Netherlands
48
Наукова стаття
SAD as a mathematical assistant-how should we go from here to there?
Лялецький Олександр Вадимович
2006
Journal of Applied Logic
49
Наукова стаття
Эвиденциальная парадигма и обработка математических текстов в системе САД
Лялецький Олександр Вадимович
2006
Математические вопросы кибернетики и вычеслительной техники
50
Праці конференції
The SAD System: Deductive Assistance in an Intelligent Linguistic Environment
Лялецький Олександр Вадимович
2006
The 3rd IEEE Conference On Intelligent Systems (IEEE IS06), London
51
Тези
On Herbrand’s Theorem for Intuitionistic Logic. Proceedings of the 10th European Conference on "Logics in Artificial Intelligence" (JELIA-06)) LNAI, v. 4160, 2006, pp. 293-305
Лялецький Олександр Вадимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
52
Тези
Tableau method with free variables for intuitionistic logic. Proc. of the International Conference IIS:IIPWM`06, Poland, 2006 (In Press)
Лялецький Олександр Вадимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
53
Тези
The SAD System: Deductive Assistance in an Intelligent Linguistic Environment. Proceedings of the 3rd IEEE Conference On Intelligent Systems (IEEE IS06), London, UK, September 2006 (In Press)
Лялецький Олександр Вадимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
54
Тези
The SAD System in Three Dimensions. Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara (SYNASC 2006), Romania, September 26 - 29, 2006 (In Press)
Анісімов Анатолій Васильович
Лялецький Олександр Вадимович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"
55
Тези
Admissible substitutions and Herbrand"s theorems for classical and intuitionistic logics. Posters of the International Symposium Celebrating the 100th Birthday of Kurt Gоdel, 27.-29. April 2006, Festsaal of the University of Vienna, Austria
Лялецький Олександр Вадимович
Лялецький Олександр Олександрович
2006
Науч.-практ. конф. "Современные направления теоретических и прикладных исследований"

Повернення до списку

Вгору