Challenges for Action Theories Image close
Challenges for Action Theories by Michael Thielscher
Challenges for Action Theories by Michael Thielscher
Show Hide Adult Content
Challenges for Action Theories close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Applications  
Artificial intelligence

Challenges for Action Theories

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$148.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.00 with Afterpay Learn more

6 weekly interest-free payments of $24.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Processes, Terms and Cycles: Steps on the Road to Infinity
$321.00
Processes, Terms and Cycles: Steps on the Road to Infinity
Paperback / softback
Available - Usually ships in 3-4 weeks
Functional and Constraint Logic Programming
$150.00
Functional and Constraint Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$238.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
The Semantic Web: ESWC 2019 Satellite Events
$150.00
The Semantic Web: ESWC 2019 Satellite Events
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$150.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$263.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Pattern Recognition. ICPR International Workshops and Challenges
$289.00
Pattern Recognition. ICPR International Workshops and Challenges
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2022
$314.00
Computer Vision – ECCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Chatbot Research and Design
$188.00
Chatbot Research and Design
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$152.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Data and Social Networks
$150.00
Computational Data and Social Networks
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
April 16th, 2000
Audience
  • Professional & Vocational
Illustrations
XIV, 146 p.
Pages
146
Dimensions
156x234x8
ISBN-13
9783540674559
Product ID
2804483

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Michael Thielscher

See all books by this author

Reasoning Robots on Hardback by Michael Thielscher
$153.00
Reasoning Robots
by Michael Thielscher ~ Hardback
Available - Usually ships in 3-4 weeks
Reasoning Robots by Michael Thielscher
$149.00
Reasoning Robots
by Michael Thielscher ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Computers & Internet >
Computer science >
Artificial intelligence