Corrigendum: Decidable Bounded Quantification.

Giuseppe Castagna Benjamin C. Pierce

Published in: POPL (1995)

Keyphrases

artificial intelligence
transitive closure
database systems
data model
first order logic
datalog programs
neural network
data mining
machine learning
image sequences
optimal solution
expert systems
artificial neural networks
integrity constraints
function symbols
plan existence