Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop (The MIT Press) - Tapa blanda

 
9780262640275: Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop (The MIT Press)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca de los autores

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.

"Sobre este título" puede pertenecer a otra edición de este libro.