Conference paper
Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Paper
Linear unification
Abstract
A unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input. © 1978.
Related
Robert F. Gordon, Edward A. MacNair, et al.
WSC 1985
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Vladimir Yanovski, Israel A. Wagner, et al.
Ann. Math. Artif. Intell.