Considerations of two films set in Iowa frame my attempt in this paper to discuss some of the tensions between the meaningfulness of rurality and the evaporation of history in the region's cultural polities of place, A new regional geography emphasizes the historical formation of places, but how is 'history' to be understood and how meaningful a role can it play? These questions are particularl...

Modern Chaff-like SAT solvers enhance plain backtracking (DLL) by Conflict-Driven Learning (CDL), including 1UIP-based Conflict-Directed Backjumping (CDB), Non-Chronological Backtracking (NCB), and 1UIP-based Conflict-Clause Recording (CCR). We show how to add these enhancements step-by-step to plain DLL to derive Chaff’s Conflict-Driven Learning algorithm, separately and independently of BCP, ...

The use of conceptual neighbourhood diagrams (CNDs) is now fairly well established in AI literature. In AI applications, and in particular Qualitative Spatial Reasoning (QSR), the nodes of CNDs are typically populated by individual relations defined on regions or intervals, and the edges connecting adjacent nodes as continuous transformations between them. While CNDs have been used to measure t...

Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by means of depth profiles whereby each object in the world is represented as a single peak. We propose a logical theory, formulated in the situation calculus (SC), that is used for reasoning about object motion (includin...

BattleMind (BM) version 1.5 is the first of a series of Artificial Intelligence systems for semi-automatically understanding, planning and conducting Computer Network Defence. It makes use of a wide range of existing techniques including classification and feature extraction, semantic web technologies, data fusion, ontologies, first order predicate logic based forward and backward chained reaso...

We present a synthesis of a number of recent observations in the near{IR H 2 and Fe II] lines, OH (1720 MHz) maser line and various radio continuum measurements using the NICMOS of the HST, UNSWIRF on the AAT and the VLA. These observations suggest that the outer edge of the CND is collisionally excited whereas the inner edge is likely to be heated predominantly by the IRS 16 cluster. The veloc...