From post

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

Preferential Entailments for Circumscriptions.

Y. Moinard, и R. Rolland. KR, стр. 461-472. Morgan Kaufmann, (1994)

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.

Circumscription and Definability.Y. Moinard, и R. Rolland. IJCAI, стр. 432-437. Morgan Kaufmann, (1991)Around a Powerful Property of Circumscriptions.Y. Moinard, и R. Rolland. JELIA, том 838 из Lecture Notes in Computer Science, стр. 34-49. Springer, (1994)Characterizations of Preferential Entailments.Y. Moinard, и R. Rolland. Logic Journal of the IGPL, 10 (3): 245-272 (2002)Preferential Entailments for Circumscriptions.Y. Moinard, и R. Rolland. KR, стр. 461-472. Morgan Kaufmann, (1994)Equivalent Sets of Formulas for Circumscriptions.Y. Moinard, и R. Rolland. ECAI, стр. 479-483. IOS Press, (2000)Unexpected and Unwanted Results of Circumscription.Y. Moinard, и R. Rolland. AIMSA, стр. 61-70. North-Holland, (1990)A Formula Circumscriptively both Valid and Unprovable.P. Besnard, J. Houdebine, и R. Rolland. ECAI, стр. 516-518. Pitmann Publishing, London, (1988)Smallest Equivalent Sets for Finite Propositional Formula Circumscription.Y. Moinard, и R. Rolland. Computational Logic, том 1861 из Lecture Notes in Computer Science, стр. 897-911. Springer, (2000)