er.sagepub.com/cgi/content/abstract/14/4/283 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineerin...
is.sagepub.com/cgi/content/abstract/34/1/93 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Chartered Institute of L...
jr.sagepub.com/cgi/content/abstract/21/2/89 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Multimedia Archives can ...
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that h...
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmid...
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...