Publisher： Cambridge University Press
E-ISSN： 1475-3081|17|5-6|726-743
ISSN： 1471-0684
Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 726-743
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
A Hierarchal Risk Assessment Model Using the Evidential Reasoning Rule
By Ji Xiaoxiao Jiang Jiang Sun Jianbin Chen Yu-Wang
Systems, Vol. 5, Iss. 1, 2017-02 ,pp. :
Access to resources
Constraint solving for finite model finding in SMT solvers
Theory and Practice of Logic Programming, Vol. 17, Iss. 4, 2017-07 ,pp. :
By Khan Imran Sher Muhammad Khan Javed I. Saqlain Syed M. Ghani Anwar Naqvi Husnain A. Ashraf Muhammad Usman
Informatics, Vol. 3, Iss. 1, 2016-02 ,pp. :