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
Neil V. Murray
Professor Emeritus
 

College of Engineering and Applied Sciences
Department: Computer Science

View: Personal page

 

Research Interests

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