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