Luis C. Lamb

• Compiled labelled deductive systems
• Neural-Symbolic Cognitive Reasoning