Abstract. Several strategies have been described as a reaction to a stumble during gait. The elevating strategy, which tries to proceed with the perturbed step, was executed as a r...
A. Forner-Cordero, H. F. J. M. Koopman, Frans C. T...
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
This text summarises the PhD thesis that Roel Leus presented to obtain the degree of Doctor in Applied Economics at the Katholieke Universiteit Leuven, in September 2003. The promo...
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...