Does Robust logic (Leslie Valiant), Default logic (Raymond Reiter) and Circumscription logic (John McCarthy) have any relation?

I was Mathematician and Computer Science (dual degree undergraduate) and now I'm a student of theoretical neuroscience (Ph.D.), I have a strong background in Model Theory (Logic) and Computation Theory (compatibility) because of my advisers in undergraduate, now I want to work on theories of learnability just a bit!

I am really interested in Leslie G. Valiant's works, but I can't understand his theory relation with other more famous logic in computer science and learnability.

I'll be happy if you can explain their place today, and give me some useful references.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.