Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Traditional scenario of probabilistic modelling is directed at generating samples having a given probability distribution. We argue that this scenario is impracticable for image m...
Wepresent our approach to agent modelingfor communication, and compareit to an approach to agent modelingfor other types of action. The comparisonshould be instructive since both ...