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:

Mohammed Ehsan Hoque: Virtual humans for conversation training
James Allen: Dialogue processing, deep understanding
M. Ehsan Hoque: Animated dialogue agents
Greg Carlson: (Linguistics) Acquiring & bootstrapping general knowledge from texts
Benjamin Van Durme Generic knowledge acquisition
Jonathan Gordon: Knowledge extraction
Adam Purtee: Pattern transduction, forward inference for NLP
Zahra Razavi Acquiring lexical meaning postulates via WordNet
Fabrizio Morbini (Ph.D. U of R 2009, now at ICT) Help with EPILOG 2 refinements
David Sekora Verb argument structure compilation, schema building
Chelsea Meyers schema theory
Alfonso Gerevini (U. Brescia): Efficient domain-independent planning

Some past research collaborators:

Daphne Liu, Ph.D. U of R 2012, now at Amazon)
Self-motivated cognitive agent design

Eric Bigelow, U of R undergrad
Imagistic modeling for story understanding

Daniel Scarafoni, U of R MS student
Imagistic modeling for story understanding

Alex Wilson, U of R undergrad
Imagistic modeling for story understanding

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

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

Henry Kyburg, Jr.:

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 software engineer at Google (LinkedIn):
Semantics/pragmatics of adverbially quantified sentences

Teresa Zollo: (Ph.D. 2003, now at Ithaca College; LinkedIn):
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)