Challenges for action theories | Thielscher, Michael
Share on TelegramChallenges for action theories
Author: Thielscher, Michael
Added by: sketch
Added Date: 2015-12-30
Publication Date: 2000
Language: eng
Subjects: Computer logic, System design, Formal methods (Computer science)
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540674551
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 78.65 MB
PDF Size: 2.62 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 252
Views: 302
Total Files: 18
Media Type: texts
Description
Author: Michael Thielscher
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67455-9
DOI: 10.1007/3-540-45596-5
Table of Contents:
- Foundations of Action Theories
- The Ramification Problem
- The Qualification Problem
- Qualified Ramifications
Includes bibliographical references (p. [127]-134) and index