Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop

Anil Nerode, Wiktor Marek and V. S. Subrahmanian (Eds.)

ISBN 10: 0262640279 / ISBN 13: 9780262640275

Verlag: MIT Press, Cambridge, MA, 1991

Beschreibung

Purple and black titles on pale green and pink trade paper covers, 288 pages. Contributors include: J. J. Alferes, J. N. Aparicio, C. Baral, P. Bonatti, G. Brewka, J. Dix, P. M. Dung, P. Geerts, M. Gelfond, A. Kakas, L.T. McCarty, M. Maher, D. Makinson, P. Mancarella, W. Marek, L. M. Pereira, S. G. Pimentel, H. Przymusinska, T. Przymusinski, W. L. Rodi, P. Ruamviboonsuk, D. Sacca, K. Schlechta, J. S. Schlipf, G. Schwarz, V. S. Subrahmanian, M. Truszczynski, D. Vermeir and C. Zaniolo.

Bestandsnummer des Verkäufers 008499

Bibliografische Details

• Titel: Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop
• Verlag: MIT Press, Cambridge, MA
• Erscheinungsjahr: 1991
• Sprache: Englisch
• ISBN-10: 0262640279
• ISBN-13: 9780262640275
• Einband: Trade Paperback
• Zustand: Very Good
• Zustand des Schutzumschlags: No Jacket

Über diesen Titel

Inhaltsangabe

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.

Über die Autorinnen und Autoren

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.