Generalising and Unifying SLUR and Unit-Refutation Completeness.

Matthew Gwynne Oliver Kullmann

Published in: SOFSEM (2013)

Keyphrases

theorem proving
theorem prover
high quality
cooperative
special case
automated theorem proving
database
real world
data mining
multi agent
object recognition
multiresolution
query language
inductive inference