This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993. The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming. This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Citations (learn more)
47
books
cite this book:
See all 47 books citing this book
- Intelligent Agents II - Agent Theories, Architectures, and Languages: IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings ... / Lecture Notes in Artificial Intelligence) by Michael Wooldridge in Back Matter (1), and Back Matter (2)
- Machine Learning: ECML-95: 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25 - 27, 1995. Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) by Nada Lavrac in Back Matter (1), and Back Matter (2)
- Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, ... / Lecture Notes in Artificial Intelligence) by Peter Baumgartner in Back Matter (1), and Back Matter (2)
- Machine Translation and the Lexicon: Third International EAMT Workshop, Heidelberg, Germany, April 26-28, 1993. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) by Petra Steffens in Back Matter (1), and Back Matter (2)
- Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers (Lecture Notes in ... / Lecture Notes in Artificial Intelligence) by Louis M. Pereira in Back Matter (1), and Back Matter (2)
See all 47 books citing this book
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Computers & Technology > Programming
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
