Login / Signup
A Seligman-Style Tableau System.
Patrick Blackburn
Thomas Bolander
Torben Braüner
Klaus Frovin Jørgensen
Published in:
LPAR (2013)
Keyphrases
</>
description logics
databases
artificial intelligence
face recognition
search algorithm
automated theorem proving