<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF
 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns="http://purl.org/rss/1.0/"
 xmlns:cc="http://web.resource.org/cc/"
 xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/"
 xmlns:dc="http://purl.org/dc/elements/1.1/"
 xmlns:syn="http://purl.org/rss/1.0/modules/syndication/"
 xmlns:content="http://purl.org/rss/1.0/modules/content/"
 xmlns:admin="http://webns.net/mvcb/"
>

<channel rdf:about="http://www.bibsonomy.org/author/Sandewall/logic">
  <title>BibSonomy publications for /author/Sandewall/logic</title>
  <link>http://www.bibsonomy.org/author/Sandewall/logic</link>
  <description>BibSonomy RSS Feed for /author/Sandewall/logic</description>

  <items>
    <rdf:Seq>
      <rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno"/>
      </rdf:Seq>
  </items>
</channel>

<item rdf:about="http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno">
    <title>Spatial Reasoning with Propositional Logics</title>
    <description></description>
    <link>http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno</link>
    <dc:creator>zeno</dc:creator>
    <dc:date>2007-05-25T14:01:27+02:00</dc:date>
    <dc:subject>
      1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial </dc:subject>    
    <content:encoded><![CDATA[
    <link rel="stylesheet" href="http://www.bibsonomy.org/resource/css/rss.css" type="text/css"/>
    <font style="font-variant:small-caps;">
    <!-- authors -->
    <a href="http://www.bibsonomy.org/author/Bennett">Bennett</a>,         	     	 
        	Brandon<!-- year -->
    (1994).
    </font>
    
    <!-- title -->    
    <a href="http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno"><i>Spatial Reasoning with Propositional Logics.</i></a>

	<!-- editor(s) -->
	
    	In 
	    <a href="http://www.bibsonomy.org/author/Doyle">Doyle</a>,         	     	 
		       	Jon &amp; <a href="http://www.bibsonomy.org/author/Sandewall">Sandewall</a>,         	     	 
		       	Erik &amp; <a href="http://www.bibsonomy.org/author/Torasso">Torasso</a>,         	     	 
		       	Pietro
		    	(eds.),
	    <!-- inbook / incollection data -->
  	<em>KR'94: Principles of Knowledge Representation and Reasoning</em>
    	
    	(pp. 51--62).
  	<!-- address -->
    San Francisco, California:    
   	<!-- publisher -->
    Morgan Kaufmann.    
    <!-- tags & URL-->
    
       [<a href="http://www.bibsonomy.org/">BibSonomy</a>: <a href="http://www.bibsonomy.org/user/zeno/1994">1994</a> <a href="http://www.bibsonomy.org/user/zeno/intuitionistic">intuitionistic</a> <a href="http://www.bibsonomy.org/user/zeno/logic">logic</a> <a href="http://www.bibsonomy.org/user/zeno/propositional-logic">propositional-logic</a> <a href="http://www.bibsonomy.org/user/zeno/qualitative-reasoning">qualitative-reasoning</a> <a href="http://www.bibsonomy.org/user/zeno/rcc">rcc</a> <a href="http://www.bibsonomy.org/user/zeno/spatial">spatial</a>]
       <a href="/brokenurl#citeseer.ist.psu.edu/bennett94spatial.html">URL</a>        
           
    ]]>
    </content:encoded>
    <taxo:topics>
      <rdf:Bag>
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/1994" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/intuitionistic" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/propositional-logic" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/qualitative-reasoning" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/rcc" />
        <rdf:li rdf:resource="http://www.bibsonomy.org/tag/spatial" />
        </rdf:Bag>
    </taxo:topics>
  </item>
</rdf:RDF>