Automatic Learning in proof planning

Mateja Jamnik, Manfred Kerber, Martin Pollet, F van Harmelen

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	282-286
Number of pages	5
Publication status	Published - 1 Jan 2002
Event	ECAI-2002: European Conference on Artificial Intelligence - Amsterdam Duration: 1 Jan 2002 → …

Conference	ECAI-2002: European Conference on Artificial Intelligence
City	Amsterdam
Period	1/01/02 → …

Cite this

@conference{1b941a0492764a79b71fdde550a2ac9e,

title = "Automatic Learning in proof planning",

author = "Mateja Jamnik and Manfred Kerber and Martin Pollet and {van Harmelen}, F",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "282--286",

note = "ECAI-2002: European Conference on Artificial Intelligence ; Conference date: 01-01-2002",

}