Reference : Next steps in propositional Horn contraction
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10373
Next steps in propositional Horn contraction
English
Booth, Richard mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Meyer, Thomas [> >]
Varzinczak, Ivan José [> >]
2009
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)
702–707
Yes
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009)
2009
http://hdl.handle.net/10993/10373
Also presented at the 9th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 2009

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
IJCAI09-122.pdfPublisher postprint482.01 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.