Automata for Branching and Layered Temporal Structures by Gabriele Puppis
Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.-
Computational Logic in Multi-Agent Systems
-
The Design of Intelligent Agents
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Computational and Corpus-Based Phraseology
-
Argumentation in Multi-Agent Systems
-
New Frontiers in Applied Data Mining
-
Automated Deduction in Geometry
-
Automated Reasoning with Analytic Tableaux and Related Methods
-
Machine Learning and Knowledge Discovery in Databases
-
Agent and Multi-Agent Systems: Technologies and Applications
-
Modeling Decisions for Artificial Intelligence
-
Explainable, Transparent Autonomous Agents and Multi-Agent Systems
-
Scalable Uncertainty Management
-
Artificial Intelligence in Education
-
Natural Language Processing and Chinese Computing
-
Artificial Intelligence in Medicine
-
Foundations of Intelligent Systems
-
Trends and Applications in Knowledge Discovery and Data Mining
-
Biomimetic and Biohybrid Systems
-
Engineering Psychology and Cognitive Ergonomics
-
Theory and Applications of Formal Argumentation
-
Towards Autonomous Robotic Systems
-
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
-
Chinese Lexical Semantics
-
Intelligent Information and Database Systems
-
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems
-
Advances in Knowledge Discovery and Data Mining
-
Advances in Artificial Intelligence
-
Artificial Intelligence
-
Case-Based Reasoning Research and Development
-
Artificial Intelligence and Soft Computing
-
Intelligent Systems
-
Advances in Nonlinear Speech Processing
-
AI 2024: Advances in Artificial Intelligence
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
-
Applications of Declarative Programming and Knowledge Management
-
Advances in Knowledge Discovery and Data Mining, Part II
-
The Multi-Agent Programming Contest 2019
-
Formal Concept Analysis
“The thesis is a very nice introduction to the area of time granularities and indeed also automata on infinite strings or treesAll major notions are discussed, formally introduced, exemplified, and compared to similar notions. The language is generally appropriate and understandable and the mathematics in the contribution should be understandable by any graduate student. Since the essential definitions and proofs are provided, the book can easily be read without additional literature.” (Andreas Maletti, Mathematical Reviews, February, 2016)
| SKU | Unavailable |
| ISBN 13 | 9783642118807 |
| ISBN 10 | 3642118801 |
| Title | Automata for Branching and Layered Temporal Structures |
| Author | Gabriele Puppis |
| Series | Lecture Notes In Artificial Intelligence |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2010-02-18 |
| Number of pages | 206 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |