@string{jsyml = {The Journal of Symbolic Logic}} @string{ijgis = {International Journal of Geographical Information Systems}} @phdthesis{Aamodt:91a, author = {Agnar Aamodt}, title= {A knowledge-intensive approach to problem solving and sustained learning}, school= {University of Trondheim, Norwegian Institute of Technology}, year= 1991, month= may } @article{Aamodt:94a, author= {Agnar Aamodt and Enric Plaza}, title= {Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches}, journal= {Artificial Intelligence Communications}, volume= 7, number= 1, pages= {39--59}, year= 1994 } @inproceedings{Abdelmoty93a, author = {A.I. Abdelmoty and M.H. Williams and N.W. Paton}, booktitle = {Advances in Spatial Databases}, editor = {D. Abel and B.C. Ooi}, publisher = {Springer-Verlag}, title = {Deduction and deductive databases for geographic data handling}, year = {1993} } @inproceedings{Abe:82, author = {Norihiro Abe and Fumihide Itoh and Saburo Tsuji}, title = {Towards a Learning of Object Models Using Analogical Objects and Verbal Instruction}, booktitle = {Proceedings of AAAI-82}, year = 1982, pages = {362--366} } @proceedings{Abel93a, editor = {Abel, D and Ooi, B C}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Advances in Spatial Databases: Third International Symposium, SSD'93}, volume = {692}, year = {1993} } @article{Ableson89a, author = {Abelson, H and Eisenberg, M and Halfant, M and Sacks, E and Sussman, G J and Wisdom, J and Yip, K}, journal = {CACM}, month = {May}, pages = {546-562}, title = {Intelligence in scientific computing}, volume = {32}, year = {1989}, owner = {john} } @InCollection{Adams59a, author = {E. W. Adams}, title = {The foundations of rigid body mechanics and the derivation of its laws from those of particle mechanics}, booktitle = {The Axiomatic Method --- with special reference to geometry and physics}, publisher = {North-Holland}, year = 1959, editor = {L. Henkin and P. Suppes and A. Tarski}, address = {Amsterdam}, pages = {250--265}, libcode = {Maths A-2 Hen} } @book{Adams94a, author = {Adams, C A}, publisher = {Freeman}, title = {The Knot Book}, year = {1994} } @inproceedings{Addanki89a, author = {Addanki, S and Cremonini, R and Penberthy, J S}, address = {Detroit}, booktitle = {Proceedings IJCAI-89}, pages = {1432-1438}, title = {Reasoning about assumptions in graphs of models}, year = {1989}, owner = {john} } @book{Agoston76a, author = {Agoston, M}, publisher = {Marcel Dekker}, title = {Algebraic Topology: A First Course}, year = {1976} } @inproceedings{Agrawal:95a, author = {Ram Bhushan Agrawal and Amitabha Mukerjee and Kalyanmoy Deb}, title = {Modelling of Inexact 2-D shapes using Real-coded Genetic Algorithms}, booktitle = {Proceedings of the Symposium on Genetic Algorithms}, year = 1995, month = {mar}, address = {Dehradum, India}, pages = {41--49} } @Book{Ait-Kaci89a, author = {Hassan A\"{\i}t-Kaci and Maurice Nivat}, title = {Resolution of Equations in Algebraic Strctures}, publisher = {Academic Press}, year = 1989, volume = {I and II} } @article{Alchourron85a, author = {Alchourr\'{o}n, C and G\"{a}rdenfors, P and Makinson, D}, journal = {Journal of Symbolic Logic}, number = {2}, pages = {510-530}, title = {On the logic of theory change: partial meet contraction and revision functions}, volume = {50}, year = {1985}, owner = {john} } @Book{Alexandroff35a, author = {P. Alexandroff and H. Hopf}, title = {Topologie}, publisher = {Springer}, year = {1935} } @Article{Alker00brownfield, author = "S. Alker and V. Joy and P. Roberts and N. Smith", title = "The Definition of Brownfield", journal = "Journal of Environmental Planning and Management", year = 2000, volume = 43, number = 1, pages = "49--69" } @inproceedings{Allen81a, author = {Allen, J F}, booktitle = {Proceedings 7th IJCAI}, pages = {221-226}, title = {An Interval-Based Representation of Temporal Knowledge}, year = {1981} } @inproceedings{Allen83a, author = "Allen, J F and Koomen, J A", address = {Karlsruhe, Germany}, booktitle = {Proceedings 8th IJCAI}, pages = {741-747}, title = {Planning using a temporal world model}, year = {1983}, owner = {john} } @article{Allen83b, author = "Allen, J F", journal = {Communications of the ACM}, number = {11}, pages = {832-843}, title = {Maintaining knowledge about temporal intervals}, volume = {26}, year = {1983}, owner = {john} } @article{Allen84a, author = "Allen, J F", journal = {Artificial Intelligence}, number = {2}, pages = {123-154}, title = {Towards a general theory of action and time}, volume = {23}, year = {1984}, owner = {john} } @inproceedings{Allen85a, author = "Allen, J F and Hayes, P J", address = {Los Angeles, USA}, booktitle = {Proceedings 9th IJCAI}, pages = {528-531}, title = {A common sense theory of time}, year = {1985}, owner = {john} } @techreport{Allen87a, author = {Allen, J F and Hayes, P J}, institution = {University of Rochester, NY, Depts. of Computer Science and Philosophy}, number = {TR180}, title = {Moments and points in an interval-based temporal logic}, year = {1987} } @inproceedings{Allen87b, author = {Allen, J F and Hayes, P J}, address = {Los Altos}, booktitle = {Proceedings, IJCAI-87}, publisher = {Morgan Kaufmann}, title = {Short time periods}, year = {1987} } @article{Allen89a, author = "Allen, J F and Hayes, P J", journal = {Computational Intelligence}, pages = {225-238}, title = {Moments and points in an interval-based temporal logic}, volume = {5}, year = {1989}, owner = {john} } @book{Allen90a, address = {San Mateo, CA}, editor = {Allen, J F and Hendler, J and Tate, A}, publisher = {Morgan Kaufman}, title = {Readings in Planning}, year = {1990}, owner = {john} } @incollection{Allen90b, author = {Allen, J F}, address = {San Mateo, CA}, booktitle = {Readings in Planning}, editor = {Allen, J F and Hendler, J and Tate, A}, publisher = {Morgan Kaufman}, title = {Formal methods of planning}, year = {1990}, owner = {john} } @book{Allen91a, author = {Allen, J F and Kautz, H A and Pelavin, R N and Tenenberg, J D}, address = {Sab Mateo}, publisher = {Morgan Kaufmann}, title = {Reasoning About Plans}, year = {1991}, owner = {john} } @article{Allen91b, author = {Allen, J F}, journal = {Int. J. Intelligent Systems}, pages = {341-355}, title = {Time and time again: the many ways to represent time}, volume = {6}, year = {1991}, owner = {john} } @article{Allen94a, author = {Allen, J F and Ferguson, G}, journal = {Journal of Logic and Computation}, title = {Actions and Events in Interval Temporal Logic}, year = {1994} } @misc{Allen94b, author = {Allen, J F}, month = may, title = {Personal communication.}, year = {1994} } @Article{Anderson66a, author = {Anderso, D E and Angell, R B}, title = {Venn diagrams for {$n$} classes}, journal = {Journal of Symbolic Logic}, year = {1966} } @inproceedings{Andre:86a, author= {Elisabeth Andr\'e and Guido Bosch and Gerd Herzog and Thomas Rist}, title= {Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions}, booktitle= {Proceedings of the 7th ECAI}, address= {Brighton, UK}, volume= 2, pages= {1--8}, year= 1986 } @inproceedings{Andre:88, author = {Elisabeth Andr\'{e} and Gerd Herzog and Thomas Rist}, title = {On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System Soccer}, booktitle = {Proc. ECAI-88}, year = 1988, address = {Munich}, pages = {449-454} } @inproceedings{Andre:89a, author = {Elisabeth Andr\'{e} and Gerd Herzog and Thomas Rist}, title = {Natural Language Access to Visual Data: Dealing with Space and Movement}, booktitle = {1st Workshop on Logical Semantics of Time, Space and Movement in Natural Language}, year = 1989, address = {Toulouse, France} } @book{Anger93a, booktitle = {Proceedings of the Spatial and Temporal Reasoning Workshop, IJCAI-93}, editor = {Anger, F D}, publisher = {IJCAI}, title = {Proceedings of the Spatial and Temporal Reasoning Workshop, IJCAI-93}, year = {1993}, owner = {john} } @techreport{Apt88a, author = {Apt, K R}, institution = {Department of Computer Science, University of Texas at Austin}, month = {July}, number = {TR-87-35}, title = {Introduction to logic programming}, year = {1988}, owner = {john} } @article{Arbib77a, author = {Arbib, M A}, journal = {Bulletin of the American Mathematical Society}, number = {5}, pages = {946-951}, title = {Review Article}, volume = {83}, year = {1977} } @book{Armstrong79a, author = {Armstrong, M A}, address = {London}, publisher = {McGraw-Hill}, title = {Basic Topology}, year = {1979} } @article{Arnon88a, author = {D.S. Arnon}, journal = {Artificial Intelligence}, pages = {37-60}, title = {Geometrical reasoning with logic and algebra}, volume = {37}, year = {1988} } @inproceedings{Asher94a, author = {Asher, N and Lang, J}, booktitle = {KI-94: Advances in Artificial Intelligence}, editor = {Nebel, B amd Dreschler-Fischer, L}, pages = {308-318}, publisher = {Springer-Verlag}, title = {When nonmonotonicity comes from distance}, year = {1994} } @inproceedings{Asher95a, author = {Asher, N. and Vieu, L.}, booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), {M}ontreal}, title = {Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology}, year = {1995} } @article{Auffray90a, author = {Y. Auffray and P. Enjalbert and J-J. Herbrard}, journal = {Journal of Automated Reasoning}, number = {6}, title = {Strategies for Modal Resolution}, year = {1990} } @article{Aurenhammer91a, author = {Aurnhemmer, F}, journal = {ACM Computing Surveys}, pages = {345-405}, title = {Voronoi Diagrams --- A Survey of a Fundamental Geometric Data Structure}, volume = {23}, year = {1991} } @phdthesis{Aurnague91a, author = {Aurnague, M}, school = {Universit\'{e} Paul Sabatier, Toulouse}, title = {Contibution \'{a} l'\'{e}tude de la s\'{e}mantique formelle de l'espace et du raisonement spatial: la localisation interne en fran\c{c}ais, s\'{e}mantique et structures inf\'{e}rentielles}, year = {1991} } @inproceedings{Aurnague93a, author = {M Aurnague and L Vieu}, address = {Berlin}, booktitle = {The semantics of prepositions - from mental processing to natural language processing}, editor = {C Zelinsky-Wibbelt}, publisher = {Mouton de Gruyter}, title = {A three-level approach to the semantics of space}, year = {1993} } @Article{Austin53a, author = {Austin, J L}, title = {How to Talk: some simple ways}, journal = {Proceedings of the Aristotelian Society}, year = 1953, note = {Also in J.L. Austin Philosophical Papers, Clarendon Press, 1961} } @book{Austin62a, author = {Austin, J.L.}, editor = {Urmson}, publisher = {Oxford University Press}, title = {How to do things with words}, year = {1962} } @book{Austin62b, author = {Austin, J.L.}, editor = {G.J. Warnock}, publisher = {Oxford University Press}, title = {Sense and Sensibilia}, year = {1962} } @article{Bacchus91a, author = {Bacchus, F and Tenenberg, J and Koomen, J A}, journal = {Artificial Intelligence}, pages = {87-108}, title = {A non-reified temporal logic}, volume = {52}, year = {1991}, owner = {john} } @article{Backstrom91a, author = {B\"{a}ckstr\"{o}m, C and Klein, I}, journal = {Computational Intelligence}, pages = {181-197}, title = "Planning in polynomial time: the {SAS-PUBS} class", volume = {7}, year = {1991}, owner = {john} } @inproceedings{Backstrom91b, author = {B\"{a}ckstr\"{o}m, C and Klein, I}, booktitle = {Proceedings IJCAI-91}, pages = {268-273}, title = {Parallel non-binary planning in polynomial time}, year = {1991}, owner = {john} } @phdthesis{Badler:75, author = {Normal I. Badler}, title = {Temporal Scene Analysis: Conceptual Descriptions of Object Movements}, year = 1975, month = {February}, address = {Toronto, Ontario, Canada}, school = {University of Toronto}, type = {Tech. Report No. 80} } @inproceedings{Bajcsy:85a, author= {Ruzena Bajcsy and Aravind Joshi and Eric Krotkov and Amy Zwarico}, title= {LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images}, booktitle= {Proceedings of the 9th International Joint Conference on Artificial Intelligence}, address= {Los Angeles, CA}, pages= {919--921}, year= 1985, month= Aug } @article{Bajcsy:88a, author= {Ruzena Bajcsy}, title= {Active Perception}, journal= {Proceedings of the IEEE}, volume= 76, number= 8, pages= {996--1005}, year= 1988, month= Aug } @inproceedings{Baker89a, author = {Baker, A B}, booktitle = {Proceedings KR-89}, pages = {11-20}, title = {A simple solution to the {Yale Shooting Problem}}, year = {1989}, owner = {john} } @article{Baker91a, author = {Baker, A B}, journal = {Artificial Intelligence}, note = {Special issue on knowledge representation.}, pages = {5-23}, title = {Nonmonotonic reasoning in the framework of the situation calculus}, volume = {49}, year = {1991}, abstract = { Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally involving temporal priorities) or completely reformulated the domain axioms to represent causality explicitely. This paper presents a new solution based on the idea that since the abnormality predicate takes a situational argument, it is important for the meanings of the situations to be held consistent over the various models being compared. This is accomplished by a simple change in circumscription policy: when {\em Ab} is circumscribed, {\em Result} (rather than {\em Holds}) is allowed to vary. in addition, we need an axiom ensuring that every consistent situation is included in the domain of discourse. Ordinary circumscription will then produce the intuitively correct answer. Beyond its conceptual simplicity, the solution proposed here has aditional advantages over previous approaches. Unlike the approach that uses temporal priorities, it can support reasoning backward in time as well as forward. And unlike the causal approach, it can handle ramifications in a natural manner.}, owner = {john} } @book{Balbiani94a, author = {B Balbiani and V Dugat and L Farninas del Cerro and A Lopez}, publisher = {Editions Hermes}, title = {El\'{e}ments de g\'{e}om\'{e}trie m\'{e}canique}, year = {1994} } @Article{Balbiani97a, author = {Philippe Balbiani and Fari\~nas del Cerro, Luis and Tinko Tinchev and Dimiter Vakarelov }, title = {Modal Logics for Incidence Geometries}, journal = {Journal of Logic and Computations}, year = 1997, volume = 7, number = 1, pages = {59--78} } @InProceedings{Balbiani97b, author = {Philippe Balbiani and St\'ephane Demri}, title = {Prefixed Tableaux Systems for Modal Logics with Enriched Languages}, booktitle = {Proceedings of the fifteenth international joint conference on artificial intelligence, IJCAI-97}, editor = {Martha E. Pollack}, volume = {I}, year = 1997, pages = {190--195} } @article{Ballard:91a, author= {Dana H. Ballard}, title= {Animate Vision}, journal= {Artificial Intelligence}, volume= 48, pages= {57--86}, year= 1991 } @phdthesis{Bareiss:88a, author= {Ray Bareiss}, title= {\textup{PROTOS}; a unified approach to concept representation and learning}, school= {University of Texas at Austin, Department of Computer School}, number= {AI88-83}, year= 1988 } @book{Barkow92a, editor = {Barkow, J H and Cosmides, L and Tooby, J}, publisher = {Oxford University Press}, title = {The Adapted Mind: Evolutionary Psychology and the Generation of Culture}, year = {1992} } @InProceedings{Barringer86a, author = {H. Barringer and R. Kuiper and A. Pnueli}, title = {A really abstract concurrent model and its fully abstract semantics}, booktitle = {Proceedings of the 13th ACM symposium on principles of programming languages}, pages = {173--183}, year = 1986 } @misc{Barringer91a, author = {Barringer, H and Gabbay, D M}, howpublished = {Third European Summer School in Language, Logic and Information, Universit\"{a}t des Saarlandes, Germany}, month = {August}, title = "The Imperative Future: An Executable View of Temporal Logic", year = {1991} } @book{Barwise83a, author = {Barwise, J. and Perry, J.}, publisher = {M.I.T. Press}, title = {Situations and Attitudes}, year = {1983} } @techreport{Baumberg:93, author = {Adam M. Baumberg and David C. Hogg}, title = {Learning Flexible Models from Image Sequences}, institution = {School of Computer Studies, University of Leeds}, year = 1993, month = oct, address = {Leeds}, number = {93.36} } @inproceedings{Baumberg:94a, author = {Adam M. Baumberg and David C. Hogg}, title = {Learning Flexible Models from Image Sequences}, booktitle = {European Conf. on Computer Vision}, year = 1994, month = May, pages = {299--308} } @inproceedings{Baumberg:94b, author = {Adam M. Baumberg and David C. Hogg}, title = {An Efficient Method for Contour Tracking Using Active Shape Models}, booktitle = {IEEE Workshop on Motion of Non-rigid and Articulated Objects}, year = 1994, month = Nov, publisher = {I.C.S. Press}, pages = {194--199} } @inproceedings{Baumberg:95a, crossref = {bmvc:95}, author = {Adam Baumberg and David Hogg}, title = {An Adaptive Eigenshape Model}, pages = {87--96}, volume = 1 } @inproceedings{Baumberg:95b, crossref = {bmvc:95}, author = {Adam Baumberg and David Hogg}, title = {Generating Spatiotemporal Models from Examples}, pages = {413--422}, volume = 2 } @phdthesis{Baumberg:95c, author= {Adam Michael Baumberg}, title= {Learning Deformable Models for Tracking Human Motion}, school= {University of Leeds}, year= 1995, month= oct } @Article{Belhadji98isli, author = "S. Belhadji and A. Isli", title = "Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving", journal = "Constraints", year = 1998, volume = 3, number = {2{\&}3}, pages = "203--211" } @article{Bell90a, author = {Bell, J}, journal = {Artificial Intelligence}, pages = {365-374}, title = "The logic of nonmonotonicity ({Research} note)", volume = {41}, year = {1990}, owner = {john} } @article{Bell91a, author = {Bell, J}, journal = {Artificial Intelligence}, pages = {211-224}, title = "Extended causal theories ({Research} note)", volume = {48}, year = {1991}, owner = {john} } @inproceedings{Bell91b, author = {Bell, J}, address = {Cambridge, Ma}, booktitle = {Proceedings KR-91}, month = {April}, pages = {50-59}, title = {Pragmatic logics}, year = {1991}, owner = {john} } @unpublished{Bell93a, author = {Bell, J}, month = dec, note = {Unpublished manuscript, Dept. Computer Science, Queen Mary and Westfield College, London}, title = {Properties, Problems and Principles of Commonsense Causal Reasoning}, year = {1993} } @inproceedings{Bell93b, author = {Bell, J}, booktitle = {Proc. IJCAI-93 Workshop on Reasoning about Action and Change}, title = {Prediction theories and Explanation Theories}, year = {1993} } @incollection{Belnap77a, author = {Belnap, N D Jr}, booktitle = {Modern uses of multiple valued logics}, editor = {Dunn, J M}, pages = {8-31}, publisher = {D Reidel Publishing Company}, title = {A useful four-valued logic}, year = {1977}, owner = {john} } @inproceedings{Ben-Eliyahu91a, author = {Ben-Eliyahu, R and Dechter, R}, address = {Anaheim, CA}, booktitle = {Proceedings AAAI-91}, title = {Default logic, propositional logic and constraints}, year = {1991}, owner = {john} } @InCollection{Bencivenga86a, author = {Ermanno Bencivenga}, title = {Free Logics}, booktitle = {Handbook of Philosophical Logic}, publisher = {D. Reidel}, year = 1986, editor = {D. Gabbay and F. Guenthner}, volume = {III}, pages = {373--426} } @misc{Bennett93a, author = {Bennett, B.}, howpublished = {Draft Report, AI Division, School of Computer Studies, University of Leeds}, title = {Topological Reasoning with Propositional Logics}, year = {1993} } @inproceedings{Bennett94a, author = {Bennett, B.}, address = {San Francisco, CA.}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94)}, editor = {Doyle, J and Sandewall, E and Torasso, P}, publisher = {Morgan Kaufmann}, title = {Spatial Reasoning with Propositional Logics}, year = {1994} } @inproceedings{Bennett94b, author = {Bennett, B.}, booktitle = {Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning}, editor = {Rodr\'iguez, R}, title = {Some Observations and Puzzles about Composing Spatial and Temporal Relations}, year = {1994} } @inproceedings{Bennett95b, author = {Bennett, B.}, booktitle = {Proceedings of AISB95 workshop --- Automated Reasoning: bridging the gap between theory and practice}, title = {Towards a Decision Procedure for the {RCC} Theory of Spatial Regions}, year = {1995} } @inproceedings{Bennett95carve1, author = {Bennett, B.}, booktitle = {Proceedings of IJCAI95 workshop on Spatial and Temporal Reasoning}, title = {Carving up Space: existential axioms for logical theories of spatial regions}, year = {1995} } @Misc{Bennett95rapsintro, author = "B. Bennett", title = "Logical theories and automated decision procedures for reasoning about physical systems: an introduction to the project and its potential applications", howpublished = "Hypertext document at \url{http://agora.leeds.ac.uk/ctcs/raps-project/intro/intro.html}, PostScript also available at this address", year = 1995, month = "November" } @inproceedings{Bennett96a, author = {Bennett, B}, title = {Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions}, booktitle = {Proceedings of JELIA'96}, year = {1996}, editor = {J.J. Alfres, L.M. Pereira and E. Orlowska}, pages = {337--353} } @article{Bennett96b--old-use---Bennett96igpl, author = {Bennett, B}, title = {Modal Logics for Qualitative Spatial Reasoning}, journal ={Bulletin of the Interest Group in Pure and Applied Logic (IGPL)}, year = {1996} } @InProceedings{Bennett96c, author = {Bennett, B}, title = {The application of Qualitative Spatial Reasoning to {GIS}}, booktitle = {Proc First Int. Conf. on GeoComputation}, editor = {R.J. Abrahart}, volume = {I}, year = {1996}, address = {Leeds}, pages = {44--47} } @inproceedings{Bennett96d-old-use--Bennett96jelia, author = {Bennett, B}, title = { Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions}, booktitle = {Proceedings of JELIA'96}, year = {1996}, editor = {J.J. Alfres, L.M. Pereira and E. Orlowska}, pages = {337--353} } @article{Bennett96igpl, author = {Bennett, B.}, title = {Modal Logics for Qualitative Spatial Reasoning}, journal = {Bulletin of the Interest Group in Pure and Applied Logic (IGPL)}, volume = 4, number = 1, year = 1996, pages = {23--45}, note = {WWW address \url{ftp://ftp.mpi-sb.mpg.de/pub/igpl/Journal/V4-1/index.html}} } @inproceedings{Bennett96jelia, author = {Bennett, B.}, title = {Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions}, booktitle = {Proceedings of JELIA'96}, year = {1996}, editor = {J. J. Alfres and L. M. Pereira and E. Orlowska}, pages = {337--353} } @inproceedings{Bennett97a, author = {Bennett, B. and Isli, A. and Cohn, A. G.}, title = {When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language?}, booktitle = {Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning}, address = {Nagoya, Japan}, year = {1997} } @conference{Bennett97b, author = {Bennett, B and Cohn, A G and Isli, A}, title = {Combining Multiple Representations in a Spatial Reasoning System}, booktitle = {Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (TAI-97)}, year = {1997}, address = {Newport Beach, CA}, pages = {314--322} } @Article{Bennett98constr, author = "B. Bennett", title = "Determining Consistency of Topological Relations", journal = "Constraints", year = 1998, month = "June", volume = 3, number = {{2\&3}}, pages = "213--225" } @InProceedings{Bennett98iea, author = "B. Bennett and A. Isli and Anthony G. Cohn", title = "A System Handling {RCC-8} Queries on {2D} Regions Representable in the Closure Algebra of Half-Planes ", series = "LNCS", booktitle = "Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE)", year = 1998, publisher = "Springer-Verlag" } @InProceedings{Bennett98vagueKR, author = "B. Bennett", title = "Modal Semantics for Knowledge Bases dealing with Vague Concepts", editor = "Anthony G. Cohn and Leonard Schubert and S. Shapiro", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98)", year = 1998, pages = {234--244}, publisher = "Morgan Kaufman" } @Unpublished{Bennett99topology, author = {Bennett, B. and Bertolotto, M. and Vieu, L. and Times, V. and Cohn, A. G.}, title = {Representing Topology for Qualitative Spatial Reasoning}, note = {Collaborative paper resulting from the Spacenet project. In progress.} } @Unpublished{Bennett99semantics, author = {Bennett, B. and Cohn, A. G.}, title = {Semantic Foundations for Logical Description of Physical Processes}, note = {In progress.} } @Unpublished{Bennett99ijcai, author = {Bennett, B. and Cohn, A. G.}, title = {Combining Multi-Modal Logics with Constraints as a Basis for Spatio-Temporal Reasoning}, note = {Under review for IJCAI-99.} } @InProceedings{Bennett99ijcaiws-mm, author = "Bennett, B. and Cohn, A. G.", title = "Multi-Dimensional Multi-Modal Logics as a Framework for Spatio-Temporal Reasoning", booktitle = "Proceedings of the `Hot Topics in Spatio-Temporal Reasoning' workshop, IJCAI-99", year = 1999, address = "Stockholm" } @InProceedings{Bennett99ijcaiws-conv, author = "Bennett, B. and Cohn, A. G.", title = "Consistency of Topological Relations in the Presence of Convexity Constraints", booktitle = "Proceedings of the `Hot Topics in Spatio-Temporal Reasoning' workshop, IJCAI-99", year = 1999, address = "Stockholm" } @Unpublished{Bennett99cp, author = {Bennett, B. and Cohn, A. G.}, title = {Consistency of Topological Relations in the Presence of Convexity Constraints}, year = {unpublished}, note = {Under review} } @Unpublished{Bennett99combinations-unpub, author = "B. Bennett and De Rijke, M. and C. Dixon and M. Fisher and Enrico Franconi and Ian Horrocks and Ullrich Hustadt", title = "Combinations of Modal Logics", note = "under preparation" } @TechReport{Bennett00tarski_geom, author = {B. Bennett}, title = {Research note on {Tarski's} elementary geometry}, institution = {University of Leeds, School of Computer Studies}, year = 2000, month = {January}, note = {Available from web at \url{http://www.scs.leeds.ac.uk/pub/doc/srg/tarski\_geom.ps}} } @Unpublished{Bennett00mm, author = {B. Bennett and Anthony G. Cohn and Paolo Torrini and Shyamanta M. Hazerika}, title = {A Foundation for Region-Based Qualitative Geometry}, note = {Submitted for publication. Draft available from web at \url{http://www.scs.leeds.ac.uk/brandon/mmnote.ps}}, month = {January}, year = 2000, } @Unpublished{Bennett00modelling, author = {B. Bennett and Anthony G. Cohn and Paolo Torrini and Shyamanta M. Hazarika}, title = {Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions}, note = {Submitted for publication. Draft available from web at \url{http://www.scs.leeds.ac.uk/brandon/modelling.ps}}, month = {January}, year = 2000, } @inproceedings{Bennett00aaai, author = {B. Bennett and Anthony G. Cohn and Paolo Torrini and Shyamanta M. Hazarika}, title = {Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions}, booktitle = {Proceedings of AAAI-2000}, editor = {Henry A. Kautz and Bruce Porter}, year = 2000, } @inproceedings{Bennett00ecai, author = {B. Bennett and Anthony G. Cohn and Paolo Torrini and Shyamanta M. Hazarika}, title = {A Foundation for Region-Based Qualitative Geometry}, booktitle = {Proceedings of ECAI-2000}, editor = {W. Horn}, year = 2000, } @Article{Bennett00applied, author = "B. Bennett and A.G. Cohn and F. Wolter and M. Zakharyaschev", title = "Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning", journal = "Applied Intelligence", note = "To appear" } @Unpublished{BennettN3, author = {Bennett, B.}, title = {Representations and Proof Procedures}, note = {School of Computer Studies, University of Leeds}, OPTkey = {}, year = {1996}, OPTmonth = {}, OPTannote = {} } @PhdThesis{BennettThesis, author = {B. Bennett}, title = {Logical Representations for Automated Reasoning about Spatial Relationships}, school = {School of Computer Studies}, year = 1997, address = {The University of Leeds}, note = {abstract and postscript at \url{http://www.scs.leeds.ac.uk/brandon/thesis.html}} } @InProceedings{Bernardini93a, author = {F. Bernardini and V. Ferrucci abd A. Paoluzzi and V. Pascucci}, title = {Product Operator on Cell Complexes}, booktitle = {Proceedings of Solid Modeling~'93, 2nd ACM/IEEE Symposium on Solid Modeling and Applications, Montreal}, editor = {J. Turner and J. Rossignac and G. Allen}, year = {1993}, pages = {43--52} } @TechReport{Bertolotto95a, author = {M. Bertolotto and E. Puppo}, title = {Efficient Encoding of Simplicial Complexes in Any Dimension}, institution = {Department of Computer and Information Sciences, University of Genova (Italy)}, year = {1995} } @InProceedings{Bertolotto95b, author = {M. Bertolotto and De Floriani, L. and P. Marzano}, title = {A Unifying Framework for Multilevel Description of Spatial Data}, booktitle = {Proceedings of COSIT'95, Semmering, Austria}, year = {1995}, month = {September} } @article{Besnard89a, author = {Besnard, P and Moinard, Y and Mercer, R E}, journal = {Artificial Intelligence}, pages = {251-262}, title = {The importance of open and recursive circumscription}, volume = {39}, year = {1989}, owner = {john} } @book{Besnard89b, author = {Besnard, P}, publisher = {Springer-Verlag}, series = {Symbolic Computation Series}, title = {An introduction to default logic}, year = {1989}, owner = {john} } @inproceedings{Besnard92a, author = {Besnard, P and Schaub, T}, address = {Vancouver}, booktitle = {Proceedings CSCSI-92}, title = {Possible world semantics for default logics}, year = {1992}, owner = {john} } @inproceedings{Bessiere96a, title={Global consistency in interval algebra networks: tractable subclasses}, author="Bessi\`ere, C and Isli, A and Ligozat, G", booktitle={Proceedings ECAI}, pages={3--7}, year={1996}, owner={john} } @article{Biacino91a, author = {L. Biacino and G. Gerla}, title = {Connection Structures}, journal = {Notre Dame Journal of Formal Logic}, volume = {32}, number = {2}, pages = {242--247}, year = {1991} } @book{Bibel93a, author = {Bibel, W}, publisher = {Academic Press}, title = {Deduction: Automated Logic}, year = {1993} } @InCollection{Black70a, author = "M. Black", fullname = {Max Black}, booktitle = "Margins of Precision", title = "Reasoning with Loose Concepts", publisher = "Cornell University Press", year = 1970, chapter = 1, pages = "1--13", address = "Ithaca" } @InProceedings{Blackburn92fine, author = {Blackburn, P.}, title = {Fine Grained Theories of Time}, booktitle = {Semantics of Time, Space and Movement: working papers of the 4th international workshop TSM-92}, pages = {327--348}, year = 1992, editor = {M. Aurnague and A. Borillo and M. Borillo and M. Bras}, address = {{Ch\^{a}teau de Bonas}} } @InCollection{Blackburn96a, author = "P. Blackburn and C. Gardent and De Rijke, M.", title = "On rich ontologies for tense and aspect", booktitle = "Logic, Language and Computation", publisher = "CSLI Publications", year = 1996, editor = "J. Seligmann and D. Westerst\o{a}hl", volume = 1, chapter = 6, pages = "77--92" } @InCollection{Blackburn98hybrid, author = "P. Blackburn and J. Seligman", title = "What are Hybrid Languages?", booktitle = "Advances in Modal Logic", publisher = "CSLI Publications", year = "1998", editor = "M. Kracht and M. de Rijke and J. Wansing and M. Zakharyaschev", volume = "1", chapter = "3", pages = "41--62" } @article{Blake:93a, author= {A. Blake and R. Curwen and A. Zisserman}, title= {A Framework for Spatio-Temporal control in the tracking of visual contours}, journal= {International Journal of Computer Vision}, year= 1993 } @article{Blizard90a, author = {Blizard, W D}, journal = {Journal of Symbolic Logic}, number = {1}, pages = {74-89}, title = {A formal theory of objects, space and time}, volume = {55}, year = {1990} } @article{Bochman90a, author = {A. Bochman}, journal = {Logique et Analyse}, pages = {75-101}, title = {Mereology as a theory of part-whole}, year = {1990} } @article{Bochvar38a, author = {Bochvar, D A}, journal = {Matematiceskii Sbornik}, note = {In Russian with English abstract}, pages = {287-308}, title = {On a three-valued logical calculus and applications to the analysis of contradictions}, volume = {4}, year = {1938}, owner = {john} } @Article{Boissonnat84a, author = {J. D. Boissonnat}, title = {Geometric Structures for Three-Dimensional Shape Representation}, journal = {International Journal of Robotics and Reasoning}, year = {1982}, volume = {1}, number = {1}, note = {Check details of this reference. Year does not match ref tag.} } @Article{Boissonnat88a, author = {J. D. Boissonnat}, title = {Shape Reconstruction from Planar Cross-Sections}, journal = {Computer Vision, Graphics and Image Processing}, year = {1988}, volume = {44}, pages = {1--29} } @Book{Bolc95a, author = "Bolc, L and Szalas, A", title = "Time and Logic", publisher = "UCL Press", year = 1995, libcode = "Comp L-3 Bol" } @Book{Borger97a, author = {Egon B\"orger and Erich Gr\"adel and Yuri Gurevich}, title = {The Classical Decision Problem}, publisher = {Springer}, year = 1997, series = {Perspectives in Mathematical Logic}, address = {Berlin} } @InProceedings{Borgo96a, author = {S. Borgo and N. Guarino and C. Masolo}, fullauthor = {Stefano Borgo and Nicola Guarino and Claudio Masolo}, title = {A Pointless Theory of Space Based on Strong Congruence and Connection}, booktitle = {Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference, KR96}, editor = {L. Carlucci Aiello and J. Doyle}, year = 1996, publisher = {Morgan Kaufmann} } @inproceedings{Borgo96b, author = {Stefano Borgo and Nicola Guarino and Claudio Masolo}, title = {A pointless theory of space based on strong connection and congruence}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 5th International Conference (KR94)}, editor = {L Carlucci Aiello and J Doyle}, publisher = {Morgan Kaufmann}, year = {1996} } @techreport{Borgo96tech, author = {Borgo, S and Guarino, N and Masolo, C}, title = {A pointless theory of space based on strong connection and congruence}, institution = {LADSEB-CNR, Padova}, year = {1996} } @InProceedings{Borgo96towards, author = {Stefano Borgo and Nicola Guarino and Claudio Masolo}, title = {Towards an ontological theory of physical objects}, booktitle = {Proceedings of IMACS-IEEE/SMC conference on Computational Engineering in Systems Applications (CESA-96), Symposium on Modelling, Analysis and Simulation}, pages = {535--540}, year = 1996, address = {Lille, France} } @inproceedings{Borillo90a, author = {Borillo, M and Gaume, B}, address = {Stockholm}, booktitle = {Proceedings 9th ECAI}, pages = {99-104}, title = "An extension to {Kowalski} and {Sergot's} event calculus", year = {1990}, owner = {john} } @article{Borillo91a, author = {Dernard, D and Borillo, M and Gaume, B}, journal = {Journal of Applied Intelligence}, pages = {195-221}, title = "From Event Calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance", volume = {1}, year = {1991}, owner = {john} } @article{BowmanClarke81a, author = {Clarke, B.L.}, journal = {Notre Dame Journal of Formal Logic}, month = {July}, number = {3}, pages = {204-218}, title = "A calculus of individuals based on {`connection'}", volume = {23}, year = {1981}, owner = {john} } @article{BowmanClarke85a, author = {Clarke, B.L.}, journal = {Notre Dame Journal of Formal Logic}, number = {1}, pages = {61-75}, title = {Individuals and Points}, volume = {26}, year = {1985} } @book{Boyer68a, author = {C.B. Boyer}, note = {Reprinted by Princeton University Press, 1985.}, publisher = {Wiley}, title = {A History of Mathematics}, year = {1968} } @book{Boyle:88a, author= {R.D. Boyle and R.C. Thomas}, title= {Computer Vision: A First Course}, publisher= {Blackwell Scientific Publications}, year= 1988 } @article{Brady83a, author = "Brady, J M", journal = {Human and Machine Vision}, title = {Criteria for representations of shape}, year = {1993} } @book{Bratko86a, author = {Bratko, I}, publisher = {Addison-Wesley}, title = {Prolog Programming for Artificial Intelligence}, year = {1986}, owner = {exeterlib} } @book{Bredon93a, author = {Bredon, G E}, publisher = {Springer-Verlag}, title = {Topology and Geometry}, year = {1993} } @inproceedings{Bremond:96a, crossref = {eccv:96b}, author = {Fran\c{c}ois Br\'{e}mond and Monique Thonnat}, title = {A context representation for surveillance systems}, pages = {28--42} } @inproceedings{Brewka89a, author = {Brewka, G}, address = {Detroit}, booktitle = {Proceedings IJCAI-89}, title = {Preferred subtheories: An extended logical framework for default reasoning}, year = {1989}, poages = {1043-1049}, owner = {john} } @book{Brewka91a, author = {Brewka, G}, publisher = {Cambridge University Press}, series = {Cambridge tracts in theoretical computer science}, title = {Nonmonotonic Reasoning: Logical Foundations of Commonsense}, volume = {12}, year = {1991}, owner = {ajit} } @article{Brewka91b, author = {Brewka, G}, journal = {Artificial Intelligence}, pages = {183-205}, title = {Cumalative default logic: in defense of nonmonotonic inference rules}, volume = {50}, year = {1991}, owner = {john} } @book{Brewka92a, author = {Brewka, G and Konolige, K}, note = {Tutorial T7, ECAI-92}, publisher = {ECAI}, title = {Nonmonotonic Reasoning}, year = {1992}, owner = {john} } @book{Brieman:84a, author= {L. Brieman and J.H. Friedman and R.A. Olshen and C.J. Stone}, title= {Classification and Regression Trees}, publisher= {Wadsworth and Brooks}, address= {Monteret, California}, year= 1984 } @techreport{Brinkley86, title={Application of Constraint Satisfaction Techniques to the Determination of Protein Tertiary Structure}, author={Brinkley, J and Cornelius, C and Altman, R and Hayes-Roth, B and Lichtarge, O and Duncan, B and Buchanan, B and Jardetzky, O}, institution={Stanford University}, year={1986} } @techreport{Brisset94a, title={ECLiPSe 3.4 Extensions User Manual}, author={Brisset, P. et al.}, institution={Industry Research Center, Munich}, year={1994} } @Article{Brisson93a, author = {E. Brisson}, title = {Representing Geometric Structures in d Dimensions: Topology and Order}, journal = {Discrete Computational Geometry}, year = {1993}, volume = {9}, pages = {387--426} } @book{Brown87a, address = {Los Altos, Ca}, booktitle = {The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop}, editor = {Brown, F M}, publisher = {Morgan Kaufmann}, title = {The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop}, year = {1987} } @book{Brown94a, editor = {Brown, K and Pearce, D}, publisher = {UCL Press}, title = {The Causes of Tropical Deforestation}, year = {1994} } @InProceedings{Bruzzone93a, author = "E. Bruzzone and De Floriani, L. and M. Pellegrinelli", title = "A heirarchical spatial index for cell complexes", editor = "D. Abel and B. C. Ooi", series = "LNCS", pages = "105--122", booktitle = "Advances in Spatial Databases: third international symposium, SSD-93", year = 1993, publisher = "Springer-Verlag", address = "Singapore" } @phdthesis{Buchberger65a, author = "B. Buchberger", title = "An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal", school = "Universitat Innsbruck, Institut fur Mathematik", year = 1965, note = "German" } @incollection{Buchberger85a, author = "B. Buchberger", title = {{Groebner Bases: An Algorithmic Method in Polynomial Ideal Theory}}, booktitle = {Recent Trends in Multidimensional Systems Theory}, editor = "N. K. Bose", chapter = "6", publisher = "D. Riedel Publ. Comp.", year = "1985" } @techreport{Buchberger91a, author = "B. Buchberger and H. Hong", title = "Speeding-up Quantifier Elimination by {G}roebner Bases", institution = RISC, address = JKU, number = "91-06.0", year = "1991" } @incollection{Bull84a, author = {R. Bull and K. Segerberg}, booktitle = {Handbook of Philosophical Logic}, chapter = {II.1}, editor = {D. Gabbay and F. Guenthner}, pages = {1--88}, publisher = {Reidel}, title = {Basic Modal Logic}, volume = {II}, year = {1984} } @book{Burde85a, author = {Burde, G and Zieschang, H}, publisher = {Walter de Gruyter}, title = {Knots}, year = {1985} } @book{Burns91a, author = {Burns, L C}, publisher = {Kluwer}, series = {Reason and Argument}, title = {Vagueness: An Investigation Into Natural Languages And The Sorites Paradox}, volume = {4}, year = {1991} } @proceedings{Burrough94a---old, editor = {Burrough, P. and Frank, A.M.}, note = {To appear}, publisher = {Francis Taylor}, title = {GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries \typeout{*** REF Burrough94a NOW SUPERCEEDED BY REF Burrough96a ***}}, year = {1994} } @proceedings{Burrough96a, editor = {Burrough, P. and Frank, A.M.}, publisher = {Francis Taylor}, title = {Specialist Meeting on Geographical Objects with Undetermined Boundaries}, series = {GISDATA}, year = {1996} } @inproceedings{Burt:91a, crossref = {bmvc:91}, author = {Peter J. Burt}, title = {Image Motion Analysis Made Simple and Fast, One Component at a Time}, pages = {1--8} } @article{Buxton:88a, author = {Hilary Buxton and Nick Walker}, title = {Query based visual analysis: spatio-temporal reasoning in computer vision}, journal = {Image and Vision Computing}, year = 1988, month = {nov}, volume = 6, number = 4, pages = {247--254} } @inproceedings{Buxton:95a, crossref = {spaceijcai:95}, author = {Hilary Buxton and Richard Howarth}, title = {Spatial and Temporal Reasoning in the Generation of Dynamic Scene Descriptions}, pages = {107--115} } @InCollection{Calvanese98a, author = "D. Calvanese and M. Lenzerini and D. Nardi", booktitle = "Logics for Databases and Information Systems", title = "Description Logics for Conceptual Data Modelling", chapter = 1, publisher = "Kluwer", year = 1998, editor = "J. Chomicki and G. Saake" } @inproceedings{Cambell:95a, crossref = {bmvc:95}, author = {Neil W. Campbell and William P.J. Mackeown and Barry T. Thomas and Tom Troscianko}, title = {Automatic Interpretation of Outdoor Scenes}, booktitle = {297--306}, volume = 1 } @Inproceedings{Caprotti93a, author = "Olga Caprotti", title = "{RISC-CLP($\mathcal{R}$-\textit{Trees})}: {RISC-CLP(Real)} Handles Symbolic Functions", editor = "A. Miola", booktitle = "{DISCO'93}: International Symposium on Design and Implementation of Symbolic Computation Systems", publisher = Springer-Verlag, year = 1993 } @InProceedings{Carnahan96, author = {John Carnahan and Li, Song-gang and Carlo Costantini and Yeya T. Tour\'{e} and Charles E. Taylor}, title = {Computer simulation of dispersal by {\em Anopheles gambiae s.l.} in {W}est {A}frica}, booktitle = {Artificial Life V}, pages = {387-394}, year = 1996, editor = {C. G. Langton and K. Shimohara}, publisher = {MIT Press, Cambridge, MA} } @book{Carnap58a, author = {Carnap, R}, address = {New York}, note = {translated by H. Meyer and J. Wilkinson}, publisher = {Dover}, title = {Introduction to Symbolic Logic and its Applications}, year = {1958} } @incollection{Casadio88a, author = {C. Casadio}, booktitle = {Categorial Grammars and Natural Language Structures}, editor = {R.T. Oehrle and E. Bach and D. Wheeler}, pages = {95-123}, publisher = {Reidel}, title = {Semantic Categories and the Development of Categorial Grammars}, year = {1988} } @book{Casati93a, author = {Casati, R and Varzi, A}, address = {Cambridge, MA}, note = {To Appear.}, publisher = {MIT Press}, title = {Holes and Other Superficialities}, year = {1993} } @book{Casati94a, author = {Casati, R and Varzi, A}, address = {Cambridge, MA}, publisher = {MIT Press}, title = {Holes and Other Superficialities}, year = {1994} } @book{Casati99pp, author = {Casati, R. and Varzi, A. C.}, publisher = {MIT press}, title = {Parts and Places}, year = {1999} } @book{Castleman:79a, author= {K.R. Castleman}, title= {Digital Image Processing}, publisher= {Prentice Hall}, year= 1979 } @article{Catach91a, author = {L. Catach}, journal = {Journal of Automated Reasoning}, number = {7}, title = {TABLEAUX: A General Theorem Prover for Modal Logics}, year = {1991} } @article{Causey91a, author = {Causey, R L}, journal = {Minds and Machines}, pages = {437-458}, title = {The epistemic basis of defeasible reasoning}, volume = {1}, year = {1991}, owner = {john} } @Book{Caviness95a, author = {B.F. Caviness and J.R. Johnson}, title = {Quantifier Elimination and Cylindrical Algebraic Decomposition}, publisher = {Springer-Verlag}, year = {1995} } @book{Charniak85a, author = {Charniak, E and McDermott, D}, publisher = {Addison Wesley}, title = {Introduction to Artificial Intelligence}, year = {1985} } @book{Chellas80a, author = {Chellas, B F}, publisher = {Cambridge University Press}, title = {Modal Logic: An Introduction}, year = {1980}, owner = {exeterlib} } @inproceedings{Christensen90a, author = {Christensen, J}, address = {Boston}, booktitle = {Proceedings AAAI-90}, pages = {1004-1009}, title = {A hierarchical planner that generates its own hierarchies}, year = {1990}, owner = {john} } @book{Chvatal83a, author = "Chv{\'a}tal, V", title = "Linear Programming", publisher = "W.H. Freeman and Company", year = "1983", address = "New York" } @article{Clark:89a, author= {P. Clark and T. Niblett}, title= {The CN2 Induction Algorithm}, journal= {Machine Learning}, volume= 3, pages= {261--284}, year= 1989 } @incollection{Clarke78a, author = {Clarke, K}, address = {New York}, booktitle = {Logic and Databases}, editor = {Gallaire, H and Minker, J}, pages = {293-322}, publisher = {Plenum Press}, title = {Negation as failure}, year = {1978}, owner = {john} } @article{Clarke81a, author = {Clarke, B L}, journal = {Notre Dame Journal of Formal Logic}, month = {July}, number = {3}, pages = {204-218}, title = "A calculus of individuals based on {`connection'}", volume = {23}, year = {1981}, owner = {john} } @article{Clarke85a, author = {Clarke, B L}, journal = {Notre Dame Journal of Formal Logic}, number = {1}, pages = {61-75}, title = {Individuals and Points}, volume = {26}, year = {1985} } @InProceedings{Clementini91a, author = {Clementini, Eliseo and Di Felice, Paolino and D'Atri, Alessandro}, title = {A Spatial Data Model Underlying Human Interaction with Object-Oriented Spatial Databases}, booktitle = {Proceedings of the IEEE 15th International Computer Software and Applications Conference, Tokyo, Japan}, pages = {11--13}, month = {September}, year = 1991 } @inproceedings{Clementini93a, author = {Clementini, E and Di Felice, P and Oosterom, P}, booktitle = {Advances in Spatial Databases, Proceedings of the 3rd International Symposium on Spatial Databases (SSD'93), Singapore}, editor = {Abel, D and Ooi, B C}, publisher = {Springer-Verlag}, series = {LNCS}, number ={692}, pages = {277-295}, title = {A small set of formal topological relationships suitable for end user interatction}, year = {1994} } @InProceedings{Clementini93b, author = {Clementini, Eliseo and Di Felice, Paolino}, title = {An Object Calculus for Geographic Databases}, booktitle = {Proceedings of the ACM/SIGAPP Symposium on Applied Computing, Indianapolis}, editor = {Deaton, E et all}, year = 1993, month = {February}, pages = {14--16} } @inproceedings{Clementini94aX-use--Clementini96a, author = {Clementini, E and Di Felice, P}, booktitle = {Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries,}, editor = {P Burrough and A M Frank}, publisher = {Taylor Francis}, title = {An algebraic model for spatial objects with undetermined boundaries}, year = {1994} } @article{Clementini94b, author = {Clementini, E and Sharma , J and Egenhofer, M J}, journal = {Computers and Graphics}, volume = {6}, pages = {815-822}, title = {Modeling topological spatial relations: strategies for query processing}, volume = {18}, year = {1994} } @article{Clementini95a, author = {Clementini, Eliseo and Di Felice, Paolino}, title = {A Comparison of Methods for Representing Topological Relationships}, journal = {Information Sciences}, volume = 3, pages = {149--178}, year = {1995} } @article{Clementini95b, author = {Clementini, Eliseo; Di Felice, Paolino and Califano, Gianluca}, title = {Composite Regions in Topological Queries}, journal = {Information Systems}, volume = 20, number = 6, pages = {33--48}, year = 1995 } @inproceedings{Clementini96a, author = {Clementini, E and Di Felice, P}, booktitle = {Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries,}, editor = {P Burrough and A M Frank}, publisher = {Taylor Francis}, title = {An algebraic model for spatial objects with undetermined boundaries}, year = {1996} } @article{Clementini96b, author = {Clementini, Eliseo and Di Felice, Paolino}, title = {A Model for Representing Topological Relationships Between Complex Geometric Features in Spatial Databases}, journal = {Information Sciences}, volume = 90, pages = {121--136}, year = {1996} } @techreport{Clementini96c, author = {Clementini, Eliseo and Di Felice, Paolino}, title = {Topological invariants for lines}, number = {R.96-05}, institution = {Department of Electrical Engineering, University of L'Aquila}, year = {1996} } @Article{Clementini97a, author = {Clementini, E and Di Felice, P}, title = "Approximate Topological Relations ", journal = "International Journal of Approximate Reasoning", year = 1997 } @inproceedings{Clementini:93a, crossref = {ssd:93}, author = {Clementini, E. and Di Felice, P. and van Oosterom, P.}, title = {A small set of formal topological relationships suitable for end-user interaction}, pages = {277--295} } @article{Clementini:95a, author = {Clementini, E and Di Felice, P}, title = {A comparison of methods for representing topological relationships}, journal = {Information Sciences}, year = 1995 , volume = 3, pages = {149--178} } @book{Clocksin87a, author = "Clocksin, W F and Mellish, C S", edition = {3rd, Revised and Extended}, note = {Originally 1981}, publisher = {Springer-Verlag}, title = {Programming in Prolog}, year = {1987}, owner = {john} } @InProceedings{Cohen98a, author = {P. R. Cohen}, title = {Dynamic Maps as Representations of Verbs}, booktitle = {Proceedings of the 13th European Conference on Artificial Intelligence}, pages = {145--149}, year = 1998, editor = {H. Prade}, publisher = {John Wiley \& Sons} } @article{Cohn87a, author = {Cohn, A G}, journal = {Journal of Automated Reasoning}, pages = {113-200}, title = {A more expressive formulation of many sorted logic}, volume = {3}, year = {1987} } @article{Cohn89a, author = {Cohn, A G}, journal = {Artificial Intelligence Review}, pages = {177--232}, title = {Approaches to Qualitative Reasoning}, volume = {3}, year = {1989} } @article{Cohn92a, author = {Cohn, A G}, journal = {Computers and Mathematics with Applications}, number = {6--9}, pages = {477--491}, title = {Completing Sort Hierarchies}, volume = {23}, year = {1992} } @inproceedings{Cohn93a, author = {Cohn, A G}, title = {Modal and Non Modal Qualitative Spatial Logics}, booktitle = {Proceedings of the Workshop on Spatial and Temporal Reasoning}, organization = {IJCAI-93}, year = 1993, editor = {Anger, F D and Guesgen, H M and van Benthem, J}, publisher = {IJCAI}, address = {Chamb\'ery} } @inproceedings{Cohn93b, author = {Cohn, A G and Randell, D A and Cui, Z and Bennett, B}, address = {Barcelona}, booktitle = {Qualitative Reasoning and Decision Technologies}, editor = {Carret\'{e}, N Piera and Singh, M G}, pages = {513--522}, publisher = {CIMNE}, title = {Qualitative Spatial Reasoning and Representation}, year = {1993}, abstract = { This paper presents a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from two primitive (but axiomatised) notions. The first primitive is the notion of two regions being connected, which allows eight mutually exhaustive and pairwise disjoint relations to be defined. The second primitive is the convex hull of a region which allows many more relations to be defined. We also present special purpose inference mechanisms for reasoning with this formalism, both statically and over time and discuss how these can be used to perform tasks such as spatial database querying and integrity checking, qualitative spatial simulation and planning. } } @inproceedings{Cohn93c, author = {Cohn, A G and Gotts, N M and Randell, D A and Cui, Z and Bennett, B and Gooday, J M}, booktitle = {Spatial and Temporal Reasoning in Geographical Information Systems}, editor = {Golledge, R G and Egenhofer, M J}, howpublished = {Specialist Meeting on Time in Geographic Space, Lake Arrowhead, California}, publisher = {Elsevier}, title = {Exploiting Temporal Continuity in Temporal Calculi}, year = {1997} } @inproceedings{Cohn93d, author = {Cohn, A G}, booktitle = {Proceedings of the Workshop on Spatial and Temporal Reasoning, IJCAI-93}, editor = {Anger, F D and Guesgen, H W and van Benthem, J}, publisher = {IJCAI}, title = {Modal and Non-Modal Qualitative Spatial Logics}, year = {1993}, abstract = { In this paper we review previous work on non modal spatial logics and explore a corresponding modal spatial logic. Furthermore we present an initial classification of kinds of spatially indexed propositions. } } @article{Cohn94a, author = {Cohn, A G and Randell, D A and Cui, Z}, booktitle = {Formal Ontology in Conceptual Analysis and Knowledge Representation}, editor = {Guarino, N and Poli, R}, journal = {Journal of Human-Computer Studies}, note = {Will be included in a special issue on Formal Ontology and Knowledge Representation}, title = {Taxonomies of Logically Defined Qualitative Spatial Relations}, year = {To appear}, abstract = { This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from to primative (but axiomatised) notions. The first primitive is the notion of two regions being connected, which allows eight mutually exhaustive and pairwise disjoint relations to be defined. The second primative is the convex hull of a region which allows many more regions to be defined. We also consider the development of the useful notions of composition tables for the defined relations and networks specifying continuous transitions between pairs of regions. We conclude by discussing what kind of criteria to apply when deciding how fine a taxonomy to create. } } @inproceedings{Cohn94b, author = {Cohn, A G and Randell, D A and Cui, Z}, title = {Taxonomies of Logically Defined Qualitative Spatial Relations}, booktitle = {Formal Ontology in Conceptual Analysis and Knowledge Representation}, year = 1994, editor = {N Guarino and R. Poli}, publisher = {Kluwer} } @inproceedings{Cohn94c, author = {Cohn, A G and Gooday, J M and Bennett, B}, address = {Vienna}, booktitle = {Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium}, editor = {Casati, R and Smith, B and White, G}, publisher = {H\"older-Pichler-Tempsky}, title = {A Comparison Of Structures In Spatial And Temporal Logics}, year = {1994}, abstract = { In this paper we discuss a number of features common to temporal interval calculus and spatial region calculi. We examine composition (or transitivity) tables for such calculi and show how these may be generated efficiently. Freksa's conceptual neighbourhood-based reasoning technique for interval calculus \cite{Freksa92a} is extended and applied to the spatial calculii of \cite{Leeds92a}. Our analysis suggests that Freksa's criteria for choosing a suitable set of conceptual neighbourhoods with which to reason may be innapropriate and we suggest an alternative scheme that yields even more compact neighbourhood-based composition tables. Finally, we show how conceptual neighbourhood structure might be determined using composition table entries and remark on the role Galton's notion of dominance. } } @inproceedings{Cohn94d, author = {Cohn, A G and Gooday, J M}, booktitle = {Proceedings of AAAI-94 Spatial and Temporal Reasoning Workshop}, editor = {Anger, F D and Loganantharaj, R}, title = {Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic}, year = {1994} } @inproceedings{Cohn94e, author = {Cohn, A G and Gotts, N M}, booktitle = {Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries,}, editor = {P Burrough and A M Frank}, note = {To appear}, publisher = {Francis Taylor}, title = {The `Egg-Yolk' representation of regions with indeterminate boundaries \typeout{*** REF Leeds94f NOW SUPERCEEDED BY REF Leeds96a ***}}, year = {1995} } @inproceedings{Cohn94f, author = {Cohn, A G and Gotts, N M}, booktitle = {Topological Foundations of Cognitive Science}, editor = {Eschenbach, C and Habel, C and Smith, B}, title = {A theory of spatial regions with indeterminate boundaries}, year = {1994} } @inproceedings{Cohn94g, author = {Cohn, A G and Gotts, N M}, booktitle = {Proceedings of {G}aithesburg Workshop on GIS}, month = dec, publisher = {ACM}, title = {Spatial Regions with Undetermined Boundaries}, year = {1994} } @article{Cohn95a, author= {Cohn, A G and Randell, D A and Cui, Z}, title= {Taxonomies of Logically Defined Qualitative Spatial Relations}, editor= {Guarino, N and Poli, R}, journal= {International Journal of Human-Computer Studies, special issue on Formal Ontology in Comceptual Analysis and Knowledge Representation}, volume= 43, number= {5--6}, pages= {831--846}, note= {Originally scheduled to appear in a book from a workshop held in Padova in 1993, but for contractual reasons the book never appeared, so this special journal issue of the workshop was produced}, year= {1995} } @article{Cohn95b, author = {Cohn, A G and Gooday, J M and Bennett, B and Gotts, N M}, journal = {AI Review}, title = {A Logical Approach to Representing and Reasoning about Space}, volume = {9}, pages = {255--259}, year = {1995} } @inproceedings{Cohn95c, author = {Cohn, A G}, booktitle = {Proc COSIT95}, editor = {A M Frank}, pages = {311--326}, publisher = {Springer Verlag}, series = {LNCS}, title = {A Hierarchcial Representation of Qualitative Shape based on Connection and Convexity}, year = {1995} } @article{Cohn95d, author = {Cohn, A G and Randell, D A and Cui, Z}, journal = {Int. J of Human-Computer Studies}, pages = {831--846}, title = {Taxonomies of Logically defined Qualitative Spatial Relations}, volume = {43}, year = {1995} } @Article{Cohn95e, author = {Cohn, A G}, title = {The Challenge of Qualitative Spatial Reasoning}, journal = {Computing Surveys}, year = {1995} } @InProceedings{Cohn96KRvague, author = {Anthony G Cohn and Nicholas Mark Gotts}, title = {Representing Spatial Vagueness: a mereological approach}, booktitle = {Proceedings of the 5th conference on principles of knowledge representation and reasoning (KR-96)}, publisher = {Morgan Kaufmann}, pages = {230--241}, editor = {L C Aiello, J Doyle and S Shapiro}, year = 1996 } @InProceedings{Cohn96a, author = {Cohn, A G and Gotts, N M}, title = {A Mereological Approach to Representing Spatial Vagueness}, booktitle = {Principles of Knowledge Representation and Reasoning, Proc. 5th Conference}, editor = {L C Aiello, J Doyle and S Shapiro}, year = {1996}, publisher = {Morgan Kaufmann}, pages = {230--241}, } @inproceedings{Cohn96b, author = {Cohn, A G and Gotts, N M}, booktitle = {Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries}, editor = {P Burrough and A M Frank}, pages = {171--187}, publisher = {Francis Taylor}, title = {The `Egg-Yolk' representation of regions with indeterminate boundaries}, year = {1996} } @InProceedings{Cohn96c, author = {Cohn, A G}, title = {Calculi for Qualitative Spatial Reasoning}, booktitle = {Artificial Intelligence and Symbolic Mathematical Computation}, key = {}, editor = {J Calmet, J A Campbell and J Pfalzgraf}, volume = {LNCS 1138}, number = {}, series = {}, year = {1996}, organization = {}, publisher = {Springer Verlag}, address = {}, month = {}, pages = {124--143}, note = {} } @inproceedings{Cohn96d, author = {Cohn, A G }, booktitle = {Artificial Intelligence and Symbolic Mathematical Computation}, pages = {124--143}, publisher = {Springer Verlag}, series = {LNCS}, editor = {J Calmet, J A Campbell, J Pfalzgraf}, title = {Calculi for Qualitative Spatial Reasoning}, volume = {1138}, year = {1996} } @Article{Cohn97a, author = {Cohn, A G and Bennett, B and Gooday, J and Gotts, N}, title = {\mbox{RCC}: a calculus for Region based Qualitative Spatial Reasoning}, journal = {GeoInformatica}, year = {1997}, pages = {275--316}, volume = {1} } @InProceedings{Cohn97b, author = "A.G. Cohn", title = "Qualitative spatial representation and reasoning techniques", editor = "G. Brewka and C. Habel and B. Nebel", volume = 1303, series = "LNAI", pages = "1--30", booktitle = "Proceedings of KI-97", year = 1997, publisher = "Springer Verlag" } @inproceedings{Cohn:93a, author = {A. G. Cohn}, title = {Modal and Non Modal Qualitative Spatial Logics}, booktitle = {Proceedings of the Workshop on Spatial and Temporal Reasoning}, organization = {IJCAI-93}, year = 1993, editor = {F.D. Anger and H.W. Guesgen and J. van Benthem}, publisher = {IJCAI}, address = {Chambery} } @inproceedings{Cohn:93b, author = {A. G. Cohn and D. A. Randell and Z. Cui and B. Bennett}, title = {Qualitative Spatial Reasoning and Representation}, booktitle = {Qualitative Reasoning and Decision Technologies}, organization = {CIMNE}, year = 1993, editor = {P. Carrete and M.G. Singh}, address = {Barcelona} } @inproceedings{Cohn:94a, author = {A. G. Cohn and D. A. Randell and Z. Cui}, title = {Taxonomies of Logically Defined Qualitative Spatial Relations}, booktitle = {Formal Ontology in Conceptual Analysis and Knowledge Representation}, year = 1994, editor = {N Guarino and R. Poli}, publisher = {Kluwer} } @article{Cohn:95a, author= {Cohn, A G and Randell, D A and Cui, Z}, title= {Taxonomies of Logically Defined Qualitative Spatial Relations}, editor= {Guarino, N and Poli, R}, journal= {International Journal of Human-Computer Studies, special issue on Formal Ontology in Comceptual Analysis and Knowledge Representation}, volume= 43, number= {5--6}, pages= {831--846}, note= {Originally scheduled to appear in a book from a workshop held in Padova in 1993, but for contractual reasons the book never appeared, so this special journal issue of the workshop was produced}, year= {1995}, } @InProceedings{Cohn98ecai, author = "Cohn, A. G. and Varzi, A.", title = "Connection Relations in Mereotopology", booktitle = "Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98)", pages = {150--154}, month = {August}, publisher = {Wiley}, editor = {H. Prade}, year = 1998 } @InProceedings{Collins75a, author = {G. Collins}, title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition}, booktitle = {Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages}, volume = {33}, series = {LNCS}, year = {1975}, publisher = {Springer-Verlag}, pages = {134--183} } @article{Collins91a, author = "G. E. Collins and H. Hong", title = {Partial Cylindrical Algebraic Decomposition for Quantifier Elimination}, journal = jsc, volume = 12, number = 3, month = sep, year = 1991, pages = {299--328} } @inproceedings{Cootes:92a, crossref= {bmvc:92}, author= {T.F. Cootes and C.J. Taylor and D.H. Cooper and J. Graham}, title= {Training Models of Shape from Sets of Examples}, pages= {9--18} } @inproceedings{Cootes:92b, crossref= {bmvc:92}, author= {T.F. Cootes and C.J. Taylor}, title= {Active Shape Models --- `Smart Snakes'}, pages= {276--285} } @inproceedings{Cootes:95a, crossref = {bmvc:95}, author = {T.F. Cootes and E.C. Di Mauro and C.J. Taylor and A. Lanitis}, title = {Flexible 3D Models from Uncalibrated Cameras}, pages = {147--156}, volume = 1 } @article{Corrall:92a, author= {D. R. Corrall and A. G. Hill}, title= {Visual Surveillance}, journal= {GEC Review}, volume= 8, number= 1, pages= {15--27}, year= 1992 } @incollection{Cosmides92a, author = {Cosmides, L and Tooby, J and Barkow, J H}, booktitle = {The Adapted Mind: Evolutionary Psychology and the Generation of Culture}, editor = {Barkow, J H and Cosmides, L and Tooby J}, pages = {3-14}, publisher = {Oxford University Press}, title = {Evolutionary Psychology and Conceptual Integration}, year = {1992} } @inproceedings{Cranefield92a, author = {Cranefield, S J S}, address = {Vienna}, booktitle = {Proceedings ECAI-92}, pages = {633-637}, title = {A logical framework for practical planning}, year = {1992}, owner = {john} } @InProceedings{Cristani00kr, author = "M. Cristani and A.G. Cohn and B. Bennett", title = "Spatial Locations via Morpho-Mereology", booktitle = "Proceedings of KR'2000", year = 2000, note = "To appear" } @book{Croom78a, author = {Croom, F H}, publisher = {Springer-Verlag}, title = {Basic Concepts of Algebraic Topology}, year = {1978} } @inproceedings{Cui92a, author = {Cui, Z and Cohn, A G and Randell, D A}, title = {Qualitative Simulation Based On A Logical Formalism of Space and Time}, booktitle = {Proceedings of AAAI-92}, year = 1992, publisher = {AAAI Press}, address = {Menlo Park, California}, pages = {679--684} } @inproceedings{Cui92b, author = {Cui, Z and Cohn, A G and Randell, D A}, address = {Heriot-Watt University, Scotland}, booktitle = {QR--92}, title = {Qualitative Simulation Based on a Logic of Space and Time}, year = {1992}, abstract = { We describe an envisionment-based simulation program. The program bears some design similarities to Kuipers' QSIM algorithm, but differs in the underlying ontology and in the implemented theory in the envisioning process. The program implements part of an axiomatic, first order theory that has been developed to represent and reason about space and time. Topological information is extracted from the modelled domain and is expressed in the theory as sets of distinct topological relations holding betwen sets of objects. These form the qualitative states in the underlying theory and simulation. Processes in the theory are represented in the envisionment as paths in the envisionment tree. We show the feasability of this particular ontology in the implementation of a simulation program derived from a logic-based formal theory. A description of the algorithm is given and the whole is illustrated with an example of a simulation of the processes phagocytosis and exocytosis - two processes used by unicellular organisms for garnering food and expelling waste material respectively. Finally we show how the program can be viewed as a specialized theorem prover by mapping program transformations to logical inferences in the modelling theory. } } @inproceedings{Cui92c, author = {Cui, Z and Cohn, A G and Randell, D A}, address = {Menlo Park, California}, booktitle = {Proceedings AAAI-92}, pages = {679--684}, publisher = {AAAI Press}, title = {Qualitative Simulation Based on a Logical Formalism of Space and Time}, year = {1992}, abstract = { We describe an envisionment-based qualitative simulation program. The program implements part of an axiomatic, first order theory that has been developed to represent and reason about space and time. Topological information from the modelled domain is expressed as sets of distinct topological relations holding between sets of objects. These form the qualitative states in the underlying theory and simulation. Processes in the theory are represented as paths in the envisionment tree. The algorithm is illustrated with an example of a simulation of phagocytosis and exocytosis - two processes used by unicellular organisms for garnering food and expelling waste material respectively. } } @incollection{Cui93a, author = {Cui, Z and Cohn, A G and Randell, D A}, title = {Qualitative and Topological Relationships}, booktitle = {Advances in Spatial Databases}, year = 1993, editor = {D. Abel and B.C. Ooi}, publisher = {Springer-Verlag}, address = {Berlin}, pages = {296--315}, series = {Lecture Notes in Computer Science No. 692} } @incollection{Cui93b, author = {Cui, Z and Cohn, A G and Randell, D A}, address = {Berlin}, booktitle = {Advances in Spatial Databases}, editor = {Abel, D and Ooi, B C}, pages = {293--315}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, title = {Qualitative and Topological Relationships in Spatial Databases}, volume = {692}, year = {1993}, abstract = { In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigorousness, clear semantics and sound inference mechanism. We also show how the formalism can be extended to include orientation and metrical information. Comparisons with other formalisms are discussed. } } @inproceedings{Cui:92a, author = {Z. Cui and A. G. Cohn and D. A. Randell}, title = {Qualitative Simulation Based On A Logical Formalism of Space and Time}, booktitle = {Proceedings of AAAI-92}, year = 1992, publisher = {AAAI Press}, address = {Menlo Park, California}, pages = {679--684} } @incollection{Cui:93a, author = {Z. Cui and A. G. Cohn and D. A. Randell}, title = {Qualitative and Topological Relationships}, booktitle = {Advances in Spatial Databases}, year = 1993, editor = {D. Abel and B.C. Ooi}, publisher = {Springer-Verlag}, address = {Berlin}, pages = {296--315}, series = {Lecture Notes in Computer Science No. 692} } @inproceedings{Culhane:92a, crossref = {eccv:92}, author = {S.M. Culhane and J.K. Tsotsos}, title = {An Attentional Prototype for Early Vision}, pages = {551--562} } @incollection{Davidson67a, author = "Davidson, D", booktitle = {The Logic of Decision and Action}, editor = {N. Rescher}, journal = {Journal of Philosophy}, note = {Reprinted in {\em Essays on Actions and Events}, Oxford University Press, 1980}, publisher = {University of Pitsburgh Press}, title = {The Logical Form of Action Sentences}, year = {1967} } @article{Davidson67b, author = "Davidson, D", journal = {Journal of Philosophy {\bf 64}}, note = {Reprinted in {\em Essays on Actions and Events}, Oxford University Press, 1980}, number = {64}, title = {Causal Relations}, volume = {64}, year = {1967} } @incollection{Davidson80a, author = "Davidson, D", address = {Oxford}, booktitle = {Essays on Actions and Events}, chapter = {6}, pages = {196 - 148}, publisher = {Clarendon Press}, title = {The Logical Form of Action Sentences}, year = {1980}, owner = {john} } @InProceedings{Davis87a, author = {Davis, E.}, title = {A framework for qualitative reasoning about solid objects}, booktitle = {Proceedings of the Workshop on Space Telerobotics}, pages = {369--375}, year = 1987, editor = {G. Rodriguez}, organization = {NASA and JPL}, note = {Reprinted in \cite{Weld90a}} } @article{Davis88a, author = {Davis, E.}, journal = {AI in Engineering}, number = {3}, pages = {125-138}, title = {A logical framework for commonsense predictions of solid object behavior}, volume = {3}, year = {1988} } @misc{Davis96b, author = {Davis, E}, month = {June}, title = {Personal communication.}, year = {1996} } @Unpublished{Davis97a, author = {Davis, E. and Gotts, N.M. and Cohn, A G}, title = {Constraint networks of topological relations and convexity}, institution = {Courant Institute, New York University}, year = 1997 } @TechReport{Davis97b, author = {Davis, E and Gotts, N M and Cohn, A G}, title = {Constraint networks of topological relations and convexity}, institution = {Courant Institute, New York University}, year = 1997 } @unpublished{Davis:96a, author= {Ernest Davis and Anthony G. Cohn and Nick Gotts}, title= {Constraint Networks of Topological Relations and Convexity}, note= {In preparation}, year= {1996} } @Article{Davis99convexity, author = "Ernest Davis and Nick Gotts and Anthony G. Cohn", title = "Constraint Networks of Topological Relations and Convexity", journal = "Constraints", volume = 4, number = 3, pages = "241-280", year = 1999 } @inproceedings{DavisE87a, author = {Davis, E}, booktitle = {Proceedings of the Workshop on Space Telerobotics}, editor = {Rodriguez, G}, pages = {369-375}, publisher = {NASA and JPL}, title = {A framework for reasoning about solid objects}, year = {1987}, owner = {john} } @incollection{DavisE90a, author = {Davis, E.}, booktitle = {Readings in Qualitative Reasoning About Physical Systems}, editor = {De Kleer, J and Weld, D S}, note = {Revised version of technical report, Dept. Computer Science, New York University}, pages = {422-434}, publisher = {Morgan Kaufmann}, title = {Order of magnitude reasoning in qualitative differential equations}, year = {1990}, owner = {john} } @book{DavisE90b, author = {Davis, E}, address = {San Mateo}, publisher = {Morgan Kaufmann}, title = {Representations of Commonsense Knowledge}, year = {1990}, owner = {john}, libcode = "Comp S-2.04 DAV" } @inproceedings{DavisR83a, author = {Davis, R}, booktitle = {Proceedings AAAI-83}, pages = {88-94}, title = {Diagnosis via causal reasoning: Paths of interaction}, year = {1983}, owner = {john} } @inproceedings{DavisWS91a, author = {Davis, W S and Carnes, J R}, address = {Cambridge Ma}, booktitle = {Proceedings KR-91}, month = {April}, pages = {111-117}, title = {Clustering temporal intervals to generate reference hierarchies}, year = {1991}, owner = {john} } @InProceedings{deFloriani94a, author = {de Floriani, L. and Marzano, P. and Puppo, E.}, title = {Hierarchical terrain models: survey and formalization}, booktitle = {Proceedings of SAC'94}, pages = {323--327}, year = 1994, address = {Phoenix, AR, USA} } @article{DeJong:86, author= {G. DeJong and R.J. Mooney}, title= {Explanation-based Learning: An Alternative View}, journal= {Machine Learning}, volume= 1, pages= {145-176}, year= 1986 } @inproceedings{Dean86a, author = {Dean, T L}, booktitle = {Reasoning about actions and plans -- proceedings of the 1986 workshop}, pages = {245-266}, title = {Intractability and time-dependent planning}, year = {1986}, owner = {john} } @article{Dean87a, author = {Dean, T L and McDermott, D V}, journal = {Artificial Intelligence}, pages = {1-55}, title = {Temporal data base management}, volume = {32}, year = {1987}, owner = {john} } @inproceedings{Dean88a, author = {Dean, T and Boddy, M}, booktitle = {Proceedings AAAI-88}, pages = {49-54}, title = {An analysis of time-dependent planning}, year = {1988}, owner = {john} } @article{Dean88b, author = {Dean, T and Firby, J and Miller, D}, journal = {Computational Intelligence}, number = {4}, pages = {381-398}, title = {Hierarchical planning involving deadline, travel time and resources}, volume = {4}, year = {1988}, owner = {john} } @article{Dean88c, author = {Dean, T and Boddy, M}, journal = {Artificial Intelligence}, pages = {375-399}, title = {Reasoning about partially ordered events}, volume = {36}, year = {1992}, abstract = { This paper describes a class of temporal reasoning problems involving events whose order is not completely know. We examine the complexity of such problems and show tat for all but trivial cases these problems are likely to be intractable. As an alternative to a complete, but potentially exponential-time decision procedure, we provide a partisl decision procedure that reports useful results and runs in polynomial time.}, owner = {john} } @book{Dean91a, author = {Dean, T and Wellman, M}, address = {San Mateo, California}, publisher = {Morgan Kaufmann}, title = {Planning and Control}, year = {1991} } @book{Dean95a, author = {Dean, T and Allen, J and Aloimonos, Y}, publisher = {Benjamin/Cummings}, title = {Artificial Intelligence: Theory and Practice}, year = {1995} } @InProceedings{DeHoop92a, author = {De Hoop, S. and P. van Oosterom}, title = {Storage and manipulation of topology in Postgres}, booktitle = {Proceedings of EGIS-92, Munich}, year = 1992 } @article{Delgrande88a, author = {Delgrande, J P}, journal = {Artificial Intelligence}, pages = {63-90}, title = {An approach to default reasoning based on a first-order conditional logic}, volume = {36}, year = {1988}, owner = {john} } @inproceedings{Delgrande91a, author = {Delgrande, J P and Jackson, W K}, address = {Cambridge, Ma}, booktitle = {Proceedings KR-91}, month = {April}, pages = {118-127}, title = {Default logic revisited}, year = {1991}, owner = {john} } @inproceedings{Demri94a, author = {S. Demri}, booktitle = {Logics in Artificial Intelligence}, editor = {C. MacNish and D. Pearce and L.M. Pereira}, note = {Proceedings of the workshop JELIA'94}, publisher = {Springer-Verlag}, series = {Lecture Notes in Artificial Intelligence}, title = {Efficient Strategies for Automated Reasoning in Modal Logics}, volume = {833}, year = {1994} } @inproceedings{Denecker92a, author = {Denecker, M and Missiaen, L and Bruynooghe, M}, address = {Vienna}, booktitle = {Proceedings ECAI-92}, pages = {384-388}, title = {Temporal reasoning with Abductive Event Calculus}, year = {1992}, owner = {john} } @ARTICLE{DeNivelleSchmidtHustadt00, AUTHOR = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.}, TITLE = {Resolution-Based Methods for Modal Logics}, JOURNAL = {Logic Journal of the IGPL}, year = 2000, NOTE = {To appear}, ISSN = {1367-0751}, } @Book{Descartes1637a, author = {Descartes, R}, title = {Discours de la M\'ethode}, publisher = {}, year = {1637} } @article{Dillenburg94a, author = {Dillenburg, J F and Nelson, P C}, journal = {Artificial Intelligence}, pages = {165-178}, title = {Perimeter Search}, volume = {65}, year = {1994} } @techreport{Dix90a, author = {Dix, J}, institution = {Universit\"{a}t Karlsruhe, Institut f\"{u}r Logik, Komplexit\"{a}t und Deduktionssysteme}, month = {September}, number = {Interner Bericht 15/90}, title = "Some tendencies in non-monotonic reasoning: {I.} {The} main approaches", year = {1990}, owner = {john} } @techreport{Dixon92a, author = {Dixon, S and Foo, N Y}, institution = {Basser Department of Computer Science, University of Sydney}, month = {June}, number = {441}, title = "Encoding the {ATMS} in {AGM} logic (revised)", year = {1992}, owner = {john} } @Article{Dixon98a, author = "Dixon, C and Fisher, M and Wooldridge, M", title = "Resolution for Temporal Logics of Knowledge", journal = "Journal of Logic and Computation", year = 1998, volume = 8, number = 3 } @InProceedings{Dobkin87a, author = {D. Dobkin and M. Laszlo}, title = {Primitives for the Manipulation of Three-Dimensional Subdivisions}, booktitle = {Proceedings of the 3rd ACM Symposium on Computational Geometry Models, Canada}, year = {1987}, pages = {86--99} } @inproceedings{Doherty92a, author = {Dohert, P and Lukaszewicz, W}, address = {Vienna}, booktitle = {Proceedings ECAI-92}, pages = {294-298}, title = "{FONML3} -- A first order non-monotonic logic with explicit defaults", year = {1992}, owner = {john} } @inproceedings{Doherty94a, author = {Doherty, P}, booktitle = {Proc. ECAI-94}, pages = {401 - 405}, title = {Reasoning about Action and Change using Occlusion}, year = {1994} } @article{Donini90a, author = {Donini, F M and Lenzerini, M and Nardi, D and Pirri, F and Schaerf, M}, journal = {Artificial Intelligence Review}, pages = {163-210}, title = {Nonmonotonic reasoning}, volume = {4}, year = {1990}, owner = {john} } @InCollection{Donini96a, author = {F. Donini and M. Lenzerini and M. Nardi and A. Schaerf}, title = {Reasoning in Description Logics}, booktitle = {Principles of Knowledge Representation}, publisher = {CSLI Publications}, year = 1996, editor = {Brewka, G.}, series = {Studies in Logic Language and Information}, address = {Stanford University} } @book{Donnellan68a, author = {Donnellan, T}, publisher = {Pergamon Press}, title = {Lattice Theory}, year = {1968}, owner = {Exeter university library} } @techreport{Dornheim95a, author = {Dornheim, C}, institution = {Universitaet Hamburg}, title = {Vergleichende Analyse topologischer Ansaetze des qualitativen raeumlichen Siessens}, type = {Studienarbeit, Fachereich Informatik}, year = {1995} } @techreport{Dornheim96a, author = {Dornheim, C}, institution = {Universit\"at Hamburg}, title = {Vergleichende Analyse topologischer Ans\"atze des qualitativen r\"umlichen Schli\"esens}, type = {Studienarbeit, Fachereich Informatik}, number = {253}, year = {1996} } @InProceedings{Dornheim98kr, author = {C. Dornheim}, title = {Undecidability of Plane Polygonal Mereotopology}, editor = "Anthony G. Cohn and Leonard Schubert and S. Shapiro", booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98)", pages = {342--353}, year = 1998, publisher = "Morgan Kaufman" } @Book{Dorwart66a, author = {Dorwart, H L}, title = {The Geometry of Incidence}, publisher = {Prentice-Hall}, year = {1966}, } @Book{Dowty81a, author = {D.R. Dowty and R.E. Wall and S. Peters}, title = {Introduction to Montague Semantics}, publisher = {Kluwer}, address = {Dordrecht}, year = 1981, volume = 11, series = {Studies in Linguistics and Philosophy} } @article{Doyle79a, author = {Doyle, J}, journal = {Artificial Intelligence}, pages = {231-272}, title = {A truth maintenance system}, volume = {12}, year = {1979}, owner = {john} } @Book{Dreben79a, author = {B. Dreben and W. Goldfarb}, title = {The Decision Problem: solvable cases of quantificational formulas}, publisher = {Addison-Wesley}, year = 1979 } @inproceedings{Dressler99a, author = {Dressler, O}, address = {Grassau, FRG}, booktitle = {Non-Monotonic Reasoning (Proceedings of the 2nd International Workshop)}, month = {June}, pages = {143-163}, publisher = {Springer-Verlag}, series = {Lecture notes in Artificial Intelligence}, title = "An extended basic {ATMS}", volume = {346}, year = {1988}, editors = {Reinfrank, M and de Kleer, J and Ginsberg, M L and Sandewall, E}, owner = {john} } @phdthesis{DuVerdier92a, title={R\'esolution de probl\`emes d'am\'enagement spatial fond\'ee sur la satisfaction de contraintes}, author={Du Verdier, F R}, school={Universit\'{e} Claude Bernard, Lyon I}, year={1992} } @inproceedings{DuVerdier93a, title={Solving geometric constraint satisfaction problem for spatial planning}, author="Du Verdier, F R", booktitle={Proceedings IJCAI}, pages={1564-1572}, year={1993}, owner={john} } @InCollection{Dubois88a, author = "D. Dubois and H. Prade", title = "An introduction to possibilistic and fuzzy logics", booktitle = "Non-Standard Logics for Automated Reasoning", publisher = "Academic Press", year = 1988, editor = "P.Smets and E.H.Mamdani and D.Dubois and H.Prade", xxaddress = "London" } @book{Duffy91a, author = {Duffy, D}, publisher = {Wiley}, title = {Priniples of Automated Theorem Proving}, year = {1991} } @book{Dummett73Frege, author = {Dummett, M.A.E.}, address = {London}, publisher = {Duckworth}, title = {{Frege:} philosophy of language}, year = {1973} } @article{Dummett75a, author = {Dummett, M}, journal = {Synth\`ese}, pages = {301-324}, title = {Wang's Paradox}, volume = {30}, year = {1975} } @book{Dummett77a, author = {Dummett, M.A.E.}, address = {Oxford}, publisher = {Clarendon Press}, series = {Oxford Logic Guides}, title = {Elements of Intuitionism}, year = {1977} } @incollection{Dunn90a, author = {Dunn, M J}, crossref = {Kyburg90a}, title = {The frame problem and relevant predication}, owner = {john} } @Article{Duentsch97a, author = {Ivo D{\"u}ntsch}, fullname= {Ivo D\"untsch}, title = "A logic for rough sets", journal = "Theoretical Computer Science", year = 1997, volume = 179, pages = "427--436" } @Article{Duentsch98rarcc, author = {Ivo D{\"u}ntsch and Hui Wang and Steve McCloskey}, title = "A relation-algebraic approach to the {Region Connection Calculus}", journal = "Theoretical Computer Science", year = "to appear" } @Article{Duentsch99a, author = {Ivo D{\"u}ntsch and Hui Wang and Steve McCloskey}, title = "Relation algebras in qualitative spatial reasoning", journal = "Fundamenta Informatica", year = 1999, volume = 39, pages = "229--248" } @book{Dupre87a, editor = {Dupr\'{e}, J}, publisher = {MIT Press}, title = {The Latest on the Best}, year = {1987} } @book{Edelsbrunner87a, author = {H. Edelsbrunner}, title = {Algorithms in Combinatorial Geometry}, publisher = {Springer Verlag}, year = {1987} } @Article{Edgington92a, author = "D. Edgington", fullname = "Dorothy Edgington", title = "Validity, uncertainty and vagueness", journal = "Analysis", year = 1992, volume = 52, pages = "193--204" } @InCollection{Edgington96a, author = "D. Edgington", fullname = "Dorothy Edgington", title = "Vagueness by Degree", booktitle = "Vagueness: a Reader", publisher = "MIT Press", year = 1996, editor = "R. Keefe and P. Smith", chapter = 16, pages = "294--316" } @inproceedings{Edwards93a, author = {G Edwards}, address = {Berlin}, booktitle = {Spatial Information Theory: A Theoretical Basis for GIS}, editor = {A U Frank and I Campari}, pages = {202-214}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, title = {The Voronoi Model and Cultural Space: Applications to the Social Sciences and Humanities}, volume = {716}, year = {1993} } @InProceedings{Egenhofer90a, author = "M. J. Egenhofer and J. R. Herring", title = "A mathematical framework for the definition of topological relationships (Extended Abstract)", pages = "803--813", booktitle = "Proceedings of the 4th International Symposium on Spatial Data Handling (SDH'90)", year = 1990, address = "Zurich", month = "July" } %was Egenhofer91a @article{Egenhofer91pstr, author = {Egenhofer, M and Franzosa, R}, journal = ijgis, number = {2}, pages = {161-174}, title = {Point-set Topological Spatial Relations}, volume = {5}, year = {1991} } % was Egenhofer91b @inproceedings{Egenhofer91reason, author = {Egenhofer, M}, booktitle = {Proceedings of the Second Symposium on Large Spatial Databases, SSD'91 (Zurich, Switzerland). Lecture Notes in Computer Science 525}, editor = {Gunther, O and Schek, H J}, pages = {143-160}, title = {Reasoning about Binary Topological Relations}, year = {1991} } @techreport{Egenhofer91c, author = {Egenhofer, M and Herring, J}, institution = {Department of Surveying Engineering, University of Maine}, title = {Categorizing binary topological relationships between regions, lines and points in geographic databases}, year = {1991} } @incollection{Egenhofer92a, author = {Egenhofer, M J and Al-Taha, K K}, address = {Berlin}, booktitle = {Theories and Methods of Spatio-temporal Reasoning in Geographic Space}, editor = {Frank, A U and Campari, I and Formentini, U}, pages = {196-219}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Reasoning about Gradual Changes of Topological Relationships}, volume = {639}, year = {1992} } % was Egenhofer93a @InProceedings{Egenhofer93rz, author = {Egenhofer, Max J. and Sharma, Jayant}, title = {Topological relations between regions in $R^{2}$ and $Z^{2}$}, booktitle = {Proceedings of the 3rd International Symposium on Advances in Spatial Databases , SSD'93, Singapore}, series = {LNCS}, volume = 692, month = {June}, year = 1993, editor = {David, Abel and Ooi, Ben} } % was Egenhofer94a @article{Egenhofer94holes, author = {Egenhofer, M J and Clementini, E and Di Felice, P}, journal = {Int. Journal of Geographical Information Systems}, number = {2}, pages = {129-144}, title = {Toplogical relations between regions with holes}, volume = {8}, year = {1994} } @inproceedings{Egenhofer94b, author = {M Egenhofer}, booktitle = {Procedings of the FISI workshop on the Toplogical Foundations of Cognitive Science}, publisher = {University of Hamburg}, series = {Reports of the Doctoral Series in Cognitive Science}, title = {Topological Similarity}, volume = {37}, year = {1994} } @inproceedings{Egenhofer94c, author = {Egenhofer, M and Herring, J}, publisher = {National Center for Geographic Information and Analysis, Santa Barbara}, title = {Categorizing topological spatial relationships between point, line and area objects}, booktitle = {The 9-intersection: formalism and its use for natural language spatial predicates, Technical Report 94-1}, year = {1994}, editors = {Egenhofer, M J and Mark, D and Herring, R} } % was Egenhofer95a @article{Egenhofer95equiv, author = {Egenhofer, M J and Franzosa, R D}, journal = {International Journal of Geographical Information Systems}, number = {2}, pages = {133-152}, title = {On the equivalence of topological relations}, volume = {9}, year = {1995} } @incollection{Egenhofer95g, author = {Egenhofer, M J and Mark, D}, address = {Berlin}, booktitle = {Spatial Information Theory: a theoretical basis for {GIS}}, editor = {Frank, A U and Kuhn, W}, pages = {1-16}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Naive Geography}, volume = {988}, year = {1995} } @Article{Egenhofer95neighbourhoods, author = {Egenhofer, M.J. and Mark, D.M.}, title = {Modelling conceptual neighbourhoods of topological line-region relations}, journal = {International Journal of Geographical Information Systems}, year = 1995, volume = 9, pages = {555--565} } @inproceedings{Elkan93a, author = {Elkan, C}, booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI-93)}, pages = {698-703}, title = {The Paradoxical Success of Fuzzy Logic}, year = {1993} } @article{Elkan94a, author = {Elkan, C}, journal = {IEEE Expert}, month = {August}, note = {Followed by responses and a reply}, number = {4}, pages = {3-8}, title = {The Paradoxical Success of Fuzzy Logic}, volume = {9}, year = {1994} } @Article{Emerson86a, author = {E.A. Emerson and J.Y. Halpern}, title = {`Sometimes' and `not never' revisited: on branching time versus linear time temporal logics}, journal = {Journal of the ACM}, year = 1986, volume = 33, number = 1, pages = {151--178} } @inproceedings{Eschenbach93a, Author = {C. Eschenbach and W. Heydrich}, Title = {Classical Mereology and Restricted Domains}, BookTitle = {Proceedings of the International Workshop on Formal Ontology in Conceptual Analysis and Representation}, Editor = {Nicola Guarino and Roberto Poli}, Institution = {LADSEB-CNR}, Address= {Padova}, Pages = {205-217}, Year = 1993 } @inproceedings{ Eschenbach94a, Author = {Carola Eschenbach}, Title = {A mereotopological definition of point}, BookTitle = {Topological foundations of Cognitive Science, Papers from the Workshop at the FISI-CS}, Editor = {Carola. Eschenbach and Christopher Habel and Barry Smith}, Note = {Buffalo}, Year = 1994 } @proceedings{ Eschenbach94b, Editor = {Carola Eschenbach and Christopher Habel and Barry Smith}, Title = {Topological Foundations of Cognitive Science, Papers from the Workshop at the FISI-CS}, Note = {Buffalo (NY)}, Year = 1994 } @inproceedings{Escrig96a, title={Qualitative Spatial Orientation with Constraint Handling Rules}, author="Escrig, M T and Toledo, F", booktitle={Proceedings ECAI}, pages={486-490}, year={1996}, owner={john} } @inproceedings{Escrig96b, title={Enhancing Qualitative Relative Orientation with Qualitative Distance for Robot Path Planning}, author="Escrig, M T and Toledo, F", booktitle={Proceedings ICTA}, pages={174-182}, year={1996}, owner={john} } @phdthesis{Escrig97, title={Integration of Several Aspects of Space into the same model using CLP extended with CHRs in Qualitative Spatial Reasoning}, author={Escrig, M T}, school={Universitat Jaume I, Castellon}, year={1997} } @inproceedings{Escrig97a, title={Managing Orientation and Distance on Extended Objects in Qualitative Spatial Reasoning}, author="Escrig, M T and Toledo, F", booktitle={Proceedings IJCAI Workshop on Spatial and Temporal Reasoning}, year={1997}, owner={john} } @Article{Escrig97b, author = {Escrig, M T and Toledo, F}, title = {The Integration of Qualitative Orientation and Named Distances: Application to a Qualitative Navigation Simulator}, journal = {International Journal on Artificial Intelligence Tools, Issue on the best papers of ICTAI'96}, year = {1997} } @inproceedings{Eshghi88a, author = {Eshghi, K}, booktitle = {Proceedings 5th Int. Conf. on Logic Programming}, pages = {562-579}, title = {Abductive planning with event calculus}, year = {1988}, owner = {john} } @inproceedings{Etherington83a, author = {Etherington, D W and Reiter, R}, address = {Washington DC}, booktitle = {Proceedings 3rd AAAI}, month = {August}, pages = {104-108}, title = {On inheritance hierarchies with exceptions}, year = {1983}, owner = {john} } @article{Etherington84a, author = {Etherington, D W and Mercer, E R and Reiter, R}, journal = {Computational Intelligence}, pages = {11-15}, title = {On the adequacy of predicate circumscription for closed world reasoning}, volume = {1}, year = {1985}, owner = {john} } @inproceedings{Etherington87a, author = {Etherington, D W}, address = {Montreal}, booktitle = {Proceedings 10th IJCAI}, month = {July}, pages = {352-357}, title = {More on inheritance hierarchies with exceptions: Default theories and inferential distance}, year = {1987}, owner = {john} } @article{Etherington87b, author = {Etherington, D W}, journal = {Artificial Intelligence}, number = {1}, pages = {41-85}, title = {Formalizing nonmonotonic reasoning systems}, volume = {31}, year = {1987}, owner = {john} } @article{Etherington87c, author = {Etherington, D W and Mercer, R E}, journal = {Computational Intelligence}, pages = {94-99}, title = {Domain circumscription: a reevaluation}, volume = {3}, year = {1987}, owner = {john} } @book{Etherington88a, author = {Etherington, D W}, address = {Los Altos, CA}, publisher = {Morgan Kaufman}, series = {Research Notes in Artificial Intelligence}, title = {Reasoning With Incomplete Information}, year = {1988}, owner = {exeter library} } @inproceedings{Etherington90a, author = {Etherington, D W and Kraus, S and Perlis, D}, address = {Boston}, booktitle = {Proceedings AAAI-90}, pages = {600-607}, title = {Nonmonotonicity and the scope of reasoning: preliminary report}, year = {1990}, owner = {john} } @Article{Evans78a, author = "M.G.H. Evans", title = "Can there be vague objects?", journal = "Analysis", year = 1978, volume = 38, pages = 208, note = "reprinted in his {\em Collected Papers}, Oxford, Clarendon Press 1985" } @article{Falkenhainer91a, author = {Falkenhainer, B and Forbus, K D}, journal = {Artificial Intelligence}, pages = {95-143}, title = {Compositional Modeling: Finding the Right Model for the Job}, volume = {51}, year = {1991} } @Book{Fagin95a, author = "Fagin, R. and Halpern, J.Y. and Moses, Y. and Vardi, M.Y.", title = "Reasoning About Knowledge", publisher = "MIT Press", year = 1995, isbn = 0262061627 } @inproceedings{Faltings87a, author = {Faltings, B.}, address = {Detroit}, booktitle = {Proceedings IJCAI-87}, pages = {436-442}, title = {Qualitative kinematics in mechanisms}, year = {1987}, owner = {john} } @book{Faltings92a, address = {Cambridge, Ma}, editor = {Faltings, B. and Struss, P.}, publisher = {MIT Press}, title = {Recent Advances in Qualitative Physics}, year = {1992} } @article{Faltings92b, author = {B. Faltings}, journal = {Artificial Intelligence}, number = {2}, title = {A symbolic approach to qualitative kinematics}, volume = {56}, year = {1992} } @inproceedings{Faltings93a, author = {Faltings, B and Sun, Kun}, booktitle = {Proc. IJCAI93}, pages = {1451-1457}, publisher = {Morgan Kaufmann}, title = {Computer-aided creative mechanism design}, year = {1993} } @inproceedings{Faltings95a, author = {Faltings, B }, address = {Berlin}, booktitle = {Spatial Information Theory: a theoretical basis for {GIS}}, editor = {Frank, A U and Kuhn, W}, pages = {17-30}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Qualitative spatial reaoning using algebraic topology}, volume = {988}, year = {1995} } @InProceedings{Farinas91a, author = {Fari{\~n}as del Cerro, L. and A. Herzig}, title = {A modal analysis of possibility theory}, booktitle = {Fundamentals of Artificial Intelligence: proceedings of the international workshop FAIR-91}, editor = {Ph. Jorrand and J. Kelemen}, volume = 535, series = {LNCS}, year = 1991, publisher = {Springer-Verlag}, month = {September}, pages = {11--18} } @techreport{Farquhar92a, author = {Farquhar, A and Crawford, J and Rickel, J}, institution = {University of Texas at Austin}, title = "The {QPC} Modelling Language", year = {1992} } @inproceedings{Farquhar94a, author = {Farquhar, A}, booktitle = {Proceedings AAAI-94}, pages = {1168-1174}, title = {A Qualitative Physics Compiler}, year = {1994} } @InProceedings{Farquhar95a, author = {A. Farquhar and A. Dappert and R. Fikes and W. Pratt}, title = {Integrating information sources using context logic}, booktitle = {Proceedings of the AAAI Spring Symposium on Information Gathering from Distributed Heterogeneous Environments}, year = 1995, publisher = {AAAI}, note = {Also appeared as Technical Report KSL-95-12, Knowledge Systems Laborotory, Stanford University} } @Article{Faugeras90a, author = {O.D. Faugeras and E. Le Bras-Mehlman and J. D. Boissonnat}, title = {Representing Stereo Data with the Delaunay Triangulation}, journal = {Artificial Intelligence}, year = {1990}, volume = {44}, pages = {41--89} } @InCollection{Fearnley-Sander89a, author = {Desmond Fearnley-Sander}, title = {The Idea of a Diagram}, booktitle = {Resolution of Equations in Algebraic Structures}, publisher = {Academic Press}, year = 1989, editor = {Hassan A\"{\i}t-Kaci and Maurice Nivat}, volume = {I}, chapter = 4, pages = {127--150} } @InProceedings{Fernyhough97ijcai-ws:agc, author = {Fernyhough, J and Cohn, A G and Hogg, D C}, title = {Event Recognition using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models from Visual Input}, booktitle = {Working Notes of IJCAI workshop on Spatial and Temporal Reasoning}, note = {http://www.scs.leeds.ac.uk/spacenet/publications.html}, year = {1997} } @InProceedings{Fernyhough97ijcai-ws:bb, author = {Fernyhough, J and Cohn, A G and Hogg, D C}, title = {Event Recognition using Qual\-itative Reasoning on Automatically Generated Spatio-Temporal Models from Visual Input}, booktitle = {Working Notes of IJCAI workshop on Spatial and Temporal Reasoning} , year = {1997} } @inproceedings{Fernyhough:96a, crossref = {eccv:96}, author = {Jonathan H. Fernyhough and Anthony G. Cohn and David C. Hogg}, title = {Generation of Semantic Regions from Image Sequences}, } @Article{Ferrucci91a, author = {V. Ferrucci and A. Paoluzzi}, title = {Extrusion and Boundary Evaluation for Multidimensional Polyhedra}, journal = {Computer Aided Design}, year = {1991}, volume = {1}, number = {23}, pages = {40--50} } @inproceedings{Ferryman:95a, crossref = {bmvc:95}, author = {J.M. Ferryman and A.D. Worrall and G.D. Sullivan and K.D. Baker}, title = {A Generic Deformable Model for Vehicle Recognition}, pages = {127--136}, volume = 1 } @InCollection{Fillmore68case, author = {C.J. Fillmore}, title = {The case for case}, booktitle = {Universals in Linguistics}, publisher = {Holt, Rinehart and Winston}, year = 1968, editor = {E. Bach and T. Harms}, chapter = 1, address = {New York}, pages = {1--88} } @article{Fine75a, author = {Fine, K}, journal = {Synth\`ese}, pages = {263-300}, title = {Vagueness, truth and logic}, volume = {30}, year = {1975} } @incollection{ Fine_Schurz96a, author = {Kit Fine and Gerhard Schurz}, title = {Transfer Theorems for Multimodal Logics}, booktitle = {Logic and Reality: Essays on the Legacy of {A}rthur {P}rior}, publisher = {Oxford University Press}, year = {1996}, editor = {Jack Copeland}, pages = {169--213}, address = {Oxford}, contentnote = {Transfer theorems have to do with transferring properties of monomodal logics to the combination.}, topic = {modal-logic;} } @book{Fitting69a, author = {M.C. Fitting}, publisher = {North-Holland}, title = {Intuitionistic Logic Model Theory and Forcing}, year = {1969} } @book{Fitting83a, author = {M.C. Fitting}, publisher = {Reidel}, title = {Proof Methods for Modal and Intutionistic Logics}, year = {1983}, libcode = {Maths A-2 FIT} } @misc{Fitting89a, author = {Fitting, M}, howpublished = {Dept. Computing, Imperial College London}, month = {August}, title = {First-Order Logic and Automated Theorem Proving}, year = {1989}, owner = {john} } @book{Fitting90a, author = {Fitting, M}, address = {New York}, publisher = {Springer-Verlag}, series = {Texts and Monographs in Computer Science}, title = {First Order Logic and Automated Theorem Proving}, year = {1990}, owner = {exeter library} } @article{Fitting91a, author = {Fitting, M}, journal = {Journal of Logic Programming}, month = {August}, pages = {91-116}, title = {Bilattices and the semantics of logic programming}, volume = {11}, year = {1991}, owner = {john} } @article{Fleck:88a, author = {Margaret M. Fleck}, title = {Representing Space for Practical Reasoning}, journal = {Image and Vision Computing}, year = 1988, volume = 6, number = 2, pages = {75--86} } @phdthesis{Fleck:88b, author = {Margaret M. Fleck}, title = {Boundaries and Topological Algorithms}, year = 1988, month = sep, address = {MIT, MA, USA}, school = {MIT Artificial Intelligence Laboratory} } @book{Fomenko94a, author = {Fomenko, A}, note = {Translated from the Russian by Marainna V. Tsaplina}, publisher = {Springer-Verlag}, title = {Visual Geometry and Topology}, year = {1994} } @inproceedings{Forbus83a, author = "Forbus, K D and Gentner, D", booktitle = {Proceedings 5th Annual Conference of the Cognitive Science Society}, pages = {196-206}, publisher = {Lawrence Erlbaum Associates, Inc}, title = {Causal reasoning about quantities}, year = {1983}, owner = {john} } @article{Forbus84a, author = {Forbus, K}, journal = {Artificial Intelligence}, pages = {85-168}, title = {Qualitative process theory}, volume = {24}, year = {1984}, owner = {john} } @techreport{Forbus86a, author = {Forbus, K}, institution = {Department of Computer Science, University of Illinois}, title = {The qualitative process engine}, year = {1986}, owner = {john} } @article{Forbus87a, author = {Forbus, K}, journal = {IEEE Transactions on Systems, Man and Cybernetics}, pages = {350-359}, title = {Interpreting observations of physical systems}, volume = {13}, year = {1987}, owner = {john} } @inproceedings{Forbus87b, author = {Forbus, K and Nielsen, P and Faltings, B}, booktitle = {Proceedings IJCAI-87}, pages = {430-436}, title = {Qualitative kinematics: A framework}, year = {1987}, owner = {john} } @inproceedings{Forbus87c, author = {Forbus, K and Collins, J W}, booktitle = {Proceedings AAAI-87}, pages = {590-595}, title = {Reasoning about fluids via molecular collections}, year = {1987}, owner = {john} } @inproceedings{Forbus87d, author = {Forbus, K D}, booktitle = {Procedings IJCAI-87}, title = {The Logic of Occurrence}, year = {1987} } @incollection{Forbus88a, author = {Forbus, K}, booktitle = {Exploring Artificial Intelligence}, pages = {239-296}, publisher = {Morgan Kaufmann}, title = {Qualitative physics: Past, present and future}, year = {1988}, owner = {john} } @inproceedings{Forbus88b, author = {Forbus, K and Falkenheimer, B}, booktitle = {Proceedings AAAI-88}, pages = {301-306}, title = {Setting-up large scale qualitative models}, year = {1988}, owner = {john} } @book{Forbus93a, author = {Forbus, K and De Kleer, J}, address = {Cambridge, Ma}, publisher = {MIT Press}, title = {Building Problem Solvers}, year = {1993} } @article{Forbus:91a, author = {Forbus, K. D. and Nielsen, P. and Faltings, B.}, title = {Qualitative spatial reasoning: The clock project}, journal = {Artificial Intelligence}, year = 1991 , volume = 51, pages = {417--471} } @conference{Fourier1890a, author = "Fourier, J B J", title = "Second extrait", booktitle = "Oeuvres, G. Darboux", year = 1890, editor = "Paris: Gauthiers-Villars", pages = "325--328", note = "English translation by D. A. Kohler(1973)" } @inproceedings{Frank86a, author = {A. Frank and W. Kuhn}, title = {Cell Graphs: A Provably Correct Method for the Storage of Geometry}, booktitle = {Proceedings of the 2nd International Symposium on Spatial Data Handling, Seattle, USA}, year = {1986}, pages = {411--436} } @Article{Frank92, author = {Frank, A}, title = {Qualitative Spatial Reasoning about Distance and Directions in Geographic Space \typeout{*** REF Frank92 NOW SUPERCEEDED BY REF Frank92c ***}}, journal = {Journal of Visual Languages and Computing}, year = {1992}, volume = {3}, pages = {343--373} } @proceedings{Frank92a, address = {Berlin}, booktitle = {Theories and Methods of Spatio-Temporal Reasoning in Geographic Space (International Conference on GIS --- From Space to Territory)}, editor = {Frank, A U and Campari, I and Formentini, U}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Theories and Methods of Spatio-Temporal Reasoning in Geographic Space (International Conference on GIS --- From Space to Territory)}, volume = {639}, year = {1992} } @article{Frank92b, author = "Frank, A", journal = {Journal of Visual Languages and Computing}, pages = {343-371}, title = {Qualitative spatial reasoning with cardinal directions}, volume = {3}, year = {1992} } @Article{Frank92c, author = {Frank, A U}, title = {Qualitative Spatial Reasoning about Distance and Directions in Geograp hic Space}, journal = {Journal of Visual Languages and Computing}, year = {1992}, volume = {3}, pages = {343--373} } @proceedings{Frank93a, editor = {Frank, A U and Campari, I}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {Spatial Information Theory: A Theoretical Basis for GIS: Proceedigns of COSIT'93}, volume = {716}, year = {1993} } @book{Frank95a, address = {Berlin}, editor = {Frank, A and Kuhn, W}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, title = {Spatial Information Theory: a theoretical basis for {GIS}}, volume = {988}, year = {1995} } @article{Frank:92a, author = {Frank, A. U.}, title = {Qualitative spatial reasoning with cardinal directions}, journal = {Journal of Visual Languages and Computing}, year = 1992 , volume = 3, pages = {343--371} } @Article{Frassen68a, author = "B. C. van Frassen", fullname = "Bas C. van Frassen", title = "Presupposition, implication and self-reference", journal = "Journal of Philosophy", year = 1968, volume = 65, pages = "136--52", annote = "Also in Philosophical Applications of Free Logic" } @InCollection{Frassen69a, author = "B. C. van Frassen", fullname = "Bas C. van Frassen", title = "Presupposition, supervaluations and free logic", booktitle = "The Logical Way of Doing Things", publisher = "Yale University Press", year = 1969, editor = "Karel Lambert", chapter = 4, pages = "67-91", address = "New Haven" } @misc{Freksa90a, author = {Freksa, C}, howpublished = {Workshop RAUM, University of Koblenz.}, title = {Qualitative Spatial Reasoning}, year = {1990} } @techreport{Freksa91a, author = {Freksa, C}, institution = {Institute of Information, University of Munich}, number = {Tech.Rpt. FK1-146-91}, title = {Conceptual Neighbourhood and its Role in Temporal and Spatial Reasoning}, year = {1991} } @article{Freksa92a, author = {Freksa, C}, journal = {Artificial Intelligence}, pages = {199-227}, title = {Temporal reasoning based on semi-intervals}, volume = {54}, year = {1992}, owner = {john} } @inproceedings{Freksa92b, author = {Freksa, C}, address = {Berlin}, booktitle = {Proc. Int. Conf. on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space}, editor = {Frank, A U and Campari, I and Formentini, U}, publisher = {Springer-verlag}, title = {Using Orientation Information for Qualitative Spatial Reasoning}, year = {1992} } @inproceedings{Freksa92c, author = {Freksa, C and Zimmermann, K}, title = {On the Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning}, booktitle = {Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics}, year = 1992 } @misc{Freksa93a, author = {Freksa, C}, howpublished = {Personnal communication}, year = {1993} } @inproceedings{Freksa93b, author = {Freksa, C and R\"ohrig, R}, address = {Barcelona}, booktitle = {Qualitative Reasoning and Decision Technologies}, editor = {Piera Carret\'e, N and Singh, M G}, publisher = {CIMNE}, title = {Dimensions of Qualitative Spatial reasoning}, year = {1993} } @article{Freksa:92a, author = {Christian Freksa}, title = {Temporal reasoning based on semi-intervals}, journal = {Artificial Intelligence}, year = 1992, volume = 54, pages = {199--227} } @inproceedings{Freksa:92c, author = {Freksa, C. and Zimmermann, K.}, title = {On the Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning}, booktitle = {Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics}, year = 1992 } @inproceedings{Freksa:95a, crossref = {gisdata:95}, author = {Christian Freksa and Thomas Barkowsky}, title = {On the Relation between Spatial Concepts and Geographic Objects}, pages = {109--122} } @article{Freuder78a, author = "Freuder, E C", title = "Synthesizing constraint expressions", journal = "Communications of the ACM", year = 1978, volume = 21, pages = "958--966" } @Article{Freuder85, author = {Freuder, C}, title = {A Sufficient Condition for Backtrack-Free Search}, journal = {Journal of the Association for Computing Machinery}, year = {1985}, volume = {32}, number = {4}, pages = {755--761} } @conference{Freuder91a, author = "Freuder, E C", title = "Eliminating interchangeable values in constraint satisfaction problems", booktitle = "Proceedings of the AAAI-91", year = "1991", editor = "", pages = "227--233", volume = "", series = "", organization = "", publisher = "AAAI Press {/} The MIT Press", address = "Anaheim, CA", month = "", note = "" } @techreport{Fruhwirth93a, title={Constraint Logic Programming -- An Informal Introduction}, author={Fr\"uhwirth, T and Herold, A and K\"uchenhoff, V and Le Provost, T and Lim, P and Monfroy, E and Wallace, M}, institution={European Computer-Industry Research Centre}, number={ECRC-93-5}, year={1993} } @techreport{Fruhwirth94a, title={Temporal reasoning with constraint handling rules}, author={Fr\"uhwirth, T and Herold, A and K\"uchenhoff, V and Le Provost, T and Lim, P and Monfroy, E and Wallace, M}, institution={European Computer-Industry Research Centre}, number={ECRC-94--05}, year={1994} } @inproceedings{Fruhwirth94b, title={Constraint Handling Rules}, author={Fr\"uhwirth, T}, booktitle={Constraint Programming: Basic and Trends. Lecture Notes in Computer Science 910. Springer}, editor={Podelski, A}, pages={90--107}, year={1994} } @techreport{Fruhwirth94c, title={High level implementations of constraint handling rules}, author={Fr\"uhwirth, T and Brisset, P}, institution={ECRC}, number={ECRC-TR-95-20}, year={1994} } @misc{Fuhrmann91a, author = {Fuhrmann, A}, howpublished = {Third European Summer School in Language, Logic and Information, Universit\"{a}t des Saarlandes, Germany}, month = {August}, title = {Belief Revision}, year = {1991}, owner = {john} } @techreport{Fujihara91a, author = {Fujihara, H and Mukerjee, A}, publisher = {Technical report, TAMU91-010, Computer Science Department}, institution = {Texas A and M University}, title = {Qualitative Reasoning about Document Design}, year = {1991} } @book{Fuks84a, author = {Fuks, D B and Rokhlin, V A}, note = {Translated from the Russian by Andrei Iacob}, publisher = {Springer-Verlag}, title = {Beginner's Course in Topology: Geometric Chapters}, year = {1984} } @book{Gaal64a, author = {Gaal, S A}, publisher = {Academic Press}, title = {Point Set Topology}, year = {1964} } @Book{Gabbay76a, author = "D.M. Gabbay", title = "Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics", publisher = "Reidel", year = 1976, libcode = {Phil G-6 Gab} } @incollection{Gabbay85a, author = {Gabbay, D M}, booktitle = {Logics and Models for Concurrent Systems}, editor = {Apt, K R}, pages = {439-457}, publisher = {Springer Verlag}, series = {NATA ASI Series}, title = {Theoretical foundations for non-monotonic reasoning in expert systems}, volume = {F13}, year = {1989}, abstract = {No abstract.}, owner = {john} } @Book{Gabbay94temporal, author = "Dov M. Gabbay and Ian Hodkinson and Mark Reynolds", title = "Temporal Logic: mathematical foundations and computational aspects", publisher = "Clarendon Press, Oxford", year = 1994, volume = "I", libcode = "Maths A-2 GAB" } @book{Gabbay94logicinAI, booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming}, editor = {Gabbay, D M and Hogger, C J and Robinson, J A}, publisher = {Oxford Science Publications}, volume = {1: Logical Foundations}, year = {1994}, libcode = {Maths A-2 Gab} } @Book{Gabbay96lds, author = "Dov M. Gabbay", title = "Labelled Deductive Systems", publisher = "Oxford University Press", year = 1996, volume = "I" } @InProceedings{Gabbay97a, author = {Gabbay, D M and Nossum, R}, title = {Structured context with fibred semantics}, booktitle = {Proceedings of the International Interdisciplinary Conference on Context}, year = 1997 } @Book{Gabbay98fibring, author = "Dov M. Gabbay", title = "Fibring Logics", publisher = "Oxford University Press", year = 1998 } @inproceedings{Gahegan95a, author = {Gahegan, M}, title = {Proximity operators for qualitative spatial reasoning}, address = {Berlin}, booktitle = {Spatial Information Theory: a theoretical basis for GIS}, editor = {A Frank, W Kuhn}, number = {988}, pages = {31--44}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, year = {1995} } @book{Gallier87a, author = {Gallier, J H}, publisher = {John Wiley and Sons}, title = {Logic for computer science: foundations of automatic theorem proving}, year = {1987}, owner = {john} } @book{Galton84a, author = "Galton, A P", address = {Oxford}, publisher = {Clarendon Press}, title = {The Logic of Aspect: an Axiomatic Approach}, year = {1984}, owner = {antony} } @book{Galton84aspect, author = "Antony P Galton", address = "Oxford", publisher = "Clarendon Press", title = "The Logic of Aspect: an Axiomatic Approach", year = "1984" } @book{Galton87a, address = {London}, editor = "Galton, A P", publisher = {Academic Press}, title = {Temporal Logics and their Applications}, year = {1987} } @incollection{Galton87b, author = "Galton, A P", address = {London}, booktitle = {Temporal Logics and their Applications}, chapter = {1}, editor = "Galton, A P", pages = {1-52}, publisher = {Academic Press}, title = {Temporal logic and computer science: An overview}, year = {1987}, owner = {john} } @incollection{Galton87c, author = "Galton, A P", address = {London}, booktitle = {Temporal Logics and their Applications}, chapter = {5}, editor = "Galton, A P", pages = {169-196}, publisher = {Academic Press}, title = {The logic of occurrence}, year = {1987}, owner = {john} } @book{Galton87tlata, title = "Temporal logics and their applications", author = "Galton, A P", publisher = "Academic Press", year = "1987", address = "London" } @article{Galton