]> BibSonomy publications for /author/Doyle/1994 http://www.bibsonomy.org/burst/author/Doyle/1994 BibSonomy BuRST Feed for /author/Doyle/1994 2008-10-08T10:58:53+02:00 Spatial Reasoning with Propositional Logics http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/zeno zeno 2007-05-25T14:01:27+02:00 1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial
Spatial Reasoning with Propositional Logics
Brandon Bennett KR'94: Principles of Knowledge Representation and Reasoning 51--62 (1994)
to 1994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial by zeno on 2007-05-25 14:01:27 ]]> San Francisco, California{KR}'94: Principles of Knowledge Representation and Reasoning51--62{S}patial {R}easoning with {P}ropositional {L}ogics19941994 intuitionistic logic propositional-logic qualitative-reasoning rcc spatial 2007-05-25 14:01:27.0 An Ontology for Engineering Mathematics. http://www.bibsonomy.org/bibtex/2726db0fae8c791728b311d4aa96e42ce/blaueasterpro blaueasterpro 2006-11-15T19:55:18+01:00 1994 engineering ontology unread
An Ontology for Engineering Mathematics.
Thomas R. Gruber and Gregory R. Olsen Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994. 258-269 (1994)
to 1994 engineering ontology unread by blaueasterpro on 2006-11-15 19:55:18 ]]> Technical Report KSL-94-18 Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.258-269An Ontology for Engineering Mathematics.19941994 engineering ontology unread 2006-11-15 19:55:18.0