Jon DoyleJon Doyle is SAS Institute Distinguished Professor of Computer Science at North Carolina State University, Raleigh. He received a Ph.D. in Artificial Intelligence from MIT and has held research positions at Stanford University, Carnegie Mellon Univerity, and MIT. He is the author or coauthor of over 140 publications. His main research interests center on the foundations and practice of artificial intelligence, computation, decision theory, and logic. Prof Doyle is a Fellow of the American Association for Artificial Intelligence (AAAI). He has served as a member of the AAAI Executive Council, as chairman of ACM SIGART, as a director, president, and conference chair for Principles of Knowledge Representation and Reasoning Inc., and as a member of several editorial boards. Read More Read Less