Про спрямовану парамодуляцію в методі елімінації моделей

Loading...
Thumbnail Image
Date
2010
Authors
Афонін, Андрій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Стаття присвячена дослідженням з вбудовування парамодуляційних правил у метод елімінації моделей та вхідну резолюцію. Даються результати про коректність та повноту побудованих розширень.
Description
The paper is devoted to the research on the building-in of paramodulation rules into the model elimination method and input resolution. The results about the soundness and completeness of the constructed extensions are given.
Keywords
парамодуляція, метод елімінації моделей
Citation
Афонін А. Про спрямовану парамодуляцію в методі елімінації моделей / Афонін А.О. // Вісник Київського університету. Серія : Фізико-математичні науки. - 2010. - Вип. 2. – С. 87-91.