- Monodic Abstract State Machines and Temporal Verification
- From Tableaux to Automata for Description Logics
- Integrating Fields and Objects in Geographic Information Science Antony Galton
- Specifying and Verifying Security Protocols using Temporal Logics of Knowledge
- Logics for Topological Reasoning ESSLLI Summer School
- Automatic Grounding of Vague Geographic Ontology in Allan Third, Brandon Bennett and David Mallenby
- Reducing SHIQ -Description Logic to Disjunctive Datalog Programs
- Deductive Verification of Infinite Systems: Broadcast Protocols Michael Fisher and Alexei Lisitsa
- Reasoning Mechanism for Cardinal Direction Relations Ah-Lian Kor1 and Brandon Bennett2
- Abductive Logic Programming with CIFF Ulle Endriss1
- Logical Representations for Automated Reasoning
- Modal Semantics for Knowledge Bases Dealing with Vague Concepts
- Automated Reasoning Workshop, Leeds, April 2004 Position Paper
- Reasoning about Perception, Space and Motion: a Cognitive Robotics Perspective 1
- Implementation of a tableau theorem prover for
- Multi-Dimensional Multi-Modal Logics as a Framework for Spatio-Temporal Reasoning
- Automatic Generation of Classi cation Theorems for Finite Algebras
- Environmental Knowledge Representation Antony Galton and James Hood #
- Logical Representation for Route Graphs Paolo Torrini
- Generating E#ective Constraint Programs: An Application of Automated Reasoning
- Mechanized Support for Retrenchment Simon Fraser and Richard Banach
- Logical Theories and Automated Decision Procedures for Reasoning about Physical Systems
- A Clausal Resolution Method for Branching-Time Logic ECTL+ Alexander Bolotov and Artie Basukoski
- Foundations for an Ontology of Environment and Habitat
- Case Studies for First-Order Temporal Logic M.Carmen Fern andez Gago, Michael Fisher, Clare Dixon,
- Possible Worlds and Possible Meanings: a Semantics for the Interpretation of Vague Languages
- Cognitive Context and Arguments from Ontologies for Learning
- Identifying Geographical Processes from Time-stamped Data
- Using the Principles of Classical Conditioning to Learn Event Sequences
- promoting access to White Rose research papers White Rose Research Online
- Foresight Report on IJCAI-03 Brandon Bennett
- The Role of Definitions in Construction and Analysis of Formal Ontologies Brandon Bennett
- Physical Objects, Identity and Vagueness Brandon Bennett
- Fundamenta Informaticae 46 (2001) 145158 145 A Categorical Axiomatisation of Region-Based Geometry
- A note on proximity spaces and connection based mereology
- Modal Logics for Qualitative Spatial Reasoning
- Carving Up Space: Existential Axioms for a Formal Theory
- Some Observations and Puzzles about Composing Spatial and Temporal Relations
- Spatial Reasoning with Propositional Logics This paper is a slightly revised version of a paper that appeared in
- Information Retrieval and Reasoning about Spatial Relevance with Place Name Structures
- 1 Introduction Computing is gradually gravitating towards a symbiotic
- Hybrid Matroids Anthony J. Roy
- REPRESENTING GEO-SCIENTIFIC DOMAIN CONCEPTS Boyan Brodaric
- Issues on Modeling Spatial Granularities Elena Camossi1
- Objects and Fields (Again) September 9, 2003
- Grounding Ontologies Werner Kuhn
- Image Schemata-Based Domain Ontologies -The Core Elements of Semantic Reference Systems
- Geoinformatica, 1, 1{44 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- A Principle for Incorporating Axioms into the FirstOrder
- Ad Hoc Categories and Geospatial Ontology Position Paper for COSIT Ontology Workshop
- Proof Planning: MEGA, CL A M and ISAPLANNER
- Consistency of Topological Relations in the Presence of Convexity Constraints
- Space, Time, Matter and Things Brandon Bennett
- Automatic Conjecture Modi cation Alison Pease and Simon Colton
- Spacenet TOPOLOGY Chapter Version: 2c
- Carving Up Space: steps towards construction of an absolutely
- Looking for Logic in Vision Paulo Santos, Derek Magee and Anthony Cohn
- Compilation of quasi-destructive uni cation of type feature structures
- Restricting Scalability with Granularity H. R. Schmidtke
- Anderson, C.D.P & Pearson P.W. : E-checker: A prototype tool for investigating some properties of multivalent logic systems. ELEVENTH WORKSHOP ON AUTOMATED REASONING
- The Application of Qualitative Spatial Reasoning to GIS
- A Three-Valued Hoare Calculus Viviana Bono
- A Logic of Branching Histories with a Shared Linear Time Series Brandon Bennett
- Ontology and Geographical Information System for End-Stage Renal Disease: the SIGNE
- Logical Representations for Automated Reasoning
- Standpoint Semantics: A Framework for Formalising the
