Results 291 to 300 of about 70,024 (314)

Deduction Systems

1997
Rolf Socher-Ambrosius, Patricia Johann
openaire   +1 more source

Rough data-deduction based on the upper approximation

Information Sciences, 2016
Shuo Yan, Jinzhao Wu
exaly  

Hybrid Deduction–Refutation Systems

Axioms, 2019
Valentin Goranko, Goranko Valentin
exaly  

Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events

International Journal of Approximate Reasoning, 1999
Thomas Lukasiewicz
exaly  

Natural Deduction for Dual-intuitionistic Logic

Studia Logica, 2012
Luca Tranchini, Tranchini Luca
exaly  

Contradiction separation based dynamic multi-clause synergized automated deduction

Information Sciences, 2018
Shuwei Chen, Xiaomei Zhong, Xingxing He   +2 more
exaly  

Tax Deductions

Science, 1965
openaire   +2 more sources

Algorithms for automated deduction of topological information

Automation in Construction, 2005
Amr A Oloufa, Khaled Nassar
exaly  

Deductive Generalization

2013
openaire   +1 more source

Mathematical Base and Deduction of Security Region for Distribution Systems With DER

IEEE Transactions on Smart Grid, 2019
Guoqiang Zu, Jun Xiao, Kai Sun
exaly