Open AccessMachine Learning-based Intelligent Formal Reasoning and Proving System
Author(s) -
Chen Sheng-qing,
Xiaojian Huang,
Jiaze Fang,
Liang Jia
Publication year - 2018
Publication title -
iop conference series. materials science and engineering
Language(s) - Uncategorized
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/322/5/052016
Subject(s) - computer science , correctness , reasoning system , artificial intelligence , deductive reasoning , model based reasoning , knowledge base , non monotonic logic , reuse , case based reasoning , propositional calculus , programming language , knowledge representation and reasoning , ecology , biology