A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations

One reason Qualitative Spatial Reasoning (QSR) is becoming increasingly important to Artificial Intelligence (AI) is the need for a smooth ‘human-like’ communication between autonomous agents and p ...

[1]  Pontus Wärnestål,et al.  Dialogue Behavior Management in Conversational Recommender Systems , 2007 .

[2]  Paul Scerri,et al.  Designing agents for systems with adjustable autonomy , 2001 .

[3]  Philippe Balbiani Jean-Fran,et al.  A Model for Reasoning about Bidimensional Temporal Relations , 1998 .

[4]  Anneli Hagdahl,et al.  Development of IT-supported Inter-organisational Collaboration: A Case Study in the Swedish Public Sector , 2002 .

[5]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning: An Overview , 2001, Fundam. Informaticae.

[6]  Max Wertheimer,et al.  Untersuchungen zur Lehre von der Gestalt , .

[7]  Vadim Engelson,et al.  Tools for design, interactive simulation, and visualization of object-oriented models in scientific computing , 2000 .

[8]  H. Joe Steinhauer.  Qualitative Reconstruction and Update of an Object Constellation , 2006 .

[9]  Vilhelm Dahllöf,et al.  Exact Algorithms for Exact Satisfiability Problems , 2006 .

[10]  Pär J. Ågerfalk.  Information Systems Actability: Understanding Information Technology as a Tool for Business Action and Communication , 2003 .

[11]  Jonas Hallberg,et al.  Timing issues in high-level synthesis , 1998 .

[12]  Yuxiao Zhao,et al.  Standards-based application integration for business-to-business communications , 2005 .

[13]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[14]  Robert Nilsson,et al.  A Mutation-based Framework for Automated Testing of Timeliness , 2006 .

[15]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[16]  Eva L. Ragnemalm,et al.  Student modelling based on collaborative dialogue with a learning companion , 1999 .

[17]  Annika Flycht-Eriksson,et al.  Design and use of ontologies in information-providing dialogue systems , 2004 .

[18]  Staffan Bonnier,et al.  A formal basis for horn clause logic with external polymorphic functions , 1992 .

[19]  Vivian Vimarlund,et al.  An economic perspective on the analysis of impacts of information technology : from case studies in health-care towards general models and theories , 1999 .

[20]  Timos K. Sellis,et al.  Topological relations in the world of minimum bounding rectangles: a study with R-trees , 1995, SIGMOD '95.

[21]  Christian Freksa,et al.  Using Orientation Information for Qualitative Spatial Reasoning , 1992, Spatio-Temporal Reasoning.

[22]  Johan Åberg,et al.  Live help systems : an approach to intelligent help for Web information systems , 2002 .

[23]  J. Skåmedal.  Telecommuting's implications on travel and travel patterns , 2004 .

[24]  Christian Freksa,et al.  DIMENSIONS OF QUALITATIVE SPATIAL REASONING , 1999 .

[25]  Bernhard Nebel,et al.  Simulating Spatial Reasoning Using ACT-R , 2006 .

[26]  Bernhard Nebel,et al.  Spatial Cognition IV, Reasoning, Action, Interaction , 2008 .

[27]  Mats Grindal,et al.  Handling combinatorial explosion in software testing , 2007 .

[28]  Vaida Jakoniene,et al.  Integration of Biological Data , 2006 .

[29]  Artur Wilk,et al.  Types for XML with Application to Xcerpt , 2008 .

[30]  Joakim Gustafsson,et al.  Extending temporal action logic , 2001 .

[31]  Link̈oping karel.  An Integrated Discourse Model for a Case-Based Reasoning Dialogue System , 2005 .

[32]  Thomas Gustafsson,et al.  Management of Real-Time Data Consistency and Transient Overloads in Embedded Systems , 2007 .

[33]  Åsa Hedenskog,et al.  Perceive those things which cannot be seen : A cognitive systems engineering perspective on requirements management , 2006 .

[34]  Patrick Doherty,et al.  A knowledge processing middleware framework and its relation to the JDL data fusion model , 2005, 2005 7th International Conference on Information Fusion.

[35]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[36]  R. K. Goyal,et al.  Similarity assessment for cardinal directions between extended spatial objects , 2000 .

[37]  H. Joe Steinhauer,et al.  Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions , 2008, KI.

[38]  Jonas Mellin,et al.  Resource-Predictable and Efficient Monitoring of Events , 2004 .

