The SCEAS System
Navigation Menu

Conferences in DBLP

International Workshop on Automated Reasoning (iwar)
1992 (conf/iwar/1992)

  1. 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]
  2. 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]
  3. Neng-Fa Zhou, Isao Nagasawa
    Implementing Graph Algorithms in BeTa-Prolog. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:23-32 [Conf]
  4. Wei Li
    Towards a Theory of Epistemic Processes. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:33-46 [Conf]
  5. Seiki Akama, Hiroto Ohnishi
    Overview of Non-monotonic Deduction Systems. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:47-56 [Conf]
  6. Lejian Liao, Zhongzhi Shi
    Default Reasoning in Constraint Network. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:57-64 [Conf]
  7. Zuoquan Lin
    Experiential Logic. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:65-74 [Conf]
  8. Shuo Bai
    Reasoning by Argueing: A Game-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:75-82 [Conf]
  9. Branimir Seselja, Andreja Tepavcevic
    Fuzzy Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:83-88 [Conf]
  10. Chen Zili, Cheng Qingwen, Xu Yungcong, Zhang Jinwen
    Syntax Analysis of Fuzzy Logic System FL1 and Its Derivations DFL1, MFL1. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:89-98 [Conf]
  11. Jozef Sajda
    Uncertainty Measures of Separable Fuzzy Temporal Propositions. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:99-106 [Conf]
  12. 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]
  13. 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]
  14. Andreas V. Hense, Gert Smolka
    A Verification of Extensible Record Types. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:137-164 [Conf]
  15. 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]
  16. Zongming Fei, Jiafu Xu
    The Directed Inference and Its Role in NDSAIL System. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:177-186 [Conf]
  17. 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]
  18. Shuji Wang, Jianbo Zou
    Pansystems Inference Model and Its Applications. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:197-202 [Conf]
  19. Min Wang, Zuohan Gao
    Pansystems Analysis Forecasting Theory and Rada Auto-Prediction. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:203-210 [Conf]
  20. 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]
  21. 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]
  22. He Pei, Renwei Li, Wenhui Zhang
    Theory and Practice for XYZ/VERI System. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:239-248 [Conf]
  23. Ji Wang, Huowang Chen
    Temporal Reasoning About Real Time Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:249-256 [Conf]
  24. Yihua Wu, Jiesheng Wang
    A General Framework of Qualitative Kinematics. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:257-264 [Conf]
  25. Masateru Harao
    Analogical Reasoning for L K Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:265-274 [Conf]
  26. Baodong Li, Zhongzhi Shi
    Case Retrieval Based on Memory Network. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:275-284 [Conf]
  27. Jianguo Lu, Bo Yi
    An Approach to Analogical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:285-294 [Conf]
  28. 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]
  29. V. N. Vagin
    Parallel Inference on Logical Networks. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:305-310 [Conf]
  30. Lan-di Shan, Tadashi Nagata
    Reasoning about Actions with Bidirectional Approach BI-STRIPS. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:311-326 [Conf]
  31. Armand de Callataÿ
    Logical Reasoning in Symbolic Neural Networks. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:327-334 [Conf]
  32. Qing Shen, Quanyuan Wu
    Automated Reasoning on Prime Weighted Neural Network. [Citation Graph (0, 0)][DBLP]
    IWAR, 1992, pp:335-341 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002