Abstract is missing.
- Automated Reasoning in Differential Geometry and Mechanics Using Characteristic MethodShang-Ching Chou, Xiao-Shan Gao. 1-12
- An Introduction to Wu s Method of Mechanical Geometry Theorem ProvingXiao-Shan Gao. 13-22
- Implementing Graph Algorithms in BeTa-PrologNeng-Fa Zhou, Isao Nagasawa. 23-32
- Towards a Theory of Epistemic ProcessesWei Li. 33-46
- Overview of Non-monotonic Deduction SystemsSeiki Akama, Hiroto Ohnishi. 47-56
- Default Reasoning in Constraint NetworkLejian Liao, Zhongzhi Shi. 57-64
- Experiential LogicZuoquan Lin. 65-74
- Reasoning by Argueing: A Game-Theoretic ApproachShuo Bai. 75-82
- Fuzzy Boolean AlgebrasBranimir Seselja, Andreja Tepavcevic. 83-88
- Syntax Analysis of Fuzzy Logic System ::::FL::::::1:: and Its Derivations ::::DFL::::::1::, ::::MFL::::::1::Chen Zili, Cheng Qingwen, Xu Yungcong, Zhang Jinwen. 89-98
- Uncertainty Measures of Separable Fuzzy Temporal PropositionsJozef Sajda. 99-106
- NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic ProbabilityZhongzhi Shi, Xudong Luo. 107-122
- A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type SchemesXudong Luo. 123-136
- A Verification of Extensible Record TypesAndreas V. Hense, Gert Smolka. 137-164
- A Theory of Automatic Logic Programming Based on Second Order Term Rewriting TechniqueHuaiming Sun, Qun Liang. 165-176
- The Directed Inference and Its Role in NDSAIL SystemZongming Fei, Jiafu Xu. 177-186
- Pansystems Philosophical Logic: A ServeyXuemou Wu, Dinghe Guo, Liao Ming, Zan Tingquan, Yongli Li, Zhang Yuxiang. 187-196
- Pansystems Inference Model and Its ApplicationsShuji Wang, Jianbo Zou. 197-202
- Pansystems Analysis Forecasting Theory and Rada Auto-PredictionMin Wang, Zuohan Gao. 203-210
- QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search StrategiesSubir Bhattacharya, Amitava Bagchi. 211-220
- Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem ProversRyuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita. 221-238
- Theory and Practice for XYZ/VERI SystemHe Pei, Renwei Li, Wenhui Zhang. 239-248
- Temporal Reasoning About Real Time Reactive SystemsJi Wang, Huowang Chen. 249-256
- A General Framework of Qualitative KinematicsYihua Wu, Jiesheng Wang. 257-264
- Analogical Reasoning for L K Theorem ProvingMasateru Harao. 265-274
- Case Retrieval Based on Memory NetworkBaodong Li, Zhongzhi Shi. 275-284
- An Approach to Analogical Theorem ProvingJianguo Lu, Bo Yi. 285-294
- A Constraint Satisfaction Algorithm Using Solution Trees and its ComplexityJian-Hong Li, Seiichi Nishihara. 295-304
- Parallel Inference on Logical NetworksV. N. Vagin. 305-310
- Reasoning about Actions with Bidirectional Approach BI-STRIPSLan-di Shan, Tadashi Nagata. 311-326
- Logical Reasoning in Symbolic Neural NetworksArmand de Callataÿ. 327-334
- Automated Reasoning on Prime Weighted Neural NetworkQing Shen, Quanyuan Wu. 335-341