@inproceedings{Gruber.1994,
	title = {An Ontology for Engineering Mathematics},
	author = {Thomas R. Gruber and G. Olsen},
	booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27},
	editor = {Jon Doyle and Pietro Torasso and Erik Sandewall},
	pages = {258-269},
	publisher = {Morgan Kaufmann Publishers},
	series = {The Morgan Kaufmann Series in Representation and Reasoning},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/277f2059b7326ebe3410d92d96dac9f7c/callagialla},
	isbn = {155860328},
	keywords = {diss }
}

@incollection{sandewall:nonmonotonic,
	title = {Non-monotonic Temporal Reasoning},
	annote = {cogsci class 98 reading},
	author = {Erik Sandewall and Yoav Shoham},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/2ff2a05a267a6d965937c35d3131c1dda/idsia},
	priority = {2}, citeulike-article-id = {2511260},
	keywords = {bibtex-import, nn }
}

@inproceedings{cohen94learningclassic,
	title = {Learning the {CLASSIC} Description Logic: Theoretical and Experimental Results},
	author = {William W. Cohen and Haym Hirsh},
	booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {121--133},
	publisher = {Morgan-Kauffman Publishers, San Francisco, CA, USA},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/26abee7d4dbc7874815f8d18f20d3e3a9/sb3000},
	keywords = {DL ml }
}

@inproceedings{genesereth-m-1991-238-a,
	title = {Knowledge {I}nterchange {F}ormat.},
	address = {Cambridge},
	author = {Michael R. Genesereth},
	booktitle = {Proceedings of the {S}econd {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR}'91)},
	editor = {James F. Allen and Richard Fikes and Erik Sandewall},
	month = {April},
	pages = {238-249},
	publisher = {Morgan Kaufmann Publishers},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/2447bcf2b328a3ffdadcf108834ef689a/seebi},
	keywords = {jabref:noKeywordAssigned }
}

@inproceedings{genesereth-m-1991-238-a,
	title = {Knowledge {I}nterchange {F}ormat.},
	address = {Cambridge},
	author = {Michael R. Genesereth},
	booktitle = {Proceedings of the {S}econd {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR}'91)},
	editor = {James F. Allen and Richard Fikes and Erik Sandewall},
	month = {April},
	pages = {238-249},
	publisher = {Morgan Kaufmann Publishers},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/2447bcf2b328a3ffdadcf108834ef689a/haschek},
	keywords = {English Knowledge }
}

@inproceedings{rg91,
	title = {Modeling Rational Agents within a {BDI}-Architecture},
	author = {Anand S. Rao and Michael P. Georgeff},
	booktitle = {Proceedings of the 2nd International Conference on Principles of
	Knowledge Representation and Reasoning ({KR}'91)},
	editor = {James Allen and Richard Fikes and Erik Sandewall},
	pages = {473--484},
	publisher = {Morgan Kaufmann publishers Inc.: San Mateo, CA, USA},
	url = {citeseer.ist.psu.edu/rao91modeling.html},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/27d8602aff0eca21013d275617a3d1669/ramaz},
	abstract = {Intentions, an integral part of the mental state of an agent, play
	an important role in determining the behavior of rational agents
	as they seek to attain their goals. In this paper, a formalization
	of intentions based on a branching�time possible�worlds model
	is presented. It is shown how the formalism realizes many of the
	important elements of Bratman's theory of intention. In particular,
	the notion of intention developed here has equal status with the
	notions of belief and desire, and cannot be reduced to these concepts.
	This allows different types of rational agents to be modeled by imposing
	certain conditions on the persistence of an agent's beliefs, goals,
	and intentions. Finally, the formalism is compared with Bratman's
	theory of intention and Cohen and Levesque's formalization of intentions.},
	owner = {Mauro}, timestamp = {2006.08.31}, isbn = {1-55860-165-1},
	keywords = {imported }
}

@incollection{Bennett94spatial,
	title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
	address = {San Francisco, California},
	author = {Brandon Bennett},
	booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
	editor = {Jon Doyle and Erik Sandewall and Pietro Torasso},
	pages = {51--62},
	publisher = {Morgan Kaufmann},
	url = {http://citeseer.ist.psu.edu/bennett94spatial.html},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/2e8f79fee62e673917f8e8eaff9331bbe/thau},
	keywords = {propositional-logic rcc }
}

@incollection{Teitelman84,
	title = {Automated Programmering: The Programmer's Assistant},
	author = {W. Teitelman},
	booktitle = {Interactive Programming Environments},
	editor = {D. R. Barstow and H. E. Shrobe and E. Sandewall},
	pages = {232-239},
	publisher = {McGraw-Hill},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/2da2ca3e84ea174966127d1b634dc6bb3/kimmens},
	description = {Some references related to aspect mining},
	keywords = {imported }
}

@book{Barstow84,
	title = {Interactive Programming Environments},
	editor = {D. R. Barstow and H. E. Shrobe and E. Sandewall},
	publisher = {McGraw-Hill},
	year = {1984},
	biburl = {http://www.bibsonomy.org/bibtex/26cb5f2428cd1fa311faae57d5c9b22bc/kimmens},
	description = {Some references related to aspect mining},
	keywords = {imported }
}

@inproceedings{allenj:91,
	title = {{Planning as Temporal Reasoning}},
	address = {San Mateo, CA, USA},
	author = {James F. Allen},
	booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning},
	editor = {James Allen and Richard Fikes and Erik Sandewall},
	month = {April},
	pages = {3--14},
	publisher = {Morgan Kaufmann Publishers},
	year = {1991},
	biburl = {http://www.bibsonomy.org/bibtex/219680ae81fb95e7f61506ea13b6711c2/schaal},
	priority = {2}, citeulike-article-id = {1431199},
	keywords = {no-tag }
}