The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, R...
Diversity in learning style represents an obstacle teachers have to deal with. In the case of pupils with visual perception troubles, teachers cannot propose to students with diffi...
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
Abstract. Based on measurements in live GPRS networks, the degree of selfsimilarity for the aggregated WAP and WEB traffic is investigated by utilizing six well established Hurst p...