MPG.eBooks - Search Results - "tableau algorithm"

Search alternatives:
"tableau algorithm" » "tableau 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...”