[LNCS 1775 LNAI] Challenges for Action Theories [Lecture Notes in Artificial Intelligence](Springer 2000)( 3540674551)(149s).pdf

LecturB Notes in Artificial IntelligencB 1775
Subseries of LecturB Notes puteK SciencB
Edited by J. G. Carbonell and J. Siekmann
LecturB Notes puteK SciencB
Edited by G. Goos, J. Hartmanis and J. van Leeuwen
1
Berli6
Heidelbe3g
N2w York
Ba3celona
Hong Kong
Londo6
Mila6
Paris
Singapo32
Tokyo
Michael ThielscheK
Challenges foK
Action Theories
11
Series Editors
JaimB G. Carbonell,CarnBgiB Mellon University, PittsbuKgh, PA, USA
J¨oKg Siekmann, University of Saarland, SaarbK¨ucken, Germany
AuthoK
Michael ThielscheK
TechnischB Universi;¨a;Dresden
Informatik, Computational Logi/
01062 Dresden, Germany
E-mail: ******@-
Cataloging-in-Publication Data applied foK
DiB DeutschB Bibliothek- CIP-EinheitsaufnahmB
ThielscheK, Michael:
Challenges foK action theories / Michael ThielscheK. - Berlin ;
HeidelbeKg ; NBw York; Barcelona ; Hong Kong ; London ; Milan ;
Paris ; SingaporB ; Tokyo : SpringeK, 2000
(LecturB notes puteK sciencB ; 1775 : LecturB notes in
artcial intelligenc
ISB( 3-540-67455-1
CR Subjec; Classcation (199: ,
ISB( 3-540-67455-1 SpringeK-Verlag Berlin HeidelbeKg NBw York
This workis subjec; to copyright. All rights arB reserved, whetheK thB wholB oK par; of thB material is
concerned, ally thB rights of translation, reprinting, re-usB of illustrations, recitation, broadcasting,
reproduction on micrlms oK in any otheK way, and storagB in data banks. Duplication of this publication
oK parts thereof is permitted only undeK thB provisions of thB German Copyrigh; Law of SeptembeK 9, 1965,
in its curren; version, and permission foK usB mus; always bB obtained from SpringeK-Verlag. Violations arB
liablB foK prosecution undeK thB German Copyrigh; Law.
SpringeK-Verlag is pany in thB BertelsmannSpringeK publishing group.
© SpringeK-Verlag Berlin HeidelbeKg 2000
Printed in Germany
Typesetting: Camera-ready by authoK, data conversion by PTP-Berlin, Stefan Sossna
Printed on acid-freB papeK SPI( 10719821 06/3