The Automated Refinement of a Requirements Domain Theory

By McCluskey T.L.  

Automated Software Engineering, Vol. 8, Iss. 2, 2001-04 ,pp. : 195-218

Springer Publishing Company

Access to resources Recommend Favorite

From first-order logic to automated word generation for Lyee

By Amon B.   Ekenberg L.   Johannesson P.   Munguanaze M.   Njabili U.   Manka Tesha R.  

Knowledge-Based Systems, Vol. 16, Iss. 7, 2003-11 ,pp. : 413-429

Elsevier

Access to resources Recommend Favorite

Inference of abduction theories for handling incompleteness in first-order learning

By Esposito F.   Ferilli S.   Basile T.   Mauro N.  

Knowledge and Information Systems, Vol. 11, Iss. 2, 2007-02 ,pp. : 217-242

Springer Publishing Company

Access to resources Recommend Favorite

On arithmetical first-order theories allowing encoding and decoding of lists

By Cegielski P.   Richard D.  

Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. : 55-75

Elsevier

Access to resources Recommend Favorite

Refining Numerical Constants in First Order Logic Theories

By Botta M.  

Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. : 109-131

Springer Publishing Company

Access to resources Recommend Favorite