4 citations · 4 across the 4 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
Rolf Hennicker, Alexander Knapp, Martin Wirsing
An epistemic ensemble is composed of knowledge-based agents capable of retrieving and sharing knowledge and beliefs about themselves and their peers. These agents access a global k…
cs.SE2010★ 4 cited
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder
Pervasive user-centric applications are systems which are meant to sense the presence, mood, and intentions of users in order to optimize user comfort and performance. Building suc…