Towards a Proof System for Admissibility.

Rosalie Iemhoff

Published in: CSL (2003)

Keyphrases

modal logic
intuitionistic logic
search engine
search algorithm
evolutionary algorithm
linear time temporal logic
neural network
data mining
learning algorithm
cooperative
pairwise
inference rules
argumentation frameworks