Incompleteness, Undecidability and Automated Proofs - (Invited Talk).

Cristian S. Calude Declan Thompson

Published in: CASC (2016)

Keyphrases

invited talk
automated theorem provers
knowledge discovery and data mining
selected papers
incomplete information
semi automated
description logics
theorem prover
machine learning
knowledge discovery
learning styles
databases
data analysis
data structure
information systems
query containment
probabilistic planning