4 resultados para Completeness

em Aberystwyth University Repository - Reino Unido


Relevância:

10.00% 10.00%

Publicador:

Resumo:

M.H. Lee, On Models, Modelling and the Distinctive Nature of Model-Based Reasoning, AI Communications, 12 (3), pp127-137.1999.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Lee M.H., Characterising Model-Based Reasoning, Proc. 10th Int. Workshop on Principles of Diagnosis, (DX'99), Loch Awe, Scotland, 1999, pp140-146.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ferr?, S. and King, R. D. (2004) A dichotomic search algorithm for mining and learning in domain-specific logics. Fundamenta Informaticae. IOS Press. To appear

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Gohm, Rolf; Kummerer, B.; Lang, T., (2006) 'Non-commutative symbolic coding', Ergodic Theory and Dynamical Systems 26(5) pp.1521-1548 RAE2008