Logic Programming & Nonmonotonic Reasoning Proceedings of the First International Workshop (The MIT Press) - Softcover

Nerode, Anil

 
9780262640275: Logic Programming & Nonmonotonic Reasoning Proceedings of the First International Workshop (The MIT Press)

Synopsis

Non-monotonic reasoning is the common ground between computer programmers who use models of mathematical logic, and those who use the abstract cognition theories of artificial intelligence. Scientists from both perspectives discuss the concept in 18 papers first presented at an international workshop in Washington, DC in July 1991. No index. Annotation copyright Book News, Inc. Portland, Or.

"synopsis" may belong to another edition of this title.

About the Authors

Wiktor Marek is Professor of Computer Science at the University of Kentucky.


Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.


V.S. Subrahmanian is Assistant Professor of Computer Science at the University of Maryland.

"About this title" may belong to another edition of this title.