Ricardo Caferra has been involved in teaching and research in Computational Logic and Artificial intelligence for many years. He has published several works in both domains, particularly on some non-standard features of automated deduction.