Monadic second-order incorrectness logic for GP 2.
Christopher M. PoskittDetlef PlumpPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- genetic programming
- deductive databases
- logic programming
- higher order
- fitness function
- classical logic
- modal logic
- multi valued
- proof theory
- automated reasoning
- high order
- monadic second order logic
- data sets
- datalog queries
- digital circuits
- computational properties
- regression problems
- expressive power
- knowledge base
- neural network