Diabelli: A Heterogeneous Proof System.

Matej Urbas Mateja Jamnik

Published in: IJCAR (2012)

Keyphrases

modal logic
neural network
databases
machine learning
database
multi agent systems
heterogeneous data
highly dynamic
heterogeneous networks