Complexity Results and Practical Algorithms for Logics in Knowledge ...
Stephan Tobies
Building Large Knowledge-Based Systems: Representation and Inference ...
Douglas B. Lenat & R. V. Guha
Sieben Lügen
Elizabeth Kay
Connectivity and Edge Computing in IoT: Customized Designs and ...
Jie Gao & Mushu Li & Weihua Zhuang
Natural Language Processing and Chinese Computing: Second CCF ...
Juanzi Li & Dongyan Zhao & Yansong Feng & Guodong Zhou
A Scanner Darkly
Philip K. Dick