Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Challenges for Action Theories

Name: Challenges for Action Theories
Brand: Springer, Berlin
SKU: 01567371
Price: 20413 HUF
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

136 b

20 413 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le petit vieux des Batignolles Emile Gaboriau

Paperback

4 148 Ft

Mandaly kočky Salamby Tatiana Procházková

Book

2 811 Ft

À la table des tyrans Roudaut

Paperback

4 480 Ft

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

Paperback

4 779 Ft

Antipartiti Salvatore Lupo

Paperback

8 012 Ft

Diviértete con las letras Equipo Editorial Fernleigh Books

Paperback

8 282 Ft

10 Anos Con Mafalda Quino

Hardback

7 187 Ft

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

Paperback

7 215 Ft

Schule verandern Marianne Ullmann

Paperback

24 775 Ft

Familienpolitik Und Soziale Sicherung Jörg W. Althammer

Book

51 323 Ft

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.