Multi-Output Ranking for Automated Reasoning

Files in This Item:

File	Description	Size	Format
	preprint version	4.64 MB	Adobe PDF	View/Open

Title:	Multi-Output Ranking for Automated Reasoning
Author(s):	Kühlwein, D.A. Urban, J. Tsivtsivadze, E. Geuvers, H. (110473930) Heskes, T. (108068862)
Publication year:	2011
Document type:	Article in monograph or in proceedings
Book title:	(ed.), KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval
Start page:	p. 42
End page:	p. 51
Publisher:	[S.l. : s.n.]
Related link(s):	http://www.cs.ru.nl/%7Ekuehlwein/preprints/kdir11.pdf
Annotation:	Scientific publication International Conference on Knowledge Discovery and Information Retrieval (KDIR2011), Paris, France, 26 – 29 October, 2011
Subject:	Intelligent Systems
Organization:	Intelligent Systems Foundations Information Retrieval and Information Systems
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/92097