A constraint-logic object-oriented language.

Jan C. Dageförde Herbert Kuchen

Published in: SAC (2018)

Keyphrases

constraint language
modal logic
logic programming
classical logic
data sets
neural network
genetic algorithm
predicate logic
learning algorithm
constraint networks
constraint solving
asynchronous circuits
deductive reasoning