On the Completeness of Some First-order Extensions of C.

Grigory K. Olkhovikov

Published in: FLAP (2023)

Keyphrases

first order logic
higher order
default logic
data sets
neural network
image processing
relational databases
expressive power
data quality
efficient implementation
default theories
quantifier elimination
inductive logic programming systems