A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations
2014 ◽
Vol 532
◽
pp. 249-252
Keyword(s):
2021 ◽
pp. 014233122110066
Keyword(s):
2011 ◽
Vol 62
(2)
◽
pp. 147-163
◽
2017 ◽
Vol 9
(2)
◽
pp. 147-157
◽
2005 ◽
Vol 152
(2)
◽
pp. 303-320
◽
Keyword(s):