shopping cart
Save up to 30% on our Staff Picks
Call us: 800-878-7323 HELP
McAfee SECURE helps keep you safe from identity theft, credit card fraud, spyware, spam, viruses and online scams.
Contributors | November 10, 2009

Zachary Lazar: IMG Evening's Empire

0 comments By Zachary Lazar

Without knowing it, I'd always had two unspoken arrangements with the world. The first was that I would not trouble it with unpleasant conversation... Continue »
  1. $17.49 Sale Hardcover add to wish list

    Evening's Empire: The Story of My Father's Murder

    Zachary Lazar
Ships free on qualified orders.
Add to Cart
$73.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Software Engineering- Systems Analysis and Design
Used Book Alert Receive an email when this ISBN is available used.

Other titles in the Ernst Schering Research Foundation Workshops series:

  1. Neuroinflammation in Stroke
  2. New Mechanisms for Tissue-Selective Estrogen-Free Contraception (Ernst Schering Research Foundation Workshop)
  3. Principles of Protein Structure (Ernst Schering Research Foundation Workshop)
  4. Testicular Tangrams: 12th European Testis Workshop 2002
  5. Ernst Schering Research Foundation Workshop #5: Ernst Schering Research Foundation Workshop Schering Foundat.Workshop Interferon: The Dawn of Recombinant Protein Drugs
  6. Testis, Epididymis, and Technologies in the Year 2000
  7. New Concepts in Pathology and Treatment of Autoimmune Disorders
  8. Regenerative and Cell Therapy
  9. Therapeutic Vaccination Strategies
  10. Ernst Schering Research Foundation Workshop 31: Advances in Eicosanoid Research
  11. Ernst Schering Research Foundation Workshop #38: Bioinformatics and Genome Analysis
  12. Neuroinflammation: From Bench to Bedside
  13. Recent Advances in Glucocorticoid Receptor Action
  14. Ernst Schering Research Foundation Workshop, #41: The Future of the Oocyte
  15. Small Molecule - Protein Interaction
  16. Human Gene Therapy
  17. Leucocyte Trafficking : Role of Fucosyltransferases and Selectins
  18. Ernst Schering Research Foundation Workshop, #45: Chemokine Roles in Immunoregulation and Disease
  19. New Molecular Mechanisms of Estrogen Action and Their Impact on Future Perspectives in Estrogen Therapy
  20. From Morphological Imaging To Molecular Targeting
  21. Animal Models of T Cell-mediated Skin Diseases
  22. Biocombinatorial Approaches for Drug Finding
  23. Opportunities and Challenges of the Therapies Targeting CNS Regeneration
  24. The Promises and Challenges of Regenerative Medicine
  25. Chronic Viral and Inflammatory Cardiomyopathy
  26. Cytokines As Potential Therapeutic Targets for Inflammatory Skin Diseases
  27. Ernst Schering Research Foundation Workshop #57: The Histone Code and Beyond: New Approaches to Cancer Therapy
  28. Ernst Schering Research Foundation Workshop #58: Chemical Genomics: Small Molecule Probes to Study Cellular Function
  29. Ernst Schering Research Foundation Workshop #59: Appropriate Dose Selection - How to Optimize Clinical Drug Development
  30. Ernst Schering Research Foundation Workshop #60: Stem Cells in Reproduction and in the Brain
  31. Ernst Schering Research Foundation Workshop #61: Systems Biology: Applications and Perspectives
  32. Ernst Schering Research Foundation Workshop #62: Pet Chemistry: The Driving Force in Molecular Imaging
  33. Ernst Schering Research Foundation Workshop #843: Turing Machines with Sublogarithmic Space
  34. Ernst Schering Research Foundation Workshop #1043: Logics for Concurrency
  35. Fast Software Encryption: Proceedings, 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Vol. 126
  36. Ernst Schering Research Foundation Workshop #1757: Lectures on Choquet's Theorem
  37. Linear Delay-Differential Systems with Commensurate Delays: An Algebraic Approach

Ernst Schering Research Foundation Workshop #1775: Challenges for Action Theories

by Michael Thielscher

Ernst Schering Research Foundation Workshop #1775: Challenges for Action Theories Cover

Synopses & Reviews

Publisher Comments:

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 for the description of actions and change.

Description:

Includes bibliographical references (p. [127]-134) and index.
back to top
back to top

Product Details

ISBN:
9783540674559
Author:
Thielscher, Michael
Publisher:
Springer Berlin Heidelberg
Author:
Thielscher, M.
Location:
Berlin ;
Subject:
General
Subject:
Artificial Intelligence
Subject:
Programming - Systems Analysis & Design
Subject:
System design
Subject:
Computer logic
Subject:
Formal methods
Subject:
Artificial Intelligence - General
Subject:
Software Development & Engineering - Systems
Subject:
Intelligence (AI) & Semantics
Series:
Ernst Schering Research Foundation Workshop
Series Volume:
1775.
Publication Date:
January 2000
Binding:
Paperback
Language:
English
Illustrations:
Yes
Pages:
138
Dimensions:
9.21x6.14x.34 in. .51 lbs.
back to top

Related Aisles

  • back to top

Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and eBooks — here at Powells.com.