A Note on the Admissibility of Cut in Relevant Tableau Systems.

Michael A. McRobbie Robert K. Meyer

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

Keyphrases

expert systems
computer systems
learning systems
distributed systems
building blocks
intelligent systems
complex systems
data sets
artificial intelligence
similarity measure
evolutionary algorithm
mobile robot
knowledge based systems
computing systems