Logical Tools for Handling Change in Agent-Based Systems

>> Google Books

Logical Tools for Handling Change in Agent-Based Systems

フォーマット:

電子ブック

責任表示:

Gabbay, Dov M. ; Schlechta, Karl

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642044069 [3642044069]

9783642261879 [3642261876]

9786612836084 [6612836083]

9783642044076 [3642044077]

9781282836082 [1282836080]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 2670000000010168
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 A new perspective on nonmonotonic logics Gabbay, Dov M., Schlechta, Karl Springer	7 図書 Logic and the modalities in the twentieth century Gabbay, Dov M., 1945-, Woods, John Elsevier
2 電子ブック Conditionals and Modularity in General Logics Gabbay, Dov M., Schlechta, Karl Springer Berlin Heidelberg	8 図書 The many valued and nonmonotonic turn in logic Gabbay, Dov M., 1945-, Woods, John North-Holland
3 電子ブック Logical and Computational Aspects of Model-Based Reasoning Gabbay, Dov M.; Barwise, Jon; Magnani, Lorenzo, Magnani, L., Nersessian, N.J., Pizzi, Claudio Springer Netherlands	9 図書 Handbook of philosophical logic Gabbay, Dov M., 1945-, Guenthner, Franz Kluwer Academic
4 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Handbook of the history of logic Gabbay, Dov M., 1945-, Woods, John Elsevier
5 電子ブック Temporal Logic Gabbay, Gabbay, Dov M., Ohlbach, Hans Jürgen Springer Berlin Heidelberg	11 電子ブック Knowledge Representation and the Semantics of Natural Language Helbig, Hermann, Gabbay, Dov M., Siekmann, Jörg Springer Berlin Heidelberg
6 電子ブック Neural-Symbolic Cognitive Reasoning Gabbay, Dov M., Siekmann, Jörg Springer Berlin Heidelberg	12 電子ブック Neural Preprocessing and Control of Reactive Walking Machines Manoonpong, Poramate, Gabbay, Dov M., Siekmann, Jörg Springer Berlin Heidelberg