Herbrand complexity and the epsilon calculus with equality.

Kenji Miyamoto Georg Moser

Published in: Arch. Math. Log. (2024)

Keyphrases

complexity analysis
logic programs
neural network
first order logic
space complexity
function symbols
database
computational complexity
databases
machine learning
knowledge representation
worst case
graphical models
computer algebra