Ph.D. (1970) University of Toronto. Assistant Professor (73-77), Associate Professor (77-84), Professor (84-88); University of Alberta. Professor (88-present), University of Rochester. I am also a member of the Center for Language Sciences (CLS) and the Center for Computation and the Brain.

My research interests center around language, knowledge representation, inference and planning. These interests are tied together by the general goal of developing agents with common sense and the ability to converse and acquire knowledge through language. Some specific topics my students and I have worked on include

Office hours, Fall 2013:

Tuesday and Thursday, 5:00-6:30 (or by appt.)

Current and recent courses:

CSC 191/291 (Topics in Computer Science): Machines and Consciousness
CSC 244/444: Logical Foundations of Artificial Intelligence
CSC 247/447: Natural Language Processing
CSC 280: Computer Models and Limitations
CSC 242: Artificial Intelligence

Present research collaborators:

James Allen: Dialogue processing, deep understanding
Greg Carlson: (Linguistics) Acquiring & bootstrapping general knowledge from texts
Benjamin Van Durme Generic knowledge acquisition
Daphne Liu Self-motivated cognitive agents
Jonathan Gordon: Knowledge extraction
Adam Purtee: Pattern transduction for NLP
Carolyn Keenan Acquiring lexical meaning postulates via VerbNet
Shuopeng Deng Acquiring lexical meaning postulates via WordNet
Matt Overlan Acquiring lexical meaning postulates via VerbNet
Alfonso Gerevini (U. Brescia): Efficient domain-independent planning

Some past research collaborators:

Adina Rubinoff (now at Factset, Norwalk, CT),
Acquiring lexical meaning postulates via VerbNet

Fabrizio Morbini (Ph.D. 2009, now at the Institute for Creative Technologies, Playa Vista, CA).

Ting Qian: (now a BCS PhD candidate)
Class attribute extraction, lexical semantics

Henry Kyburg, Jr.: http://www.cs.rochester.edu/dept/news/kyburg_obituary.shtml

Proshanto Mukherji: (Ph.D. 2006, now an Associate at Fish & Richardson in Boston, after earning a JD at Harvard Law School):
Discovering Laws as Anomalies in Logical Worlds

Tom Weingarten (Now CTO at Delve News, New York, after a Ph.D. in Computational Biology at NYU):
as URCS undergraduate worked on "Using pulse train to compute probabilities in Bayesian networks

David Ahn: (Ph.D. 2004, now a Natural Language Scientist at Powerset (LinkedIn):
Semantics/pragmatics of adverbially quantified sentences

Teresa Zollo: (Ph.D. 2003, now at Ithaca College -- new URL):
Recovery from speech recognition errors

Matthew Tong: (B.Sc. 2003, now a doctoral student in Computer Science at UCSD):
Mining general world knowledge from texts

Amon Seagull (Ph.D. 2000, now at Nova Southeastern University, Florida, new URL):
Well-foundedness and reliability in natural language parsing

Aaron Kaplan:, (Ph.D. 2000, now lead software engineer at NewsCred, New York, after 10 years at XRCE, Grenoble, France)
A computational model of belief

Mark Core (Ph.D. 2000, now at the Institute for Creative Technologies, Playa Vista, CA):
Dialog parsing: From speech repairs to speech acts

Marc Light (Ph.D. 1995, now senior scientist at WindLogics, St. Paul):
Morphological cues for lexical semantics

Massimo Poesio (Ph.D. 1994, now at U. of Essex, U.K.):
Assigning semantic scope to operators in dialogues

Chung Hee Hwang (Ph.D. 1992, now at Motorola's Intelligent Systems Lab in Phoenix, AZ):
A logical approach to narrative understanding, Episodic Logic

Alice Kyburg (Ph.D. 1994, now at U. Wisconsin at Oshkosh):
Pragmatic and semantic accounts of vagueness

Stephanie Schaeffer (M.S. 1988, systems prog., 1988-92, U. Alberta): Temporal reasoning, hybrid reasoning, EPILOG development

Jeffry Pelletier (U. Alberta): Semantic interpretation, semantics of mass terms and generics

Fahiem Bacchus (Ph.D. 1988, now at U. Toronto):
Representing and reasoning about probabilistic knowledge

Caoan Wang (Ph.D. 1988, now at Memorial U. of Newfoundland):
Computational geometry

Professional activities and awards

KR'98 program co-chair
ACL'93 program chair
CSCSI'80 program chair
ACM Trans. on Computational Logic editorial board (2007-pres)
JAIR editorial board (1996-1999)
Computational Intelligence editorial board (1985-2003)
Computational Linguistics editorial board (1983-5)

Fellow of the AAAI (elected in 1993 for "fundamental contributions in NLP, esp. in the formalization, representation, and practical implementation of non-first order concepts")

Alexander von Humboldt Fellow (1978-9)

Associate of the Canadian Institute for Advanced Research (1985-88)

Outstanding Contribution award for the KR'89 paper (with C.H. Hwang), "An episodic knowledge representation for narrative texts"

Selected Publications

(underlined titles provide pdf files in most cases)