Universität Koblenz
- 0261/287-0
Sofronie-Stokkermans, Viorica
On Interpolation and Symbol Elimination in Theory ExtensionsS. 1 - 41
Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based ReasoningS. 1 - 24
Doerfel, Stephan; Zoller, Daniel; Singer, Philipp et al.
Of course we share! Testing Assumptions about Social Tagging SystemsS. 1 - 12
Staab, Steffen; Stalla-Bourdillon, Sophie; Carmichael, Laura
Observing and Recommending from a Social Web with BiasesS. 1 - 37
Laufer, Paul; Wagner, Claudia; Flöck, Fabian et al.
Mining cross-cultural relations from Wikipedia: A study of 31 European food culturesS. 1 - 10
Singer, Philipp; Helic, Denis; Taraghi, Behnam et al.
Memory and Structure in Human Navigation Patterns Using Markov Chain Models of Varying OrderS. 1 - 31
Thimm, Matthias
Measuring Inconsistency in Probabilistic Knowledge BasesS. 1 - 8
Herberg, Evelyn; Hinze, Michael; Schumacher, Henrik
Maximal discrete sparsity in parabolic optimal control with measuresS. 1 - 30
Sofronie-Stokkermans, Viorica
Locality and applications to subsumption testing and interpolation in EL and some of its extensionsS. 1 - 42
Samoilenko, Anna; Karimi, Fariba; Edler, Daniel et al.
Linguistic neighbourhoods: explaining cultural borders on Wikipedia through multilingual co-editing activityS. 1 - 23