- 1992
- Seiki Akama, Hiroto Ohnishi:
Overview of Non-monotonic Deduction Systems. IWAR 1992: 47-56 - Shuo Bai:
Reasoning by Argueing: A Game-Theoretic Approach. IWAR 1992: 75-82 - Subir Bhattacharya, Amitava Bagchi:
QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies. IWAR 1992: 211-220 - Armand de Callataÿ:
Logical Reasoning in Symbolic Neural Networks. IWAR 1992: 327-334 - Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12 - Zongming Fei, Jiafu Xu:
The Directed Inference and Its Role in NDSAIL System. IWAR 1992: 177-186 - Xiao-Shan Gao:
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. IWAR 1992: 13-22 - Masateru Harao:
Analogical Reasoning for L K Theorem Proving. IWAR 1992: 265-274 - Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238 - Andreas V. Hense, Gert Smolka:
A Verification of Extensible Record Types. IWAR 1992: 137-164 - Wei Li:
Towards a Theory of Epistemic Processes. IWAR 1992: 33-46 - Jian-Hong Li, Seiichi Nishihara:
A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity. IWAR 1992: 295-304 - Baodong Li, Zhongzhi Shi:
Case Retrieval Based on Memory Network. IWAR 1992: 275-284 - Lejian Liao, Zhongzhi Shi:
Default Reasoning in Constraint Network. IWAR 1992: 57-64 - Zuoquan Lin:
Experiential Logic. IWAR 1992: 65-74 - Jianguo Lu, Bo Yi:
An Approach to Analogical Theorem Proving. IWAR 1992: 285-294 - Xudong Luo:
A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes. IWAR 1992: 123-136 - Pei He, Renwei Li, Wenhui Zhang:
Theory and Practice for XYZ/VERI System. IWAR 1992: 239-248 - Jozef Sajda:
Uncertainty Measures of Separable Fuzzy Temporal Propositions. IWAR 1992: 99-106 - Branimir Seselja, Andreja Tepavcevic:
Fuzzy Boolean Algebras. IWAR 1992: 83-88 - Lan-di Shan, Tadashi Nagata:
Reasoning about Actions with Bidirectional Approach BI-STRIPS. IWAR 1992: 311-326 - Qing Shen, Quanyuan Wu:
Automated Reasoning on Prime Weighted Neural Network. IWAR 1992: 335-341 - Zhongzhi Shi, Xudong Luo:
NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability. IWAR 1992: 107-122 - Huaiming Sun, Qun Liang:
A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. IWAR 1992: 165-176 - V. N. Vagin:
Parallel Inference on Logical Networks. IWAR 1992: 305-310 - Ji Wang, Huowang Chen:
Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256 - Min Wang, Zuohan Gao:
Pansystems Analysis Forecasting Theory and Rada Auto-Prediction. IWAR 1992: 203-210 - Shuji Wang, Jianbo Zou:
Pansystems Inference Model and Its Applications. IWAR 1992: 197-202 - Yihua Wu, Jiesheng Wang:
A General Framework of Qualitative Kinematics. IWAR 1992: 257-264 - Xuemou Wu, Dinghe Guo, Liao Ming, Zan Tingquan, Yongli Li, Zhang Yuxiang:
Pansystems Philosophical Logic: A Servey. IWAR 1992: 187-196