A genetically modified Hoare logic.
Gilles BernotJean-Paul CometZohra KhalisAdrien RichardOlivier F. RouxPublished in: Theor. Comput. Sci. (2019)
Keyphrases
- logic programming
- genetic programming
- asynchronous circuits
- multi valued
- multiscale
- sound and complete axiomatization
- database
- classical logic
- learning algorithm
- data mining
- real time
- evolutionary algorithm
- decision trees
- modal logic
- probabilistic logic
- logical framework
- computational properties
- databases
- proof theory