Cover of Executable Modal and Temporal Logics

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Name: Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Brand: Springer
SKU: 9783540589761
Price: 5470.00 INR
Availability: InStock

by Michael Fisher, Richard Owens

Springer · 1995

Revised proceedings of the IJCAI '93 Workshop, held in Chambery, France, in August 1993. The papers look at running modal and temporal logics directly, as programs, in AI and computing.

₹5,470

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

This volume collects thoroughly revised papers from the IJCAI '93 Workshop on Executable Modal and Temporal Logics, held in Chambery, France, in August 1993. The contributions take up the question of how logical statements can be executed directly, in the manner that languages such as PROLOG allow.

The editors note that a range of nonclassical logics had been introduced in the years before the workshop, and that several executable versions of them had been put to use in programming. The papers examine that link between logic and computation, and the practical value of running these logics.

The collection will interest researchers in artificial intelligence and computer science who work on logic-based programming and on modal or temporal reasoning.

Bibliographic details: published by Springer, with the ISBN-13 9783540589761.