G.: Tractable first-order Golog with disjunctive knowledge bases (0)

by J Claßen, Lakemeyer
Venue:In: Proc. Commonsense 2009