[39]  Dimiter Driankov,et al.  Towards a many‐valued logic of quantified belief: The information lattice , 1991 .

[40]  Erland Jungert,et al.  Synthesizing database structures from a user oriented data model , 1980 .

[41]  Ulf Johansson,et al.  Obtaining Accurate and Comprehensible Data Mining Models: An Evolutionary Approach , 2007 .

[42]  Thomas Barkowsky.  Mental Representation and Processing of Geographic Knowledge - A Computational Approach , 2002, Künstliche Intell..

[43]  Jimmy Tjäder,et al.  Systemimplementering i praktiken : en studie av logiker i fyra projekt , 1999 .

[44]  Simin Nadjm-Tehrani,et al.  Algorithms and Complexity for Temporal and Spatial Formalisms , 2007 .

[45]  W. Levelt.  Cognitive styles in the use of spatial direction terms , 1982 .

[46]  Andrzej Bednarski,et al.  Integrated Optimal Code Generation for Digital Signal Processors , 2006 .

[47]  Dimiter Driankov,et al.  A fuzzy flight controller combining linguistic and model-based fuzzy control , 2004, Fuzzy Sets Syst..

[48]  Magnus Morin.  Multimedia representations of distributed tactical operations , 2002 .

[49]  Patrick Doherty,et al.  From images to traffic behavior - A UAV tracking and monitoring application , 2007, 2007 10th International Conference on Information Fusion.

[50]  Simone Duranti,et al.  Autonomous Landing of an Unmanned Helicopter based on Vision and Inertial Sensing , 2004, ISER.

[51]  Sven Bertel,et al.  Show Me How You Act on a Diagram and I'll Tell You What You Think (or: Spatial Structures as Organizing Schemes in Collaborative Human-Computer Reasoning) , 2005, AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance.

[52]  Ulf Nilsson,et al.  Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs , 1992 .

[53]  Zebo Peng.  A formal methodology for automated synthesis of VLSI systems , 1987 .

[54]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[55]  M. Ragni,et al.  An Arrangement Calculus, Its Complexity and Algorithmic Properties , 2003, KI.

[56]  J. Lindblom.  Minding the Body: Interacting socially through embodied action , 2007 .

[57]  Mikael Ronström,et al.  Design and Modelling of a Parallel Data Server for Telecom Applications , 2004 .

[58]  Patrick Doherty,et al.  Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Aerial Vehicle , 2004 .

[59]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[60]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[61]  Lars Hult,et al.  Publika informationstjänster : en studie av den elektroniska encyklopedins bruksegenskaper , 2003 .

[62]  Paul U. Lee,et al.  Why do speakers mix perspectives? , 1999, Spatial Cogn. Comput..

[63]  Peter Ambjorn Fritzson,et al.  Towards a distributed programming environment based on incremental compilation (debugging, prettyprinting, interactive) , 1984 .

[64]  Rita Kovordanyi,et al.  Modeling and simulating inhibitory mechanisms in mental image reinterpretation : towards cooperative human-computer creativity , 1999 .

[65]  Patrik Haslum,et al.  A Distributed Architecture for Intelligent Unmanned Aerial Vehicle Experimentation , 2004 .

[66]  Stanley Peters,et al.  Collaborative activities and multi-tasking in dialogue systems , 2002 .

[67]  Anette Moberg.  Närhet och distans : studier av kommunikationsmönster i satellitkontor och flexibla kontor , 1997 .

[68]  Mariusz Wzorek,et al.  From Motion Planning to Control - A Navigation Framework for an Autonomous Unmanned Aerial Vehicle , 2006 .

[69]  Ulf Seigerroth,et al.  Att förstå och förändra systemutvecklingsverksamheter en taxonomi för metautveckling , 2003 .

[70]  Tobias Ritzau,et al.  Memory Efficient Hard Real-Time Garbage Collection , 2003 .

[71]  Jörgen Skågeby,et al.  Gifting Technologies: Ethnographic Studies of End-users and Social Media Sharing , 2008 .

[72]  Felix Steffenhagen,et al.  Qualitative Spatial Reasoning: A Cognitive and Computational Approach , 2007 .

[73]  Genevieve Gorrell,et al.  Generalized Hebbian Algorithm for Dimensionality Reduction in Natural Language Processing , 2006 .

[74]  Patrick Doherty,et al.  DyKnow: An approach to middleware for knowledge processing , 2004, J. Intell. Fuzzy Syst..

