IWAR 1992: Beijing, China

@proceedings{DBLP:conf/iwar/1992,
  editor    = {Zhongshi Shi},
  title     = {Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International
               Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July
               1992},
  booktitle = {IWAR},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-19},
  year      = {1992},
  isbn      = {0-444-89876-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Chapter 1: Geometric Reasoning

• Shang-Ching Chou, Xiao-Shan Gao: Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. 1-12 BibTeX
• Xiao-Shan Gao: An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. 13-22 BibTeX
• Neng-Fa Zhou, Isao Nagasawa: Implementing Graph Algorithms in BeTa-Prolog. 23-32 BibTeX

Chapter 2: Nonmonotonic Reasoning

• Wei Li: Towards a Theory of Epistemic Processes. 33-46 BibTeX
• Seiki Akama, Hiroto Ohnishi: Overview of Non-monotonic Deduction Systems. 47-56 BibTeX
• Lejian Liao, Zhongzhi Shi: Default Reasoning in Constraint Network. 57-64 BibTeX
• Zuoquan Lin: Experiential Logic. 65-74 BibTeX
• Shuo Bai: Reasoning by Argueing: A Game-Theoretic Approach. 75-82 BibTeX

Chapter 3: Uncertain Reasoning

• Branimir Seselja, Andreja Tepavcevic: Fuzzy Boolean Algebras. 83-88 BibTeX
• Chen Zili, Cheng Qingwen, Xu Yungcong, Zhang Jinwen: Syntax Analysis of Fuzzy Logic System FL₁ and Its Derivations DFL₁, MFL₁. 89-98 BibTeX
• Jozef Sajda: Uncertainty Measures of Separable Fuzzy Temporal Propositions. 99-106 BibTeX
• Zhongzhi Shi, Xudong Luo: NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability. 107-122 BibTeX
• Xudong Luo: A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes. 123-136 BibTeX

Chapter 4: Logic and Proving

• Andreas V. Hense, Gert Smolka: A Verification of Extensible Record Types. 137-164 BibTeX
• Huaiming Sun, Qun Liang: A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. 165-176 BibTeX
• Zongming Fei, Jiafu Xu: The Directed Inference and Its Role in NDSAIL System. 177-186 BibTeX

Chapter 5: Pansystems Theory

• Xuemou Wu, Dinghe Guo, Liao Ming, Zan Tingquan, Yongli Li, Zhang Yuxiang: Pansystems Philosophical Logic: A Servey. 187-196 BibTeX
• Shuji Wang, Jianbo Zou: Pansystems Inference Model and Its Applications. 197-202 BibTeX
• Min Wang, Zuohan Gao: Pansystems Analysis Forecasting Theory and Rada Auto-Prediction. 203-210 BibTeX

Chapter 6: Search & Parallel Reasoning Search

• Subir Bhattacharya, Amitava Bagchi: QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies. 211-220 BibTeX
• Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. 221-238 BibTeX

Chapter 7: Temporal & Qualitative Reasoning

• He Pei, Renwei Li, Wenhui Zhang: Theory and Practice for XYZ/VERI System. 239-248 BibTeX
• Ji Wang, Huowang Chen: Temporal Reasoning About Real Time Reactive Systems. 249-256 BibTeX
• Yihua Wu, Jiesheng Wang: A General Framework of Qualitative Kinematics. 257-264 BibTeX

Chapter 8: Analogical Reasoning

• Masateru Harao: Analogical Reasoning for L K Theorem Proving. 265-274 BibTeX
• Baodong Li, Zhongzhi Shi: Case Retrieval Based on Memory Network. 275-284 BibTeX
• Jianguo Lu, Bo Yi: An Approach to Analogical Theorem Proving. 285-294 BibTeX

Chapter 9: Constraint Reasoning

• Jian-Hong Li, Seiichi Nishihara: A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity. 295-304 BibTeX
• V. N. Vagin: Parallel Inference on Logical Networks. 305-310 BibTeX
• Lan-di Shan, Tadashi Nagata: Reasoning about Actions with Bidirectional Approach BI-STRIPS. 311-326 BibTeX

Chapter 10: Neurocomputing

• Armand de Callataÿ: Logical Reasoning in Symbolic Neural Networks. 327-334 BibTeX
• Qing Shen, Quanyuan Wu: Automated Reasoning on Prime Weighted Neural Network. 335-341 BibTeX