Brandon's Home Page

<body background="ontology/images/fade_matta_personages_expand.jpg" nosave> <center> <h1> Brandon's Home Page</h1></center> <img SRC="bb_pic_edit.jpg" height=150 width=138 align=RIGHT> Dr Brandon Bennett <br>Division of Artificial Intelligence <br><a href="http://www.comp.leeds.ac.uk">School of Computing</a> <br><a href="http://www.leeds.ac.uk/">University of Leeds</a> <br><a href="http://www.leeds.com/">Leeds </a>, LS2 9JT, UK. <p>Email: <a href="mailto:brandon@comp.leeds.ac.uk">brandon@comp.leeds.ac.uk</a> <br>Phone: +44 (0)113-343 1070 <br>(home) +44 (0)113 274 6920 <br>Fax: +44 (0)113-343 5468 <p> I am a Research Fellow at the School of Computing at the University of Leeds and a member of the Qualitative Spatial Reasoning group. Most of my research is on logical languages for representing and reasoning about the physical world. I am particularly interested in spatial and spatio-temporal information, handling of conceptual vagueness and the construction of concept ontologies for information systems. Applications of this work include Geographical Information Systems, specification of the behaviour of intelligent artificial agents and Virtual World simulation.  <hr> <h3>Research Interests</h3> <li> Spatial reasoning <li> Automated theorem proving and decision procedures <li> Constraint satisfaction problems <li> Formal semantics <li> Modal and temporal logics <li> Reasoning about actions, change and physical processes <li> Ontology of material objects <li> Geographical information systems (GIS) <li> Logical languages for high-level control of robots or virtual agents <li> Reasoning with vague and uncertain information <hr> <h3>Activities</h3> <li> I teach a final year undergraduate course in <a href="http://www.comp.leeds.ac.uk/ar34">Knowledge Representation and Inference</a>.</li> <li> I am on the organising committe of the <a href="http://www.dcs.kcl.ac.uk/staff/endriss/ARW/">Automated Reasoning Worshop </a>series.</li> <li> Jointly with the Ordnance Survey I recently organised a workshop on <a href="http://www.comp.leeds.ac.uk/brandon/geo-ontology/">Geo-Ontology</a> (Sept 2002).</li> <li> I was co-chair of the <a href="http://www.comp.leeds.ac.uk/qsr/vug/SVUG01_CD/">SVUG 2001</a> symposium on Spatial Vagueness Uncertainty and Granularity.</li> <br> <hr> <h3> Groups, Projects and other Research Pages</h3> <li> The Leeds Qualitative Spatial Reasoning Group <a href="http://www.comp.leeds.ac.uk/qsr/">(QSR)</a></li> <li> The <a href="http://www.comp.leeds.ac.uk/brandon/ontology/">Foundational Ontology </a>Project</li> <li> Managing Vagueness, Uncertainty and Granularity in Spatial Information Systems <a href="http://www.comp.leeds.ac.uk/vug">(VUG)</a></li> <li> Logical Theories and Decision Procedures for Reasoning about Physical Systems <a href="http://www.comp.leeds.ac.uk/ctcs/raps.html">(RAPS)</a></li> <li> European Qualitative Spatial Reasoning Network <a href="http://www.comp.leeds.ac.uk/spacenet/spacenet.html">(Spacenet)</a></li> <li> The Region Connection Calculus page <a href="http://www.comp.leeds.ac.uk/qsr/rcc.html">(RCC)</a></li> <li> Forum for <a href="http://www.cs.york.ac.uk/~frisch/AR-Forum/">Automated Reasoning</a> research</li> <li> The first <a href="http://www.comp.leeds.ac.uk/qsr/LSRW99">Leeds Spatial Reasoning Workshop</a> (held 13-14.07.99)</li> <br> <hr> <h3> Publications</h3> My publications are listed <a href="http://www.comp.leeds.ac.uk/qsr/bibliography/brandonsbib.html">here</a>. Postscript of most of the papers is also available from this page. <p>My PhD thesis is entitled <a href="http://www.comp.leeds.ac.uk/brandon/thesis.html">Logical Representations for Automated Reasoning about Spatial Relationships</a>. <p>Publications of all members of the Leeds QSR group can be found <a href="http://www.comp.leeds.ac.uk/spacenet/publications.html">here</a>.  <hr> <h3> Software Development</h3> During the RAPS project (see above) prototype software for spatial reasoning and was developed. This is written in SICStus Prolog using the Tcl/Tk interface. Click <a href="http://www.comp.leeds.ac.uk/qsr/rapsoft/">here </a>for more details. <p>Click <a href="http://www.comp.leeds.ac.uk/cgi-bin/brandon/ontobase.cgi?rcc_reasoner">here </a>for an interactive demo of topological reasoning with the <a href="http://www.comp.leeds.ac.uk/qsr/rcc.html">RCC</a> relations. (This is implemented by encoding them into intuitionisitc logic and then using an intuitionistic sequent calculus theorem prover.) <p> <hr> <h3> Resources</h3> I maintain a large BibTeX bibiography file covering literature on many areas of logic and AI (including all my own papers). You can download this from <a href="http://www.comp.leeds.ac.uk/brandon/brandon.bib">here</a>. <p>Notes on Topological Logics that formed the basis of my ESSLLI-2000 course are available <a href="ESSLLI-2000-notes.ps">here</a>. <br> <hr> <br>  <br>  <br>  <p> <br>  <br>