MPG.eBooks - Search Results - tableau algorithms

Search alternatives:
tableau algorithms » tableau algorithm , tables algorithms

Cover Image

1

Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... Querying -- A Tableau Algorithm for Possibilistic Description Logic...”