Professor Emeritus Research Research Interests: Logic and Logic Programming Philosophy of Language Epistemology Artificial intelligence