Quantifiers Closed Under Partial Polymorphisms.

Anuj Dawar Lauri Hella

Published in: CSL (2024)

Keyphrases

first order logic
neural network
genetic algorithm
preprocessing
artificial intelligence
similarity measure
multiscale
natural language
multi agent systems
mobile robot
probability distribution