Filtern
Schlagworte
- Bluetooth (2)
- Campus Information System (2)
- University (2)
- ABox (1)
- Automated Theorem Proving Systems (1)
- E-KRHyper theorem prover (1)
- Equality (1)
- Hyper Tableau Calculus (1)
- IASON (1)
- KRHyper (1)
- Knowledge Compilation (1)
- MIA (1)
- Multi-robot System (1)
- Multiagent System (1)
- Personalised Information Systems (1)
- TBox (1)
- Theorem Proving (1)
- UML (1)
- XML (1)
- constraint logic programming (1)
- hybrid automata (1)
- multi-agent systems (1)
Institut
- Institut für Informatik (9)
- Fachbereich 4 (8)
In this paper we describe a network for distributing personalized information within a pervasive university. We discuss the system architecture of our Bluetooth-based CampusNews-system, both, from the administrator and the user viewpoint. We furthermore present first statistical data about the usage of the partial installation at the Koblenz campus together with an outlook to future work.