Author： Elfaki Abdelrahman Osman Fong Sim Liew Aik Kevin Loo Teow Johar Md Gapar Md
Publisher： Inderscience Publishers
ISSN： 1755-3210
Source： International Journal of Knowledge Engineering and Soft Data Paradigms, Vol.4, Iss.1, 2013-03, pp. : 1-20
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
Design of abstract domains using first-order logic
By Marchiori E.
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
Access to resources
Recommend
A first order logic of effects
By Mason I.A.
Theoretical Computer Science, Vol. 185, Iss. 2, 1997-10 ,pp. :
Confirmation-Guided Discovery of First-Order Rules with Tertius
By Flach P.A.
Machine Learning, Vol. 42, Iss. 1-2, 2001-01 ,pp. :
Refining Numerical Constants in First Order Logic Theories
By Botta M.
Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. :
The power of the ''always'' operator in first-order temporal logic
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :