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