Author of the publication

Two Methods for Constructing Horn Contractions.

, and . Australasian Conference on Artificial Intelligence, volume 6464 of Lecture Notes in Computer Science, page 72-81. Springer, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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