Booth, Richard ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas
Varzinczak, Ivan José
Wassermann, Renata
Language :
English
Title :
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Publication date :
2011
Journal title :
Journal of Artificial Intelligence Research
ISSN :
1943-5037
Publisher :
Morgan Kaufmann Publishers, San Francisco, United States - California