BibSonomy publications for /author/Sandewall http://www.bibsonomy.org/author/Sandewall BibSonomy RSS Feed for /author/Sandewall An Ontology for Engineering Mathematics http://www.bibsonomy.org/bibtex/277f2059b7326ebe3410d92d96dac9f7c/callagialla callagialla 2008-03-20T21:14:41+01:00 diss
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
]]> Non-monotonic Temporal Reasoning http://www.bibsonomy.org/bibtex/2ff2a05a267a6d965937c35d3131c1dda/idsia idsia 2008-03-11T15:59:25+01:00 bibtex-import, nn
Non-monotonic Temporal Reasoning
Erik Sandewall and Yoav Shoham (1998)
to bibtex-import, nn by idsia on 2008-03-11 15:59:25
]]> Learning the CLASSIC Description Logic: Theoretical and Experimental Results http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000 sb3000 2008-03-10T16:07:01+01:00 DL ml
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
]]> Knowledge Interchange Format. http://www.bibsonomy.org/bibtex/2447bcf2b328a3ffdadcf108834ef689a/seebi seebi 2008-01-04T18:19:08+01:00 jabref:noKeywordAssigned
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
]]> Knowledge Interchange Format. http://www.bibsonomy.org/bibtex/2447bcf2b328a3ffdadcf108834ef689a/haschek haschek 2008-01-04T11:46:19+01:00 English Knowledge
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
]]> Modeling Rational Agents within a BDI-Architecture http://www.bibsonomy.org/bibtex/27d8602aff0eca21013d275617a3d1669/ramaz ramaz 2007-11-23T14:13:20+01:00 imported
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
]]> Spatial Reasoning with Propositional Logics http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/thau thau 2007-11-20T21:12:41+01:00 propositional-logic rcc
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
]]> Automated Programmering: The Programmer's Assistant Some references related to aspect mining http://www.bibsonomy.org/bibtex/2da2ca3e84ea174966127d1b634dc6bb3/kimmens kimmens 2007-09-26T11:57:26+02:00 imported
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
]]> Interactive Programming Environments Some references related to aspect mining http://www.bibsonomy.org/bibtex/26cb5f2428cd1fa311faae57d5c9b22bc/kimmens kimmens 2007-09-26T11:57:26+02:00 imported
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
]]> Planning as Temporal Reasoning http://www.bibsonomy.org/bibtex/219680ae81fb95e7f61506ea13b6711c2/schaal schaal 2007-07-06T10:33:42+02:00 no-tag
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
]]>