Model Checking and Artificial Intelligence

>> Google Books

Model Checking and Artificial Intelligence / Doron A. Peled, Takeo Kanade, Michael J. Wooldridge

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783642004308 [364200430X]
9783642004315 [3642004318]

書誌ID:

OB00354842

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

Verifying Time and Communication Costs of Rule-Based Reasoners / Natasha Alechina ; Brian Logan ; Nguyen Hoang Nga ; Abdur Rakib

Solving m-Calculus Parity Games by Symbolic Planning / Marco Bakera ; Stefan Edelkamp ; Peter Kissmann ; Clemens D. Renner

Verifying Robocup Teams / Clara Benac Earle ; Lars-Ake Fredlund ; Jose Antonio Iglesias ; Agapito Ledezma

Scaling Search with Pattern Databases / Shahid Jabbar

Survey on Directed Model Checking (Invited Talk) / Viktor Schuppan ; Dragan Bosnacki ; Anton Wijs ; Ansgar Fehnker ; Husain Aljazzar

Automated Testing of Planning Models / Klaus Havelund ; Alex Groce ; Gerard Holzmann ; Rajeev Joshi ; Margaret Smith

Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic / Alessio Lomuscio ; Wojciech Penczek ; Hongyang Qu

Model Checking Driven Heuristic Search for Correct Programs (Invited Talk) / Gal Katz ; Doron Peled

Experimental Evaluation of a Planning Language Suitable for Formal Verification / Radu I. Siminiceanu ; Rick W. Butler ; Cesar A. Munoz

Relaxation Refinement: A New Method to Generate Heuristic Functions (Invited Talk) / Jan-Georg Smaus ; Jorg Hoffmann

Model Checking Strategic Equilibria (Invited Talk) / Nicolas Troquard ; Wiebe van der Hoek ; Michael Wooldridge

Author Index

Verifying Time and Communication Costs of Rule-Based Reasoners / Natasha Alechina ; Brian Logan ; Nguyen Hoang Nga ; Abdur Rakib

Solving m-Calculus Parity Games by Symbolic Planning / Marco Bakera ; Stefan Edelkamp ; Peter Kissmann ; Clemens D. Renner

Verifying Robocup Teams / Clara Benac Earle ; Lars-Ake Fredlund ; Jose Antonio Iglesias ; Agapito Ledezma

Scaling Search with Pattern Databases / Shahid Jabbar

Survey on Directed Model Checking (Invited Talk) / Viktor Schuppan ; Dragan Bosnacki ; Anton Wijs ; Ansgar Fehnker ; Husain Aljazzar

Automated Testing of Planning Models / Klaus Havelund ; Alex Groce ; Gerard Holzmann ; Rajeev Joshi ; Margaret Smith

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Model Checking and Artificial Intelligence Peled, Doron A., Kanade, Takeo, Wooldridge, Michael J., Kittler, Josef, Wooldridge, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Modeling Decisions for Artificial Intelligence Torra, Vicen?, Daumas, Marc, Kanade, Takeo, Narukawa, Yasuo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Model Checking and Artificial Intelligence Meyden, Ron, Kanade, Takeo, Smaus, Jan-Georg Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Modeling Decision for Artificial Intelligence Torra, Vicen?, Kanade, Takeo, Long, Jun, Narakawa, Yasuo, Yin, Jianping Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Model Checking and Artificial Intelligence Meyden, Ron, Kanade, Takeo, Smaus, Jan-Georg, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Modeling Decisions for Artificial Intelligence MDAI 2005, Kanade, Takeo, Miyamoto, Sadaaki, Narukawa, Yasuo, Torra, Vicen? Springer eBooks Computer Science, Springer Berlin / Heidelberg
4 電子ブック Model Checking and Artificial Intelligence Edelkamp, Stefan, Lomuscio, Alessio, Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Modeling Decisions for Artificial Intelligence Torra, Vicenç, Daumas, Marc, Kanade, Takeo, Narukawa, Yasuo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Model Checking and Artificial Intelligence Edelkamp, Stefan, Lomuscio, Alessio, Siekmann, Jörg SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Modeling Decision for Artificial Intelligence Torra, Vicenç, Kanade, Takeo, Long, Jun, Narakawa, Yasuo, Yin, Jianping, Narukawa, Yasuo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Modeling Decisions for Artificial Intelligence Torra, Vicen?, Domingo-Ferrer, Josep, Kanade, Takeo, Narukawa, Yasuo, Valls, A?da Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 電子ブック Modeling Decisions for Artificial Intelligence MDAI 2005, Kanade, Takeo, Miyamoto, Sadaaki, Narukawa, Yasuo, Torra, Vicenç, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12