Challenges for Action Theories (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Michael Thielscher Published in May 19, 2000, Springer Challenges for Action Theories (Lecture Notes in Computer Science / L ... Michael Thielscher Change Cover Language: English Edition: 1 edition Format: Paperback Dimensions: 9 x 6.1 x 0.4 inches Weight: 5.6 ounces ISBN 10: 3540674551 ISBN 13: 9783540674559 Subject: Artificial intelligence System design Formal methods (Computer scien Formal Language Theory Computers Computers - Languages / Programming Science/Mathematics Programming - Systems Analysis & Design Formal methods (Computer science) Artificial Intelligence - General General AI-Logic Computers / Artificial Intelligence Formal Logic action theories deduction formal methods frame problem Computer Science Computer Logic
description edit First sentence: Of course this informal definition cannot be appreciated without further clarification of the crucial terms used therein. Table of contents edit No table of contents available Add it!
No table of contents available Add it!