Invited speaker

Michael Gelfond

Professor of Computer Science
Texas Tech University

Honors and  Awards:

– AAAI fellow.
Fellows’ accomplishments range from pioneering advances in the theory of artificial intelligence, to unusual accomplishments in artificial intelligence technology and AI applications.

– The Burlington Northern Distinguished Acievement Award in Research.

– College of Engineering’s Award for Excellence in Undergraduate Teaching.

– Area Editor of the Journal of Theory and Practice of Logic Programming (Knowledge Representation and Nonmonotonic Reasoning).

– Executive Editor of the Journal of Logic and Computation.

– Co-founder and co-head of the Knowledge Representation Lab.

– Co-organizer, Texas Action Group, Logic Programming and Nonmonotonic Reasoning Conference.