Reflections on Logic Programming and Nonmonotonic Reasoning
International Conference on Logic Programming and Nonmonotonic Reasoning, Keynote address, May 14, 2007
- Department of Computer Science and
- Institute for Advanced Computer Studies
- University of Maryland, College Park, MD 20742
The powerpoint presentation is available in:
Abstract
I discuss highlights of the fields of logic programming (LP) and nonmonotonic reasoning (NMR)
starting with McCarthy's seminal work up to 2007. How these fields developed and relate to
one another are described. The major theoretical developments, system implementations
and applications are discussed. An assessment is provided of the field and future directions
are noted.