scholarly journals Knowledge Compilation Methods Based on the Clausal Relevance and Extension Rule

2018 ◽  
Vol 27 (5) ◽  
pp. 1037-1042
Author(s):  
Dangdang NIU ◽  
Lei LIU ◽  
Shuai LYU
2019 ◽  
Vol 28 (2) ◽  
pp. 259-265
Author(s):  
Dangdang Niu ◽  
Lei Liu ◽  
Shuai Lyu ◽  
Yue Xu

2013 ◽  
Vol 8 (10) ◽  
Author(s):  
Ying Liu ◽  
Wenxiang Gu ◽  
Tingting Zou ◽  
Qingtao Huang ◽  
Qiao Li

2009 ◽  
Vol 20 (6) ◽  
pp. 1521-1527 ◽  
Author(s):  
Ying LI ◽  
Ji-Gui SUN ◽  
Xia WU ◽  
Xing-Jun ZHU
Keyword(s):  

Author(s):  
Simona Colucci ◽  
Eufemia Tinelli ◽  
Silvia Giannini ◽  
Eugenio Di Sciascio ◽  
Francesco M. Donini

Sign in / Sign up

Export Citation Format

Share Document