(1 - 16 from 18
)
DL Workshop Programme for July 27 (Monday)www.cs.ox.ac.uk › programme-27
www.cs.ox.ac.uk
16:52 – 16:54, Michael Mendler and Stephan Scheele. Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive ...
SR2009 – Stream Reasoning
streamreasoning.org
Michael Mendler and Stephan Scheele Proceedings of the 1st International Workshop on Stream Reasoning (SR2009), Heraklion, Crete, Greece May 31st, ...
sorted by relevance / date