Finite two-dimensional proof systems for non-finitely axiomatizable logics.

Vitor Greati João Marcos

Published in: CoRR (2022)

Keyphrases

complex systems
finite number
computer systems
knowledge based systems
data mining
intelligent systems
management system
data model
relational databases
expert systems
bayesian networks
building blocks
learning systems
artificial intelligence
expressive power
neural network
inductive inference