..............page:347-362
..............page:363-373
..............page:379-387
..............page:400-401
..............page:312-318
..............page:329-332
Formalizing Default Reasoning
Han Jianchao;Department of Information;People’s University of China;Beijing 100872Shi Zhongzhi;Institute of Computing Technology;Academia Sinica;Beijing 100080
..............page:374-378
..............page:319-328
..............page:305-311
..............page:333-346
..............page:388-399