[75]  P. Johnson-Laird.  Mental models and deduction , 2001, Trends in Cognitive Sciences.

[76]  Johan Jenvald.  Methods and tools in computer-supported taskforce training , 1999 .

[77]  Magnus Kald.  In the borderland between strategy and management control : theoretical framework and empirical evidence , 2004 .

[78]  Erik Sandewall.  Integration of Live Video in a System for Natural Language Dialog with a Robot , 2005 .

[79]  H. Joe Steinhauer.  Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames , 2008, ECAI.

[80]  Diana Szentiványi.  Performance Studies of Fault-Tolerant Middleware , 2005 .

[81]  Kerstin Fischer,et al.  Spatial Knowledge Representation for Human-Robot Interaction , 2003, Spatial Cognition.

[82]  Björn Gottfried,et al.  Reasoning about intervals in two dimensions , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

[83]  Peter Andersson.  Hazard : A Framework Towards Connecting Artificial Intelligence and Robotics , 2005 .

[84]  S. Levinson.  Space in language and cognition: Explorations in cognitive diversity , 2003 .

[85]  Mary Hegarty,et al.  Preface: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance , 2005, AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance.

[86]  Pernilla Qvarfordt,et al.  Eyes on multimodal interaction , 2004 .

[87]  D. Papadias,et al.  Computational Imagery , 1992, Cogn. Sci..

[88]  Man Lin.  Analysis and synthesis of reactive systems : a generic layered architecture perspective , 1999 .

[89]  Iakov Nakhimovski,et al.  Contributions to the Modeling and Simulation of Mechanical Systems with Detailed Contact Analyses , 2006 .

[90]  Gérard Ligozat,et al.  Qualitative Triangulation for Spatial Reasoning , 1993, COSIT.

[91]  Jaak Urmi.  A machine independent LISP compiler and its implications for ideal hardware , 1978 .

[92]  Jörgen Hansson,et al.  Value-driven multi-class overload management in real-time database systems , 1999 .

[93]  Max J. Egenhofer,et al.  Consistent queries over cardinal directions across different levels of detail , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[94]  Simone Duranti,et al.  Dynamic 3D path following for an autonomous helicopter , 2004 .

[95]  Hans Olsen,et al.  Automatic Verification of Petri Nets in a CLP Framework , 1997 .

[96]  Jonas Kvarnström,et al.  TALplanner and Other Extensions to Temporal Action Logic , 2005 .

[97]  David Dinka,et al.  Role, Identity and Work : Extending the design and development agenda , 2010 .

[98]  Erik Herzog,et al.  An approach to systems engineering tool data representation and exchange , 2004 .

[99]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[100]  Jon Edvardsson,et al.  Techniques for Automatic Generation of Tests from Programs and Specifications , 2006 .

[101]  Karolina Eliasson,et al.  Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System , 2007, IJCAI.

[102]  Silvia Coradeschi,et al.  Anchoring symbols to sensory data , 1999 .

[103]  Alexander Klippel,et al.  Wayfinding Choremes , 2003, COSIT.

[104]  Choong-ho Yi,et al.  Modelling object-oriented dynamic systems using a logic-based framework , 2002 .

[105]  Peter Struss,et al.  Qualitative Reasoning , 1997, The Computer Science and Engineering Handbook.

[106]  Karolina Eliasson,et al.  Towards a Robotic Dialogue System with Learning and Planning Capabilities , 2005 .

[107]  Bernhard Nebel,et al.  A Computational Model for Spatial Reasoning with Mental Models , 2005 .

[108]  Patrick Doherty,et al.  Managing Dynamic Object Structures using Hypothesis Generation and Validation , 2004 .

[109]  Mikael Kindborg,et al.  Concurrent comics : programming of social agents by children , 2003 .

[110]  Patrick Doherty,et al.  DyKnow: A Framework for Processing Dynamic Knowledge and Object Structures in Autonomous Systems , 2004, MSRAS.

[111]  Ioan Chisalita,et al.  Communication and Networking Techniques for Traffic Safety Systems , 2006 .

[112]  Luis Alejandro Cortés,et al.  Verification and Scheduling Techniques for Real-Time Embedded Systems , 2005 .

[113]  Kjell Orsborn,et al.  On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications , 1996 .

[114]  Arne Jönsson,et al.  Dialogue management for natural language interfaces - an empirical approach , 1993, Linköping studies in science and technology dissertations.

