Efficient Certified Resolution Proof Checking.
Luís Cruz-FilipeJoão Marques-SilvaPeter Schneider-KampPublished in: TACAS (1) (2017)
Keyphrases
- bayesian networks
- cost effective
- neural network
- computationally expensive
- automatic theorem proving
- data sets
- consequence finding
- theorem proving
- computationally efficient
- special case
- data model
- xml documents
- digital libraries
- three dimensional
- feature selection
- information systems
- artificial intelligence
- machine learning