Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531696703> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1531696703 abstract "Geometric Reasoning. Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method (S.-C. Chou, X.-S. Gao). An Introduction to Wu's Method of Mechanical Geometry Theorem Proving (X.-S. Gao). Implementing Graph Algorithms in BeTa-Prolog (N.-F. Zhou, I. Nagasawa). Non-monotonic Reasoning. Towards a Theory of Epistemic Processes (W. Li). Overview of Non-monotonic Deduction Systems (S. Akama, H. Ohnishi). Default Reasoning in Constraint Network (L. Liao, Z. Shi). Experiential Logic (Z. Lin). Reasoning by Argueing: A Game-Theoretic Approach (B. Shuo). Uncertain Reasoning. Fuzzy Boolean Algebras (B. Seselja, A. Tepavcevic). Syntax Analysis of Fuzzy Logic System FL 1 and its Derivations DFL 1 , MFL 1 (C. Zili, C. Qingwen, X. Yuncong, Z. Jinwen). Uncertainty Measures of Separable Fuzzy Temporal Propositions (J. Sajda). NLPM: An Approach for Non-monotonic Reasoning Based on Linguistic Probability (Z. Shi, X. Luo). A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes (X. Luo). Logic and Proving. A Verification of Extensible Record Types (A.V. Hense, G. Smolka). A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique (H. Sun, Q. Lian). The Directed Inference and its Role in NDSAIL Sytem (Z. Fei, J. Xu). Pansystems Theory. Pansystems Philosophical Logic: A Survey (W. Xuemou, G. Dinghe, L. Ming, Z. Tingquan, L. Yongli, Z. Yuxiang). Pansystems Inference Model and its Applications (S. Wang, J. Zou). Pansystems Analysis Forecasting Theory and Radar Auto-Prediction (M. Wang, Z. Gao). Search & Parallel Reasoning Search. QuickGame: A Compromise Between Pure Depth-First and Pure Best-First Game Tree Search Strategies (S. Bhattacharya, A. Bagchi). Lazy Model Generation for Improving the Efficiency of Forward Reasoning Theorem Provers (R. Hasegawa, M. Koshimura, H. Fujita). Temporal & Qualitative Reasoning. Theory and Practice for XYZ/VERI System (H. Pei, L. Renwei, Z. Wenhui). Temporal Reasoning about Real Time Reactive Systems (J. Wang, H. Chen). A General Framework of Qualitative Kinematics (Y. Wu, J. Wang). Analogical Reasoning. Analogical Reasoning for LK Theorem Proving (M. Harao). Case Retrieval Based on Memory Network (B. Li, Z. Shi). An Approach to Analogical Theorem Proving (J. Lu, B. Yi). Constraint Reasoning. A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity (J.-H. Li, S. Nishihara). Parallel Inference on Logical Networks (V.N. Vagin). Reasoning about Actions with Bidirectional Approach BI-STRIPS (L.-d. Shan, T. Nagata). Neurocomputing. Logical Reasoning in Symbolic Neural Networks (A. de Callatay). Automated Reasoning on Prime Weighted Neuron Network (Q. Shen, Q.-Y. Wu)." @default.
- W1531696703 created "2016-06-24" @default.
- W1531696703 creator A5055220931 @default.
- W1531696703 creator A5075925664 @default.
- W1531696703 date "1992-01-01" @default.
- W1531696703 modified "2023-09-22" @default.
- W1531696703 title "Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992" @default.
- W1531696703 hasPublicationYear "1992" @default.
- W1531696703 type Work @default.
- W1531696703 sameAs 1531696703 @default.
- W1531696703 citedByCount "0" @default.
- W1531696703 crossrefType "journal-article" @default.
- W1531696703 hasAuthorship W1531696703A5055220931 @default.
- W1531696703 hasAuthorship W1531696703A5075925664 @default.
- W1531696703 hasConcept C11413529 @default.
- W1531696703 hasConcept C118615104 @default.
- W1531696703 hasConcept C154945302 @default.
- W1531696703 hasConcept C159032336 @default.
- W1531696703 hasConcept C195344581 @default.
- W1531696703 hasConcept C199343813 @default.
- W1531696703 hasConcept C2777686260 @default.
- W1531696703 hasConcept C33923547 @default.
- W1531696703 hasConcept C3746660 @default.
- W1531696703 hasConcept C41008148 @default.
- W1531696703 hasConcept C71924100 @default.
- W1531696703 hasConcept C89288958 @default.
- W1531696703 hasConceptScore W1531696703C11413529 @default.
- W1531696703 hasConceptScore W1531696703C118615104 @default.
- W1531696703 hasConceptScore W1531696703C154945302 @default.
- W1531696703 hasConceptScore W1531696703C159032336 @default.
- W1531696703 hasConceptScore W1531696703C195344581 @default.
- W1531696703 hasConceptScore W1531696703C199343813 @default.
- W1531696703 hasConceptScore W1531696703C2777686260 @default.
- W1531696703 hasConceptScore W1531696703C33923547 @default.
- W1531696703 hasConceptScore W1531696703C3746660 @default.
- W1531696703 hasConceptScore W1531696703C41008148 @default.
- W1531696703 hasConceptScore W1531696703C71924100 @default.
- W1531696703 hasConceptScore W1531696703C89288958 @default.
- W1531696703 hasLocation W15316967031 @default.
- W1531696703 hasOpenAccess W1531696703 @default.
- W1531696703 hasPrimaryLocation W15316967031 @default.
- W1531696703 hasRelatedWork W1511829996 @default.
- W1531696703 hasRelatedWork W1567917442 @default.
- W1531696703 hasRelatedWork W2065896430 @default.
- W1531696703 hasRelatedWork W2172332268 @default.
- W1531696703 hasRelatedWork W2895421393 @default.
- W1531696703 hasRelatedWork W302591305 @default.
- W1531696703 hasRelatedWork W560157572 @default.
- W1531696703 hasRelatedWork W566315056 @default.
- W1531696703 hasRelatedWork W579767598 @default.
- W1531696703 hasRelatedWork W613648401 @default.
- W1531696703 hasRelatedWork W624182021 @default.
- W1531696703 hasRelatedWork W625261248 @default.
- W1531696703 hasRelatedWork W629201781 @default.
- W1531696703 hasRelatedWork W631408279 @default.
- W1531696703 hasRelatedWork W634764188 @default.
- W1531696703 hasRelatedWork W640486320 @default.
- W1531696703 hasRelatedWork W642200649 @default.
- W1531696703 hasRelatedWork W648635762 @default.
- W1531696703 hasRelatedWork W648956691 @default.
- W1531696703 hasRelatedWork W654463824 @default.
- W1531696703 isParatext "false" @default.
- W1531696703 isRetracted "false" @default.
- W1531696703 magId "1531696703" @default.
- W1531696703 workType "article" @default.