Abstract. The Decomate project enables mutual access to heterogeneous, distributed, and pooled digital resources of consortium members. Using a mediator architecture with a Broker ...
: In this paper we report on some problems arising during the building of an educational system in the area of human computer interaction in the Czech Republic. An overview of teac...
We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the...
Abstract. Aiming to build a complete benchmark for better evaluation of existing ontology systems, we extend the well-known Lehigh University Benchmark in terms of inference and sc...
Li Ma, Yang Yang, Zhaoming Qiu, Guo Tong Xie, Yue ...
This paper describes experimental use of the multi-agent architecture to integrate Natural Language and Information Systems research and teaching, by casting a group of students a...