Ruud Stegers
rstegers@cs.vu.nl
Vrije Universiteit Amsterdam
Room U3.03
De Boelelaan 1081A
1081 HV Amsterdam
+31 20 59 87752
+31 6 142 65652

Publications

The Free Speech Engine: Conversational web service compatibility for free (Extended Abstract) (BNAIC'09)
Ruud Stegers, Frank van Harmelen and Annette ten Teije
The Free Speech Engine is a collaboration mechanism for web-services based on the notion of a shared communication-space, which allows much more flexible interactions than the classical protocol-based approaches.
PDF, BibTeX Reference & abstract

The Free Speech Engine: Conversational web service compatibility for free (SWWS'09)
Ruud Stegers, Frank van Harmelen and Annette ten Teije
The Free Speech Engine is a collaboration mechanism for web-services based on the notion of a shared communication-space, which allows much more flexible interactions than the classical protocol-based approaches.
PDF, BibTeX Reference & abstract

A scalable architecture for peer privacy on the Web (SPOT, ESWC'09)
Spyros Kotoulas and Ruud Stegers
We consider the privacy implications of exchanging Web data and present the design of a peer-to-peer discovery mechanism with strong privacy guarantees.
PDF, BibTeX Reference & abstract

From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (EKAW'06)
Ruud Stegers, Annette ten Teije and Frank van Harmelen
Proposes a structured, 5-step method to gradually transform a claim stated in informal natural language to a proof obligation expressed in formal logic. The method is applied to quality-indicators of medical protocols.
PDF, BibTeX Reference & abstract

From Natural Language to Formal Proof Goal: Structured Goal Formalisation Applied to Medical Guidelines (Masterthesis, VU University Amsterdam, 2006)
Ruud Stegers, Annette ten Teije and Frank van Harmelen
Proposes a structured, 5-step method to gradually transform a claim stated in informal natural language to a proof obligation expressed in formal logic. The method is applied to quality-indicators of medical protocols. A new expression language GDL is introduced to facilitate the conversation processes, including all the required formal semantics.
PDF, BibTeX Reference & abstract

MusiDB: A personalized search engine for music (JWS'06)
Ruud Stegers, Peter Fekkes and Heiner Stuckenschmidt
In this paper, we focus on the use of unique representations of data objects in terms of public repositories (in this case MusicBrainz) and the use of recommendation mechanisms as a basis for supporting information access.
PDF, BibTeX Reference & abstract