On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Reference : On the Link between Partial Meet, Kernel, and Infra Contraction and its Application t...


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10348

Title :	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
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é [> >]
	Wassermann, Renata [> >]
Publication date :	2011
Journal title :	Journal of Artificial Intelligence Research
Publisher :	Morgan Kaufmann Publishers
Volume :	42
Pages :	31–53
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	1076-9757
e-ISSN :	1943-5037
City :	San Francisco
Country :	CA
Permalink :	http://hdl.handle.net/10993/10348
DOI :	10.1613/jair.3364

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	infra contraction.pdf		Publisher postprint	267.21 kB	Request a copy

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