Separating DAG-Like and Tree-Like Proof Systems.

Published in: LICS (2007)

Keyphrases

management system
knowledge based systems
multi agent
expert systems
intelligent systems
artificial intelligence
computer vision
multi dimensional
information retrieval systems
learning systems
complex systems
binary tree