Login / Signup
Completeness and termination for a Seligman-style tableau system.
Patrick Blackburn
Thomas Bolander
Torben Braüner
Klaus Frovin Jørgensen
Published in:
J. Log. Comput. (2017)
Keyphrases
</>
description logics
term rewriting
automated theorem proving
databases
data quality
evolutionary algorithm
learning algorithm
information retrieval
real world
database
information systems
website
similarity measure
data structure
artificial neural networks
data mining
theorem prover