Qualitative Spatial Reasoning with Topological Information
Qualitative Spatial Reasoning with Topological Information

Author: Jochen Renz

Publisher: Springer

Published: 2003-07-31

Total Pages: 219

ISBN-13: 3540707360

DOWNLOAD EBOOK

Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas such as robotics, geographical information systems, and computer vision. Exceeding purely quantitative approaches, more recently initiated qualitative approaches allow for dealing with spatial information on a more abstract level that is closer to the way humans think and speak. Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8.

Handbook of Spatial Logics
Handbook of Spatial Logics

Author: Marco Aiello

Publisher: Springer Science & Business Media

Published: 2007-09-04

Total Pages: 1072

ISBN-13: 1402055870

DOWNLOAD EBOOK

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions

Author: Hazarika, Shyamanta M.

Publisher: IGI Global

Published: 2012-05-31

Total Pages: 460

ISBN-13: 1616928700

DOWNLOAD EBOOK

Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information theory encompasses spatial as well as temporal representation and reasoning. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning. This revolutionary new field is increasingly becoming a core issue within mobile computing, GIS/spatial information systems, databases, computer vision as well as knowledge discovery and data mining.

Spatial Information Theory
Spatial Information Theory

Author: Andrew U. Frank

Publisher: Springer Science & Business Media

Published: 1995-09-13

Total Pages: 1074

ISBN-13: 9783540603924

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Conference on Spatial Information Theory, COSIT'95, held near Vienna, Austria, in September 1995. Spatial Information Theory brings together three fields of research of paramount importance for geographic information systems technology, namely spatial reasoning, representation of space, and human understanding of space. The book contains 36 fully revised papers selected from a total of 78 submissions and gives a comprehensive state-of-the-art report on this exciting multidisciplinary - and highly interdisciplinary - area of research and development.

Spatial Representation and Reasoning for Robot Mapping
Spatial Representation and Reasoning for Robot Mapping

Author: Diedrich Wolter

Publisher: Springer Science & Business Media

Published: 2008-07-23

Total Pages: 199

ISBN-13: 3540690115

DOWNLOAD EBOOK

This book demonstrates bene?ts of abstract and qualitative reasoning that have not received much attention in the context of autonomous robotics before. Bremen, Christian Freksa December 2007 Director of the SFB/TR 8 Spatial Cognition Preface This book addresses spatial representations and reasoning techniques for - bile robot mapping, providing an analysis of fundamental representations and processes involved. A spatial representation based on shape information is p- posed and shape analysis techniques are developed to tackle the correspondence problem in robot mapping. A general mathematical formulation is presented to provide the formal ground for an e?cient matching of con?gurations of objects. This book is a slightly revised version of my doctoral thesis submitted to the Faculty of Mathematics and Computer Science of the University of Bremen, Germany. Manycontributeto the developmentofa dissertation,butsomeofthemstand out. Christian Freksa, I thank you for supporting and encouraging my work, for introducing me to interdisciplinary work, for giving me the freedom to develop this dissertation, and for providing an enjoyable atmosphere to work in. Longin Jan Latecki, thank you for countless in-depth discussions helping me to develop andtopositionmywork,forthefruitfulcollaboration,andformakingaresearch stay possible that has been very valuable to me. I thank the research groups in Bremen and Philadelphia for helpful discussions and feedback, in particular Jan Oliver Wallgrun. ̈ I also thank Kai-Florian Richter, Sven Bertel, and Lutz Frommberger for feedback on this work. Robert Ross, thank you for helping to proof-read this dissertation.

Advances in Spatial Databases
Advances in Spatial Databases

Author: David Abel

Publisher: Springer Science & Business Media

Published: 1993-06-07

Total Pages: 552

ISBN-13: 9783540568698

DOWNLOAD EBOOK

The Third International Symposium on Large Spatial Databases (SSD '93) was held at the National University of Singapore in June 1993. The previous meetings of the series were at Sanata Barbara (1989) and Zurich (1991). The meetings are planned as a forum for researchers and practitioners specializing in database theory for and advanced applications of Spatial Information Systems. This volume constitutes the proceedings of the symposium. It contains 25 selected papersand three keynotes papers: "Spatial data management in database systems: research directions" (W. Kim), "From extensible databases to interoperability between multiple databases and GIS applications" (H.-J. Schek), and "The SEQUOIA 2000 project" (M. Stonebraker). The selectedpapers are collected into sections on: data modeling, spatial indexing, indexing mechanisms, handling of raster and vector data, spatial database systems, topology, storage management, query retrieval,knowledge engineering in SDS, and 3-dimensional data handling.

Handbook of Knowledge Representation
Handbook of Knowledge Representation

Author: Frank van Harmelen

Publisher: Elsevier

Published: 2008-01-08

Total Pages: 1035

ISBN-13: 0080557023

DOWNLOAD EBOOK

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily

International Perspectives on Maps and the Internet
International Perspectives on Maps and the Internet

Author: Michael P Peterson

Publisher: Springer Science & Business Media

Published: 2008-02-12

Total Pages: 455

ISBN-13: 3540720294

DOWNLOAD EBOOK

The Internet has redefined how maps are used. No longer restricted to paper, maps are now transmitted almost instantly and delivered to the user in a fraction of the time required to distribute maps on paper. They are viewed in a more timely fashion. The Internet presents the map user with both a faster method of map distribution and different forms of mapping. This book provides an international perspective on this growing area of information dissemination.

Spatial Information Theory
Spatial Information Theory

Author: Kathleen Stewart Hornsby

Publisher: Springer

Published: 2009-09-19

Total Pages: 517

ISBN-13: 3642038328

DOWNLOAD EBOOK

First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from a wide range of disciplines for intensive scientific - changes centered on spatial information theory. COSIT submissions typically address research questions drawn from cognitive, perceptual, and environmental psychology, geography, spatial information science, computer science, artificial intelligence, cog- tive science, engineering, cognitive anthropology, linguistics, ontology, architecture, planning, and environmental design. Some of the topical areas include, for example, the cognitive structure of spatial knowledge; events and processes in geographic space; incomplete or imprecise spatial knowledge; languages of spatial relations; navigation by organisms and robots; ontology of space; communication of spatial information; and the social and cultural organization of space to name a few. This volume contains the papers presented at the 9th International Conference on Spatial Information Theory, COSIT 2009, held in Aber Wrac’h, France, September 21–25, 2009. For COSIT 2009, 70 full paper submissions were received. These papers were carefully reviewed by an international Program Committee based on relevance to the conference, intellectual quality, scientific significance, novelty, relation to previously published literature, and clarity of presentation. After reviewing was completed, 30 papers were selected for presentation at the conference and appear in this volume. This number of papers reflects the high quality of submissions to COSIT this year.

Knowledge Science, Engineering and Management
Knowledge Science, Engineering and Management

Author: Zili Zhang

Publisher: Springer

Published: 2007-11-13

Total Pages: 684

ISBN-13: 3540767193

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The 42 revised full papers and 28 revised short papers presented together with five invited talks were carefully reviewed and selected. The papers provide new ideas and report research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.