Booth, Richard ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas
Varzinczak, Ivan José
Language :
English
Title :
Next steps in propositional Horn contraction
Publication date :
2009
Event name :
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)
Event date :
2009
Journal title :
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)
Pages :
702–707
Peer reviewed :
Peer reviewed
Commentary :
Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009
