Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

89

DLOG
2006

134views Automated Reasoning» more DLOG 2006»

A Tableaux-based Mobile DL Reasoner - An Experience Report

15 years 4 months ago

A Tableaux-based Mobile DL Reasoner - An Experience Report

Download sunsite.informatik.rwth-aachen.de

Felix Müller, Michael Hanselmann, Thorsten Li

Real-time Traffic

Automated Reasoning | DLOG 2006 |

claim paper

Related Content

» Using Vampire to Reason with OWL

» Experience Report Ontological Reasoning for Contextaware Internet Services

» Experiences with Load Balancing and Caching for Semantic Web Applications

» Description Logic Systems

» Reasoning in Pervasive Environments An Implementation of Concept Abduction with Mobile OOD...

» Approximate Instance Retrieval on Ontologies

» Incremental Query Answering for Implementing Document Retrieval Services

» Can small be beautiful assessing image resolution requirements for mobile TV

» Constrained reverse nearest neighbor search on mobile objects

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DLOG
Authors	Felix Müller, Michael Hanselmann, Thorsten Liebig, Olaf Noppens

Comments (0)