[115]  Bourhane Kadmiry,et al.  Fuzzy gain scheduled visual servoing for an unmanned helicopter , 2005 .

[116]  Johan Moe.  Observing the dynamic behaviour of large distributed systems to improve development and testing : an empirical study in software engineering , 2003 .

[117]  Frank Dylla,et al.  On Generalizing Orientation Information in OPRAm , 2006, KI.

[118]  Mikael Lind,et al.  Från system till process kriterier för processbestämning vid verksamhetsanalys , 2001 .

[119]  Tore Risch,et al.  Compilation of multiple file queries in a meta-database system , 1978 .

[120]  Mikael Cäker,et al.  Management accounting as constructing and opposing customer focus : three case studies on management accounting and customer relations , 2005 .

[121]  Per Wikberg,et al.  PhD thesis: Eliciting Knowledge from Experts in Modeling of Complex Systems: Managing Variation and Interactions. , 2022 .

[122]  Stanley Peters,et al.  Words at the Right Time: Real-Time Dialogues with the WITAS Unmanned Aerial Vehicle: Extended Abstract , 2003, KI.

[123]  Adrian Pop,et al.  Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages , 2008 .

[124]  Anders Avdic,et al.  Användare och utvecklare : om anveckling med kalkylprogram , 2001 .

[125]  Stefan Holmlid,et al.  Adapting users : towards a theory of use quality , 2002 .

[126]  M. Wertheimer.  Untersuchungen zur Lehre von der Gestalt. II , 1923 .

[127]  Debasis Mitra,et al.  Qualitative Direction Calculi with Arbitrary Granularity , 2004, PRICAI.

[128]  Pär Emanuelson,et al.  Performance enhancement in a well-structured pattern matcher through partial evaluation , 1980 .

[129]  Lin Padgham,et al.  Non-monotonic inheritance for an object-oriented knowledge-base , 1989 .

[130]  Mehdi Amirijoo,et al.  QoS Control of Real-Time Data Services under Uncertain Workload , 2007 .

[131]  Sorin Manolache,et al.  Analysis and Optimisation of Real-Time Systems with Stochastic Behaviour , 2005 .

[132]  S. Levinson.  Frames of reference and Molyneux's question: Cross-linguistic evidence , 1996 .

[133]  Sofie Pilemalm,et al.  Information Technology for Non-Profit Organisations: Extended Participatory Design of an Information System for Trade Union Shop Stewards , 2002 .

[134]  Lars Degerstedt,et al.  Tabulation-based Logic Programming : A Multi-level View of Query Answering , 1996 .

[135]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[136]  Universiẗat Bremen Bibliothekstr,et al.  A Relative Orientation Algebra with Adjustable Granularity , 2005 .

[137]  René Reboh.  Knowledge engineering techniques and tools for expert systems , 1981 .

[138]  Reinhard Moratz,et al.  Qualitative Spatial Reasoning about Line Segments , 2000, ECAI.

[139]  Paul Pop,et al.  Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems , 2003 .

[140]  Asmus Pandikow,et al.  A Generic Principle for Enabling Interoperability of Structured and Object-Oriented Analysis and Design Tools , 2002 .

[141]  Jochen Renz,et al.  Qualitative Spatial Reasoning with Topological Information , 2002, Lecture Notes in Computer Science.

[142]  Peter Aronsson,et al.  Automatic Parallelization of Equation-Based Simulation Programs , 2006 .

[143]  N. Dahlbäck,et al.  Representations of discourse : cognitive and computational aspects , 1991 .

[144]  Gert Jervan,et al.  Hybrid Built-In Self-Test and Test Generation Techniques for Digital Systems , 2005 .

[145]  Mikael Lindvall,et al.  An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution , 1997 .

[146]  Bernhard Nebel,et al.  Qualitative Spatial Reasoning Using Constraint Calculi , 2007, Handbook of Spatial Logics.

[147]  Johan Fagerström,et al.  A paradigm and system for design of distributed systems , 1988 .

[148]  Mathias Broxvall,et al.  A Study in the Computational Complexity of Temporal Reasoning , 2002 .

[149]  ComplexityPeter Jonsson,et al.  Studies in Action Planning Algorithms and Complexity , 2007 .

[150]  Magnus Bång.  Computing at the speed of paper : ubiquitous computing environments for healthcare professionals , 2004 .

