%0 Book Section %1 Bennett94spatial %A Bennett, Brandon %B KR'94: Principles of Knowledge Representation and Reasoning %C San Francisco, California %D 1994 %E Doyle, Jon %E Sandewall, Erik %E Torasso, Pietro %I Morgan Kaufmann %K 1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial %P 51--62 %T Spatial Reasoning with Propositional Logics %U citeseer.ist.psu.edu/bennett94spatial.html

@incollection{Bennett94spatial, added-at = {2007-05-25T14:01:27.000+0200}, address = {San Francisco, California}, author = {Bennett, Brandon}, biburl = {https://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno}, booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning}, editor = {Doyle, Jon and Sandewall, Erik and Torasso, Pietro}, interhash = {2fc0bfcea3cd7658c039fa52260958e1}, intrahash = {e8f79fee62e673917f8e8eaff9331bbe}, keywords = {1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial}, pages = {51--62}, publisher = {Morgan Kaufmann}, timestamp = {2007-07-25T15:21:30.000+0200}, title = {{S}patial {R}easoning with {P}ropositional {L}ogics}, url = {citeseer.ist.psu.edu/bennett94spatial.html}, year = 1994 }