* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download From: AAAI Technical Report S-0 -0 . Compilation copyright © 200
Survey
Document related concepts
Transcript
From: AAAI Technical Report SS-03-03. Compilation copyright © 2003, AAAI (www.aaai.org). All rights reserved. Foundations and Applications of Spatio-Temporal Reasoning (FASTR) Papers from the 2003 AAAI Spring Symposium Technical Report SS-03-03 AAAI Press American Association for Artificial Intelligence Foundations and Applications of Spatio-Temporal Reasoning (FASTR) Papers from the 2003 AAAI Symposium Hans W. Guesgen, Debasis Mitra, & Jochen Renz, Cochairs March 24–26, Stanford, California Technical Report SS-03-03 AAAI Press Menlo Park, California Copyright © 2003, AAAI Press The American Association for Artificial Intelligence 445 Burgess Drive Menlo Park, California 94025 ISBN 1-57735-180-0 SS-03-03 AAAI retains the right of first refusal to any publication arising from this AAAI event, and retains compilation copyright. Please do not make any inquiries or arrangements for hardcopy or electronic publication of all or part of the papers contained in this technical report without first exploring the options available through AAAI Press and AI Magazine. A signed release of this right by AAAI is required before publication by a third party. Manufactured in the United States of America Organizing Committee Hans W. Guesgen, University of Auckland Auckland, New Zealand [email protected] Debasis Mitra Florida Institute of Technology Melbourne, Florida, USA [email protected] Jochen Renz Vienna University of Technology Vienna, Austria [email protected] Contents Modeling Mental Spatial Knowledge Processing as Integrating Paradigm for Spatial Reasoning / 1 Thomas Barkowsky A Logic of Branching Histories with a Shared Linear Time Series / 3 Brandon Bennett Granular Spatio-Temporal Ontologies / 12 Thomas Bittner and Barry Smith Temporal Abstraction in Bayesian Networks / 18 Brendan Burns, Clayton T. Morrison, and Paul Cohen Space and Time in Eco-Ontologies / 24 Frederico Fonseca and James Martin The Formal Ontology of Spatio-Temporal Reality and its Formalization / 27 Pierre Grenon Efficient Imprecision—Imprecise Efficiency? / 35 Hans W. Guesgen Composition for Cardinal Directions by Decomposing Horizontal and Vertical Constraints / 39 Ah Lian Kor and Brandon Bennett Spatial and Temporal Reasoning: Beyond Allen's Calculus / 46 Gérard Ligozat, Debasis Mitra, and Jean-François Condotta STCSP: A Representation Model for Sequential Patterns / 54 Aomar Osmani Towards a Generalized Spatio-Temporal Understanding for the Semantic Web / 62 Michael J. Pan and Rob Raskin Scheduling Actions with State-Dependent Resource Requirements / 67 Aga Skotowski and Ella Atkins A Concept to Use Spatial Knowledge of Genomic Structures to Support the Alignment of Bacterial Genomic DNA Sequences / 73 Tom H. Wetjen AAAI Press 445 Burgess Drive Menlo Park, California 94025 ISBN 1-57735-180-0 SS-03-03