Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-04-30

Fuzzy weak hyper deductive systems of hyper equality algebras and their measures

Yongwei Yang, Kuanyun Zhu, Xiaolong Xin

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2016-6

Study on automatic deduction method of overall transfer equation for branch multibody system

Xue Rui, Guoping Wang, Jianshu Zhang [...]

Advances in Mechanical Engineering

Open access

Research article

First published 2018-7

Study on automatic deduction method of overall transfer equation for tree systems as well as closed-loop-and-branch-mixed systems

Lu Sun, Guoping Wang, Xiaoting Rui [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2017-7-21

The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G L 1

Li Wei, Sui Yuefei, Wang Yuhui

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018-8

Production events graphical deduction model enabled real-time production control system for smart job shop

Chuang Wang, Pingyu Jiang, Tiantian Lu

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2025

Top Down and Bottom Up: Using the Deductive-Inductive Dual Pillar Integration Process (DID-PIP) to Answer Multilevel-Systems Questions

Catherine Kramarczuk Voulgarides, Allison R. Firestone, Alexandra Aylward [...]

Journal of Mixed Methods Research

Retricted access

Research article

First published 1998-2

O!-LOLA – Extending the Deductive Database System LOLA by Object-Oriented Logic Programming

Günther Specht

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1995-11

Simulation and Verification of Protocol Using Deductive Machine

R. Lai, X. Li

SIMULATION

Retricted access

Research article

First published 2006-07

Simultaneous Inductive and Deductive Modeling of Ecological Systems via Evolutionary Computation and Information Theory

James P. Hoffmann

SIMULATION

Retricted access

Other

First published 2002-5

The impact of CASC in the development of automated deduction systems

Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Search results