Ricardo Caferra

• Automated Model Building
• Automated Model Building
• Automated Deduction in Classical and Non-Classical Logics
• Logic for Computer Science and Artificial Intelligence