Results 241 to 246 of about 1,346 (246)

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  

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

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

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

Reliability Engineering and System Safety
GUANYI Liu, Shifeng Liu, Xueyan Li
exaly  

On sequence-conclusion natural deduction systems

Journal of Philosophical Logic, 1985
exaly