Next steps in propositional Horn contraction

Reference : Next steps in propositional Horn contraction


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a journal
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10373

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

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	IJCAI09-122.pdf		Publisher postprint	482.01 kB	Request a copy

All documents in ORBi^lu are protected by a user license.