Sign in
Programs are Predicates.
C. A. R. Hoare
Published in:
FGCS (1992)
Keyphrases
</>
user defined
answer sets
control program
computer programs
website
hidden markov models
knowledge base
control flow
intermediate level
control structures
machine learning
artificial neural networks
evolutionary algorithm
neural network
genetic algorithm
programming environment
horn clauses
function symbols