From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Abductive reasoning through direct deduction from completed domain models

L. Console, D. Theseider Dupré, и P. Torasso. Methodologies for Intelligent Systems 4, Elsiever Science Publishing Co., (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

A Completion Semantics for Object-level AbductionL. Console, D. Theseider Dupré, и P. Torasso. Working Notes AAAI Spring Symposium on Automated Abduction, стр. 72--76. Stanford University, (марта 1990)Abductive reasoning through direct deduction from completed domain modelsL. Console, D. Theseider Dupré, и P. Torasso. Methodologies for Intelligent Systems 4, Elsiever Science Publishing Co., (1989)On the Relationship between Abduction and DeductionL. Console, D. Theseider Dupré, и P. Torasso. Journal of Logic and Computation, 1 (5): 661--690 (1991)