Publications

of Bo Li

Conference articles

  1. Beidi Li, Mehul Bhatt, and Carl Schultz. lambdaProlog (QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper). In 14th International Conference on Spatial Information Theory (COSIT 2019), 2019.

Miscellaneous

  1. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.

BACK TO INDEX