Challenges for Action Theories
Edition: 1 edition
Publisher: Springer
Published: May 19, 2000
Language: eng
Format: Paperback
Number of pages: 138
ISBN-13: 9783540674559
Subjects: 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
First sentence: Of course this informal definition cannot be appreciated without further clarification of the crucial terms used therein.
Notes: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence