This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
: Service-Oriented Architectures (SOA) are a promising means to integrate heterogeneous systems, but virtually no technology -neutral approach to holistically understand SOAs exist...
Uwe Zdun, Carsten Hentrich, Wil M. P. van der Aals...
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
— Our main objective is to model the knowledge used by learners in order to solve problems about electricity. We are searching means to do a diagnosis about student’s activity ...
Retrieval with Logical Imaging is derived from belief revision and provides a novel mechanism for estimating the relevance of a document through logical implication (i.e. P(q → ...
Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen