Image for Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning - 1st : International Workshop Proceedings

See all formats and editions

This contains the proceedings of the First International Workshop which took place in Washington DC, June 22-24, 1991.

It brought together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests.

Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modelling and representing human knowledge and beliefs.

One common ground is non-monotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning.

Read More
Title Unavailable: Out of Print
Product Details
MIT Press
0262640279 / 9780262640275
Paperback
005.1
06/09/1991
United States
301 pages, 7
178 x 229 mm, 454 grams
Professional & Vocational Learn More