A Modular Hierarchy of Logical Frameworks.

Published in: TYPES (2003)

Keyphrases

hierarchical structure
artificial intelligence
higher level
modular structure
logical reasoning
computer vision
website
probabilistic logic
logical rules