BibSonomy :: author  ::

bookmarks

publications

(501)

• Cyc: Toward Programs with Common Sense
  Douglas B. Lenat and R. V. Guha and Karen Pittman and Dexter Pratt and Mary Shepherd Communications of the ACM 33 30-49 (1990)
  to diss by acbullinger and 5 other people on 2008-12-01 17:41:36
  | BibTeX  
• WI-HTest: testing suite for diagnosing wirelesshart devices and networks.
  Song Han and Jianping Song and Xiuming Zhu and Aloysius K. Mok and Deji Chen and Mark Nixon and Wally Pratt and Veena Gondhalekar SenSys 437-438 (2008)
  to dblp by dblp on 2008-11-24 00:00:00
  | URL | BibTeX  
• On the Computational Complexity of Spatial Logics with Connectedness Constraints.
  Roman Kontchakov and Ian Pratt-Hartmann and Frank Wolter and Michael Zakharyaschev LPAR 574-589 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Handbook of Spatial Logics
  Marco Aiello and Ian Pratt-Hartmann and Johan van Benthem (eds.). (2007)
  to dblp by dblp on 2008-11-10 00:00:00
  | URL | BibTeX  
• Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
  Achille C. Varzi Handbook of Spatial Logics 945-1038 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Dynamic Topological Logic.
  Philip Kremer and Grigori Mints Handbook of Spatial Logics 565-606 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Logical Theories for Fragments of Elementary Geometry.
  Philippe Balbiani and Valentin Goranko and Ruaan Kellerman and Dimiter Vakarelov Handbook of Spatial Logics 343-428 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Locales and Toposes as Spaces.
  Steven Vickers Handbook of Spatial Logics 429-496 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• Mathematical Morphology.
  Isabelle Bloch and Henk J. A. M. Heijmans and Christian Ronse Handbook of Spatial Logics 857-944 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX  
• First-Order Mereotopology.
  Ian Pratt-Hartmann Handbook of Spatial Logics 13-97 (2007)
  to dblp by dblp on 2008-11-09 00:00:00
  | URL | BibTeX