BibSonomy :: author  :: Doyle ::

bookmarks

publications

(2)

• 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 and 2 other people on 2007-05-25 14:01:27
  | URL | BibTeX  
• 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 and 4 other people on 2006-11-15 19:55:18
  | URL | BibTeX