%0 
%0 Book Section
%A Bennett, Brandon
%D 1994
%T Spatial Reasoning with Propositional Logics
%E Doyle, Jon; Sandewall, Erik & Torasso, Pietro
%B {KR}'94: Principles of Knowledge Representation and Reasoning
%C San Francisco, California
%I Morgan Kaufmann
%V 
%6
%N 
%P 51--62
%& 
%Y 
%S 
%7 
%8 
%9 
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 incollection
%4 
%# 
%$ 
%F Bennett94spatial
%K 1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial 
%X 
%Z 
%U citeseer.ist.psu.edu/bennett94spatial.html
%+
%^

%0 
%0 Conference Proceedings
%A Gruber, Thomas R. & Olsen, Gregory R.
%D 1994
%T An Ontology for Engineering Mathematics.
%E Doyle, Jon; Sandewall, Erik & Torasso, Pietro
%B  Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.
%C 
%I Morgan Kaufmann
%V 
%6
%N 
%P 258-269
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 1-55860-328-X
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 
%# 
%$ 
%F gruber94-ontology_engineering_mathematics
%K 1994 engineering ontology unread 
%X 
%Z 
%U ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-94-18.ps.gz
%+
%^