Lecture Notes in Artificial Intelligence
© 2006
Declarative Agent Languages and Technologies IV
4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Editors: Baldoni, Matteo, Endriss, Ulle (Eds.)
Free PreviewBuy this book
- Table of contents (16 chapters)
-
-
Producing Compliant Interactions: Conformance, Coverage, and Interoperability
Pages 1-15
-
Towards Theory Translation
Pages 16-28
-
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications
Pages 29-42
-
Dynamic Model Checking for Multi-agent Systems
Pages 43-60
-
Automating Belief Revision for AgentSpeak
Pages 61-77
-
Table of contents (16 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Declarative Agent Languages and Technologies IV
- Book Subtitle
- 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
- Editors
-
- Matteo Baldoni
- Ulle Endriss
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 4327
- Copyright
- 2006
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-68961-4
- DOI
- 10.1007/11961536
- Softcover ISBN
- 978-3-540-68959-1
- Edition Number
- 1
- Number of Pages
- VIII, 268
- Topics
