Theory and application of labelling techniques for interpretability logics.

Evan Goris Marta Bílková Joost J. Joosten Luka Mikec

Published in: Math. Log. Q. (2022)

Keyphrases

theoretical basis
multimedia
optimal solution
theoretical framework
database
real time
learning algorithm
artificial intelligence
feature selection
data structure
prediction accuracy
computational model
theoretical foundation
proof theoretic