Semantic selection for resolution in clause graphs

S Choi, Manfred Kerber

Research output: Contribution to conference (unpublished) › Paper

1 Citation (Scopus)

Original language	English
Pages	83-94
Number of pages	12
Publication status	Published - 1 Jan 2002
Event	15th Australian Joint Conference on Artificial Intelligence, Dec 02-06, 2002. CANBERRA, Australia - Duration: 1 Jan 2002 → …

Conference	15th Australian Joint Conference on Artificial Intelligence, Dec 02-06, 2002. CANBERRA, Australia
Period	1/01/02 → …

Cite this

@conference{79f5922c103046e7a783eccb5f32bde2,

title = "Semantic selection for resolution in clause graphs",

author = "S Choi and Manfred Kerber",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "83--94",

note = "15th Australian Joint Conference on Artificial Intelligence, Dec 02-06, 2002. CANBERRA, Australia ; Conference date: 01-01-2002",

}