Horn-geometric axioms for faithfully quadratic rings.

Hugo Rafael de Oliveira Ribeiro Hugo Luiz Mariano

Published in: FLAP (2022)

Keyphrases

horn clauses
knowledge base
computational complexity
np hard
objective function
pairwise
expert systems
evolutionary algorithm
geometric structure
first order logic
high order