The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...