[151]  Bernhard Nebel,et al.  Efficient Methods for Qualitative Spatial Reasoning , 2001, J. Artif. Intell. Res..

[152]  Daniel Karlsson,et al.  Verification of Component-based Embedded System Designs , 2006 .

[153]  Yu-Hsing Huang,et al.  Having a New Pair of Glasses: Applying Systemic Accident Models on Road Safety , 2007 .

[154]  Richard Johansson,et al.  Automatic Text-to-Scene Conversion in the Traffic Accident Domain , 2005, IJCAI.

[155]  Magnus Wahlström,et al.  Algorithms, measures and upper bounds for satisfiability and related problems , 2007 .

[156]  Mariam Kamkar,et al.  Interprocedural dynamic slicing with applications to debugging and testing , 1993, Linköping studies in science and technology dissertations.

[157]  Per-Arne Persson,et al.  Bringing power and knowledge together: information systems design for autonomy and control in command work , 2000 .

[158]  Cornelius Hagen,et al.  Preferred and Alternative Mental Models in Spatial Reasoning , 2005, Spatial Cogn. Comput..

[159]  M. Knauff,et al.  Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus , 1995 .

[160]  Georg Jahn,et al.  Reasoning About Consistency with Spatial Mental Models: Hidden and Obvious Indeterminacy in Spatial Descriptions , 2004, Spatial Cognition.

[161]  Richard Sproat.  Inferring the environment in a text-to-scene conversion system , 2001, K-CAP '01.

[162]  Patrick Doherty,et al.  Vision for a UAV helicopter , 2002 .

[163]  Gerd Herzog,et al.  VIsual TRAnslator: Linking perceptions and natural language descriptions , 1994, Artificial Intelligence Review.

[164]  Patrick Doherty,et al.  The WITAS UAV Ground System Interface Demonstration with a Focus on Motion and Task Planning , 2006 .

[165]  Erik Anders Tengvald,et al.  The design of expert planning systems: an experimental operations planning system for turning , 1984 .

[166]  Erik Berglund,et al.  Library Communication Among Programmers Worldwide , 2002 .

[167]  Alexander Klippel,et al.  Wayfinding choremes - conceptualizing wayfinding and route direction elements , 2003, Künstliche Intell..

[168]  Herbert Wilhelmy,et al.  Kartographie in Stichworten , 1968 .

[169]  P. Doherty.  NML3 : a non-monotonic formalism with explicit defaults , 1991 .

[170]  Kerstin Fischer,et al.  Spatial Strategies in Human-Robot Communication , 2002, Künstliche Intell..

[171]  Karolina Eliasson.  Integrating a Discourse Model with a Learning Case-Based Reasoning System , 2005 .

[172]  Christian Freksa,et al.  Qualitative spatial reasoning using orientation, distance, and path knowledge , 2004, Applied Intelligence.

[173]  Stanley Peters,et al.  The WITAS multi-modal dialogue system I , 2001, INTERSPEECH.

[174]  Björn Johansson.  Joint control in dynamic situations , 2005 .

[175]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[176]  Vanja Josifovski,et al.  Design, implementation and evaluation of a distributed mediator system for data integration , 1999 .

[177]  Reinhard Moratz,et al.  Representing Relative Direction as a Binary Relation of Oriented Points , 2006, ECAI.

[178]  Peter Bunus,et al.  Debugging techniques for equation-based languages , 2004 .

[179]  Claudiu Duma,et al.  Security and trust mechanisms for groups in distributed services , 2005 .

[180]  Mariusz Wzorek,et al.  LinkMAV, a protoype rotary wing micro aerial vehicle , 2007 .

[181]  Patrick Doherty,et al.  GSM Technology as a Communication Media for an Autonomous Unmanned Aerial Vehicle , 2006 .

[182]  Ling Lin,et al.  Management of 1-D Sequence Data- From Discrete to Continuous , 1999 .

