Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Challenges for Action Theories

Name: Challenges for Action Theories
Brand: Springer, Berlin
SKU: 01567371
Price: 53.79 EUR
Availability: InStock
Author: Michael Thielscher
ISBN: 9783540674559

Michael Thielscher

Language

English

Book Paperback

Libristo code: 01567371

Publishers Springer, Berlin, November 1999

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages... Full description

Libristo code: 01567371

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Le petit vieux des Batignolles Emile Gaboriau

Paperback

10.89 €

Mandaly kočky Salamby Tatiana Procházková

Book

7.39 €

À la table des tyrans Roudaut

Paperback

12.79 €

French Pocket Puzzles - The Basics - Volume 4: A collection of puzzles and quizzes to aid your language learning Erik Zidowecki

Paperback

12.59 €

Antipartiti Salvatore Lupo

Paperback

22.99 €

Diviértete con las letras Equipo Editorial Fernleigh Books

Paperback

20.49 €

10 Anos Con Mafalda Quino

Hardback

18.89 €

Proces Contre M. Le Duc de Noailles Et Consorts, Ou Fin de l'Histoire de la Marquise de Montagu Callet-A

Paperback

19.09 €

Schule verandern Marianne Ullmann

Paperback

65.29 €

Familienpolitik Und Soziale Sicherung Jörg W. Althammer

Book

135.29 €

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing forthe description of actions and change.