Automata for Branching and Layered Temporal Structures

>> Google Books

Automata for Branching and Layered Temporal Structures / Gabriele Puppis, Takeo Kanade

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2010

著者名:

ISBN:

9783642118807 [3642118801]
9786613563682 [6613563684]

書誌ID:

OB00488209

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

Introduction / 1：

Word Automata and Time Granularities / 2：

Background Knowledge / 2.1：

Words and Languages / 2.1.1：

Periodicity of Words / 2.1.2：

Word Automata / 2.1.3：

Time Granularities / 2.1.4：

The String-Based and Automaton-Based Approaches / 2.2：

The Granspec Formalism / 2.2.1：

From Granspecs to Single-String Automata / 2.2.2：

Counters and Multiple Transitions / 2.2.3：

The Logical Counterpart of RCSSA / 2.2.4：

Compact and Tractable Representations / 2.3：

Nested Repetitions of Words / 2.3.1：

Algorithms on NCSSA / 2.3.2：

Optimizing Representations / 2.3.3：

Reasoning on Sets of Granularities / 2.4：

Languages of Ultimately Periodic Words / 2.4.1：

Ultimately Periodic Automata / 2.4.2：

Algorithms on UPA / 2.4.3：

Applications to Time Granularity / 2.4.4：

Discussion / 2.5：

Tree Automata and Logics / 3：

Graphs and Trees / 3.1：

Tree Automata / 3.1.2：

Monadic Second-Order Logic / 3.1.3：

The Model Checking Problem / 3.1.4：

The Contraction Method for Tree Automata / 3.2：

Features and Types / 3.2.1：

Types and the Acceptance Problem / 3.2.2：

From Trees to Their Retractions / 3.2.3：

An Example / 3.2.4：

Tree Transformations / 3.3：

Tree Recolorings / 3.3.1：

Tree Substitutions / 3.3.2：

Tree Transducers / 3.3.3：

Inverse Substitutions / 3.3.4：

A Summary / 3.3.5：

The Class of Reducible Trees / 3.4：

Compositional Properties of Types / 3.4.1：

Closure Properties / 3.4.2：

Effectiveness of the Contraction Method / 3.5：

Reducible Trees and the Caucal Hierarchy / 3.5.1：

Two-Way Alternating Tree Automata / 3.5.2：

Morphic Trees / 3.5.3：

Layered Temporal Structures / 3.5.4：

Summary / 3.6：

Technical Proofs / A：

Proofs of Theorem 5 and Theorem 6 / A.l：

Proof of Theorem 8 / A.2：

Proof of Proposition 34 / A.3：

References

Notation

Index

Introduction / 1：

Word Automata and Time Granularities / 2：

Background Knowledge / 2.1：

Words and Languages / 2.1.1：

Periodicity of Words / 2.1.2：

Word Automata / 2.1.3：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Automata for Branching and Layered Temporal Structures Puppis, Gabriele, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Graph Structures for Knowledge Representation and Reasoning Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック A Hybrid Deliberative Layer for Robotic Agents Hartanto, Ronny, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Dependency Structures and Lexicalized Grammars Kuhlmann, Marco, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック A Hybrid Deliberative Layer for Robotic Agents Hartanto, Ronny, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Logic and Games on Automatic Structures Kaiser, Åukasz, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Dependency Structures and Lexicalized Grammars Kuhlmann, Marco, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Conceptual Structures: Inspiration and Application Sch?rfe, Henrik, Hitzler, Pascal, Kanade, Takeo, ?hrstr?m, Peter Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Logic and Games on Automatic Structures Kaiser, ?�ukasz, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Conceptual Structures for Discovering Knowledge Andrews, Simon, Akhgar, Babak, Hill, Richard, Kanade, Takeo, Polovina, Simon Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Conceptual Structures for STEM Research and Education Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Conceptual Structures for Discovering Knowledge Andrews, Simon, Akhgar, Babak, Hill, Richard, Kanade, Takeo, Polovina, Simon SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12