[183]  Mariusz Wzorek,et al.  Control System Framework for Autonomous Robots Based on Extended State Machines , 2006, International Conference on Autonomic and Autonomous Systems (ICAS'06).

[184]  Olof Johansson.  Development environments for complex product models , 1996 .

[185]  Simone Duranti,et al.  IN-FLIGHT IDENTIFICATION OF THE AUGMENTED FLIGHT DYNAMICS OF THE RMAX UNMANNED HELICOPTER , 2007 .

[186]  Aleksandra Tesanovic,et al.  Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components , 2006 .

[187]  Henrik Nilsson,et al.  Declarative debugging for lazy functional languages , 1998 .

[188]  Carl-Johan Petri,et al.  Organizational information provision : managing mandatory and discretionary utilization of information technology , 2001 .

[189]  Traian Pop,et al.  Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies , 2007 .

[190]  Hans-Hellmut Nagel,et al.  Behavioral Knowledge Representation for the Understanding and Creation of Video Sequences , 2003, KI.

[191]  Dimiter Driankov,et al.  A fuzzy gain-scheduler for the attitude control of an unmanned helicopter , 2004, IEEE Transactions on Fuzzy Systems.

[192]  Anders Arpteg,et al.  Intelligent Semi-Structured Information Extraction , 2005 .

[193]  Stanley Peters,et al.  Information states in a multimodal dialogue system for human-robot conversation , 2001 .

[194]  H. Joe Steinhauer.  The Qualitative Description of Traffic Maneuvers , 2004 .

[195]  Travé-Massuyès.  Conceptual Neighborhood and its role in temporal and spatial reasoning , 1991 .

[196]  Juha Takkinen,et al.  From information management to task management in electronic mail , 2002 .

[197]  Pawel Pietrzak,et al.  A type-based framework for locating errors in constraint logic programs , 2002 .

[198]  C. Curescu,et al.  Utility-based Optimisation of Resource Allocation for Wireless Networks , 2005 .

[199]  Stefan Cronholm,et al.  Metodverktyg och användbarhet : en studie av datorstödd metodbaserad systemutveckling , 1998 .

[200]  H. Joe Steinhauer.  A Qualitative Model for Natural Language Communication about Vehicle Traffic , 2005, AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance.

[201]  S. Kosslyn.  Mental images and the Brain , 2005, Cognitive neuropsychology.

[202]  Marco Ragni,et al.  Complexity in Spatial Reasoning , 2006 .

[203]  Anders Lindström,et al.  English and other foreign linguistic elements in spoken Swedish : studies of productive processes and their modelling using finite-state tools , 2004 .

[204]  Max J. Egenhofer,et al.  Similarity of Cardinal Directions , 2001, SSTD.

[205]  Per Ola Kristensson,et al.  Discrete and Continuous Shape Writing for Text Entry and Control , 2007 .

[206]  Rego Granlund,et al.  Monitoring distributed teamwork training , 2002 .

[207]  Zhiping Wang.  Capacity-constrained production-inventory systems : modelling and analysis in both a traditional and an e-business context , 2004 .

[208]  Almut Herzog,et al.  Linköping Studies in Science and Technology Usable Security Policies for Runtime Environments , 2022 .

[209]  Patrik Haslum,et al.  Admissible Heuristics for Automated Planning , 2006 .

[210]  Tarja Susi.  The puzzle of social activity: the significance of tools in cognition and cooperation , 2006 .

[211]  Karolina Eliasson.  An Integrated Discourse Model for a Case-Based Reasoning Dialogue System , 2005 .

[212]  Magnus Merkel,et al.  Understanding and enhancing translation by parallel text processing , 1999 .

[213]  Sanny Syberfeldt,et al.  Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases , 2007 .

[214]  H. Joe Steinhauer.  Qualitative Communication about Object Scenes , 2006 .

[215]  Reinhard Moratz,et al.  Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus , 2004, Spatial Cognition.

[216]  Link̈oping karel.  Towards a Robotic Dialogue System with Learning and Planning Capabilities , 2005 .

[217]  Imad Abugessaisa,et al.  Analytical tools and information-sharing methods supporting road safety organizations , 2008 .

[218]  Ewa Braf,et al.  Knowledge demanded for action : studies of knowledge mediation in organisations , 2004 .

[219]  Karolina Eliasson,et al.  The Use of Case-Based Reasoning in a Human-Robot Dialog System , 2006 .

[220]  Mattias Arvola,et al.  Shades of Use: The Dynamics of Interaction Design for Sociable Use , 2005 .

[221]  Erik G. Larsson,et al.  An Integrated System-Level Design for Testability Methodology , 2000 .

[222]  Martin Skold.  Active Database Management Systems for Monitoring and Control , 1997 .

[223]  Osten Oskarsson,et al.  Mechanisms of modifiability in large software systems , 1982 .

[224]  Christer Backstrom,et al.  Computational Complexity of Reasoning about Plans , 1992 .

[225]  李幼升,et al.  Ph , 1989 .

[226]  Anthony G. Cohn,et al.  Constructing qualitative event models automatically from video input , 2000, Image Vis. Comput..

[227]  Johan Wiklund,et al.  A flexible Runtime System for Image Processin in a Distributed Computational Environment for Unmaned Aereal Vehicle , 2002 .

[228]  Marcus Bjäreland.  Model-based execution monitoring , 2001 .

[229]  Dan Lawesson.  An Approach to Diagnosability Analysis for Interacting Finite State Systems , 2005 .

[230]  Christoph Schlieder,et al.  Reasoning About Ordering , 1995, COSIT.

[231]  Spiros Skiadopoulos,et al.  Composing cardinal direction relations , 2001, Artif. Intell..

[232]  Beatrice Alenljung,et al.  Envisioning a Future Decision Support System for Requirements Engineering : A Holistic and Human-centred Perspective , 2008 .

[233]  Cedwall Mats.  Semantisk analys av processbeskrivningar i naturligt språk , 1977 .

[234]  Jaime Villegas,et al.  Simulation supported industrial training from an organisational learning perspective : development and evaluation of the SSIT method , 1996 .

[235]  Per Olof Pettersson,et al.  Sampling-based Path Planning for an Autonomous Helicopter , 2006 .

[236]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[237]  C. Levcopoulos.  Heuristics for minimum decompositions of polygons , 1987 .

[238]  Nahid Shahmehri,et al.  Generalized algorithmic debugging , 1991 .

[239]  Christina Ölvingson,et al.  On development of information systems with GIS functionality in public health informatics : a requirements engineering approach , 2003 .

[240]  Malin Nordström,et al.  Styrbar systemförvaltning : att organisera systemförvaltningsverksamhet med hjälp av effektiva förvaltningsobjekt , 2005 .

[241]  Sture Hägglund,et al.  Contributions to the development of methods and tools for interactive design of applications software , 1980 .

[242]  Linda Askenäs,et al.  The roles of IT : studies of organising when implementing and using enterprise systems , 2004 .

[243]  Clifford Hill,et al.  Up/down, front/back, left/right. A contrastive study of Hausa and English , 1982 .

[244]  Aseel Berglund,et al.  Augmenting the Remote Control: Studies in Complex Information Navigation for Digital TV , 2004 .

[245]  Joachim Karlsson,et al.  A systematic approach for prioritizing software requirements , 1998 .

[246]  Mikael Ericsson,et al.  Supporting the use of design knowledge : an assessment of commenting agents , 1999 .

[247]  Barbara Tversky,et al.  Searching Imagined Environments , 1990 .

[248]  Penelope Brown,et al.  Frames of spatial reference and their acquisition in Tenejapan Tzeltal , 2000 .

[249]  Pär Carlshamre,et al.  A usability perspective on requirements engineering : from methodology to product development , 2001 .

[250]  Patrick Doherty,et al.  A Flexible Runtime System for Image Processing in a Distributed Computational Environment for an Unmanned Aerial Vehicle , 2006, Int. J. Pattern Recognit. Artif. Intell..

[251]  Esa Falkenroth.  Database technology for control and simulation , 2000 .

[252]  Ola Angelsmark.  Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications , 2005 .

[253]  Tim Heyer,et al.  Semantic Inspection of Software Artifacts From Theory to Practice , 2001 .

[254]  Bernhard Nebel,et al.  The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning , 2004, Spatial Cognition.

[255]  Fredrik Karlsson,et al.  Method configuration: method and computerized tool support , 2005 .

[256]  Jörgen Lindström,et al.  Does distance matter? On geographical dispersion in organisations , 1999 .

[257]  Fredrik Nilsson.  Strategi och ekonomisk styrning : en studie av hur ekonomiska styrsystem utformas och används efter företagsförvärv , 1997 .

[258]  Alexandru Andrei,et al.  Energy Efficient and Predictable Design of Real-Time Embedded Systems , 2007 .

[259]  Anthony G. Cohn,et al.  Qualitative Reasoning , 1987, Advanced Topics in Artificial Intelligence.

[260]  Niklas Hallberg,et al.  Incorporating user values in the design of information systems and services in the public sector : a methods approach , 1999 .

[261]  Spiros Skiadopoulos,et al.  On the consistency of cardinal direction constraints , 2005, Artif. Intell..