Login / Signup

A New One-Pass Tableau Calculus for PLTL.

Stefan Schwendimann
Published in: TABLEAUX (1998)
Keyphrases
  • tableau calculus
  • description logics
  • minimal models
  • knowledge base
  • decision trees