McIlraith S. A. / McIlraith S. A. and Son T. / Implementing Dynamical Systems / MIT Press / McIlraith and Son / /
Country
China / /
Currency
pence / /
Facility
Computer Science Hong Kong University of Science / Golog complex / /
IndustryTerm
progression algorithm / semantic web services / /
NaturalFeature
Technology Clear Water Bay / /
Organization
Artificial Copyright Intelligence / Computer Science Hong Kong University of Science and Technology Clear Water Bay / Situations Fangzhen Lin Department / Association for the Advancement / MIT / /
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong