Automatic proof generation in an axiomatic system for $$\mathsf{CPL}$$ by means of the method of Socratic proofs.
Aleksandra GrzelakDorota Leszczynska-JasionPublished in: Log. J. IGPL (2018)
Keyphrases
- fully automatic
- experimental evaluation
- high accuracy
- significant improvement
- detection method
- optimization method
- main contribution
- mutual information
- theoretical analysis
- genetic algorithm
- computational cost
- dynamic programming
- face recognition
- computationally efficient
- support vector machine
- optimization algorithm
- classification method
- high precision
- feature selection