default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIWAR 1992: Beijing, China
- Zhongshi Shi:
Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. IFIP Transactions A-19, North-Holland 1992, ISBN 0-444-89876-X
Chapter 1: Geometric Reasoning
- Shang-Ching Chou, Xiao-Shan Gao:
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method. IWAR 1992: 1-12 - Xiao-Shan Gao:
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving. IWAR 1992: 13-22 - Neng-Fa Zhou, Isao Nagasawa:
Implementing Graph Algorithms in BeTa-Prolog. IWAR 1992: 23-32
Chapter 2: Nonmonotonic Reasoning
- Wei Li:
Towards a Theory of Epistemic Processes. IWAR 1992: 33-46 - Seiki Akama, Hiroto Ohnishi:
Overview of Non-monotonic Deduction Systems. IWAR 1992: 47-56 - Lejian Liao, Zhongzhi Shi:
Default Reasoning in Constraint Network. IWAR 1992: 57-64 - Zuoquan Lin:
Experiential Logic. IWAR 1992: 65-74 - Shuo Bai:
Reasoning by Argueing: A Game-Theoretic Approach. IWAR 1992: 75-82
Chapter 3: Uncertain Reasoning
- Branimir Seselja, Andreja Tepavcevic:
Fuzzy Boolean Algebras. IWAR 1992: 83-88 - Zili Chen, Qingwen Cheng, Yungcong Xu, Jinwen Zhang:
Syntax Analysis of Fuzzy Logic System FL1 and Its Derivations DFL1, MFL1. IWAR 1992: 89-98 - Jozef Sajda:
Uncertainty Measures of Separable Fuzzy Temporal Propositions. IWAR 1992: 99-106 - Zhongzhi Shi, Xudong Luo:
NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability. IWAR 1992: 107-122 - Xudong Luo:
A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes. IWAR 1992: 123-136
Chapter 4: Logic and Proving
- Andreas V. Hense, Gert Smolka:
A Verification of Extensible Record Types. IWAR 1992: 137-164 - Huaiming Sun, Qun Liang:
A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. IWAR 1992: 165-176 - Zongming Fei, Jiafu Xu:
The Directed Inference and Its Role in NDSAIL System. IWAR 1992: 177-186
Chapter 5: Pansystems Theory
- Xuemou Wu, Dinghe Guo, Liao Ming, Zan Tingquan, Yongli Li, Zhang Yuxiang:
Pansystems Philosophical Logic: A Servey. IWAR 1992: 187-196 - Shuji Wang, Jianbo Zou:
Pansystems Inference Model and Its Applications. IWAR 1992: 197-202 - Min Wang, Zuohan Gao:
Pansystems Analysis Forecasting Theory and Rada Auto-Prediction. IWAR 1992: 203-210
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. IWAR 1992: 211-220 - Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238
Chapter 7: Temporal & Qualitative Reasoning
- Pei He, Renwei Li, Wenhui Zhang:
Theory and Practice for XYZ/VERI System. IWAR 1992: 239-248 - Ji Wang, Huowang Chen:
Temporal Reasoning About Real Time Reactive Systems. IWAR 1992: 249-256 - Yihua Wu, Jiesheng Wang:
A General Framework of Qualitative Kinematics. IWAR 1992: 257-264
Chapter 8: Analogical Reasoning
- Masateru Harao:
Analogical Reasoning for L K Theorem Proving. IWAR 1992: 265-274 - Baodong Li, Zhongzhi Shi:
Case Retrieval Based on Memory Network. IWAR 1992: 275-284 - Jianguo Lu, Bo Yi:
An Approach to Analogical Theorem Proving. IWAR 1992: 285-294
Chapter 9: Constraint Reasoning
- Jian-Hong Li, Seiichi Nishihara:
A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity. IWAR 1992: 295-304 - V. N. Vagin:
Parallel Inference on Logical Networks. IWAR 1992: 305-310 - Lan-di Shan, Tadashi Nagata:
Reasoning about Actions with Bidirectional Approach BI-STRIPS. IWAR 1992: 311-326
Chapter 10: Neurocomputing
- Armand de Callataÿ:
Logical Reasoning in Symbolic Neural Networks. IWAR 1992: 327-334 - Qing Shen, Quanyuan Wu:
Automated Reasoning on Prime Weighted Neural Network. IWAR 1992: 335-341
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-17 23:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
