From post

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

Transitively Relational Partial Meet Horn Contraction.

Z. Zhuang, и M. Pagnucco. IJCAI, стр. 1132-1138. IJCAI/AAAI, (2011)

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.

Belief Contraction in the Description Logic EL.Z. Zhuang, и M. Pagnucco. Description Logics, том 477 из CEUR Workshop Proceedings, CEUR-WS.org, (2009)Horn Contraction via Epistemic Entrenchment.Z. Zhuang, и M. Pagnucco. JELIA, том 6341 из Lecture Notes in Computer Science, стр. 339-351. Springer, (2010)Two Methods for Constructing Horn Contractions.Z. Zhuang, и M. Pagnucco. Australasian Conference on Artificial Intelligence, том 6464 из Lecture Notes in Computer Science, стр. 72-81. Springer, (2010)Transitively Relational Partial Meet Horn Contraction.Z. Zhuang, и M. Pagnucco. IJCAI, стр. 1132-1138. IJCAI/AAAI, (2011)Implementing Iterated Belief Change Via Prime Implicates.Z. Zhuang, M. Pagnucco, и T. Meyer. Australian Conference on Artificial Intelligence, том 4830 из Lecture Notes in Computer Science, стр. 507-518. Springer, (2007)Definability of Horn Revision from Horn Contraction.Z. Zhuang, M. Pagnucco, и Y. Zhang. IJCAI, стр. 1205-1212. IJCAI/AAAI, (2013)Model Based Horn Contraction.Z. Zhuang, и M. Pagnucco. KR, AAAI Press, (2012)