University of Ulm, Faculty of Computer Science, Dept. of Artificial Intelligence up: Publications

A Tableaux-based Mobile DL Reasoner - An Experience Report

Felix Müller, Michael Hanselmann, Thorsten Liebig, and Olaf Noppens

2006 International Workshop on Description Logics - DL '06
Lake District, United Kingdom
May 30 - June 1, 2006

 Online Copy

  Paper is available as PDF (58 KB)

 BibTeX Entry

  
@InProceedings{Mueller:Hanselmann:Liebig:Noppens:06:_dlreasoner,
  author =    {Felix Müller and Michael Hanselmann and Thorsten Liebig and Olaf Noppens}, 
  title =     {A Tableaux-bades Mobile DL Reasoner - An Experience Report},
  booktitle= {Proceedings of the 2006 International Workshop on Description Logics (DL 06)},
  year =      {2006},
  address =   {Lake District, UK},
  month =     may
}

Dept. of AI Homepage Research Help Mail to Webmaster O. Noppens - Oct. 1, 2006