BibSonomy :: author  ::

bookmarks

publications

(88)

• An Ontology for Engineering Mathematics
  Thomas R. Gruber and G. Olsen Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27 258-269 (1994)
  to diss by callagialla and 4 other people on 2008-03-20 21:14:41
  | BibTeX  
• Non-monotonic Temporal Reasoning
  Erik Sandewall and Yoav Shoham (1998)
  to bibtex-import, nn by idsia on 2008-03-11 15:59:25
  | BibTeX  
• Learning the CLASSIC Description Logic: Theoretical and Experimental Results
  William W. Cohen and Haym Hirsh Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany 121--133 (1994)
  to DL ml by sb3000 and 4 other people on 2008-03-10 16:07:01
  | BibTeX  
• Knowledge Interchange Format.
  Michael R. Genesereth Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91) 238-249 (1991)
  to jabref:noKeywordAssigned by seebi and 3 other people on 2008-01-04 18:19:08
  | BibTeX  
• Knowledge Interchange Format.
  Michael R. Genesereth Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91) 238-249 (1991)
  to English Knowledge by haschek and 3 other people on 2008-01-04 11:46:19
  | BibTeX  
• Modeling Rational Agents within a BDI-Architecture
  Anand S. Rao and Michael P. Georgeff Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91) 473--484 (1991)
  to imported by ramaz and 4 other people on 2007-11-23 14:13:20
  | URL | BibTeX  
• Spatial Reasoning with Propositional Logics
  Brandon Bennett KR'94: Principles of Knowledge Representation and Reasoning 51--62 (1994)
  to propositional-logic rcc by thau and 2 other people on 2007-11-20 21:12:41
  | URL | BibTeX  
• Automated Programmering: The Programmer's Assistant
  W. Teitelman Interactive Programming Environments 232-239 (1984)
  to imported by kimmens on 2007-09-26 11:57:26
  | BibTeX  
• Interactive Programming Environments
  D. R. Barstow and H. E. Shrobe and E. Sandewall (eds.). (1984)
  to imported by kimmens on 2007-09-26 11:57:26
  | BibTeX  
• Planning as Temporal Reasoning
  James F. Allen Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning 3--14 (1991)
  to no-tag by schaal and 2 other people on 2007-07-06 10:33:42
  | BibTeX