Results 241 to 248 of about 165,947,536 (248)

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

International Journal of Approximate Reasoning, 1999
Thomas Lukasiewicz
exaly  

Contradiction separation based dynamic multi-clause synergized automated deduction

Information Sciences, 2018
He Xingxing, Shuwei Chen
exaly  

Natural deduction systems for Nelson's paraconsistent logic and its neighbors

Journal of Applied Non-Classical Logics, 2005
Norihiro Kamide
exaly  

Label-free natural deduction systems for intuitionistic and classical modal logics

Journal of Applied Non-Classical Logics, 2010
Yakoub Salhi
exaly  

Rough data-deduction based on the upper approximation

Information Sciences, 2016
exaly  

Multiscenario deduction analysis for railway emergencies using knowledge metatheory and dynamic Bayesian networks

Reliability Engineering and System Safety
Daqing Gong, Shifeng Liu, Xueyan Li
exaly  

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly  

Analysis of point deduction patterns in Taekwondo using association rule learning

International Journal of Performance Analysis in Sport, 2019
exaly