MurrayNeil_221

Neil V. Murray

Automated deduction, extension of deductive techniques to various non-classical logics (including multiple-valued, annotated and fuzzy logic), knowledge compilation

The World Within Reach

 

Research Interests

Automated deduction, extension of deductive techniques to various non-classical logics (including multiple-valued, annotated and fuzzy logic), knowledge compilation