QuickSearch:   Number of matching entries: 0.

AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
Allen, J. F. Planning as Temporal Reasoning

[BibTeX]

 1991 Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning   inproceedings  
BibTeX: 
@inproceedings{allenj:91,
  author = {James F. Allen},
  title = {{Planning as Temporal Reasoning}},
  booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann Publishers},
  year = {1991},
  pages = {3--14}
}
Bennett, B. Spatial Reasoning with Propositional Logics

[BibTeX]

 1994 KR'94: Principles of Knowledge Representation and Reasoning   incollection URL  
BibTeX: 
@incollection{Bennett94spatial,
  author = {Brandon Bennett},
  title = {{S}patial {R}easoning with {P}ropositional {L}ogics},
  booktitle = {{KR}'94: Principles of Knowledge Representation and Reasoning},
  publisher = {Morgan Kaufmann},
  year = {1994},
  pages = {51--62},
  url = {http://citeseer.ist.psu.edu/bennett94spatial.html}
}
Cohen, W. W. & Hirsh, H. Learning the CLASSIC Description Logic: Theoretical and Experimental Results

[BibTeX]

 1994 Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany   inproceedings  
BibTeX: 
@inproceedings{cohen94learningclassic,
  author = {William W. Cohen and Haym Hirsh},
  title = {Learning the {CLASSIC} Description Logic: Theoretical and Experimental Results},
  booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), May 24-27, 1994, Bonn, Germany},
  publisher = {Morgan-Kauffman Publishers, San Francisco, CA, USA},
  year = {1994},
  pages = {121--133}
}
Genesereth, M. R. Knowledge Interchange Format.

[BibTeX]

 1991 Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91)   inproceedings  
BibTeX: 
@inproceedings{genesereth-m-1991-238-a,
  author = {Michael R. Genesereth},
  title = {Knowledge {I}nterchange {F}ormat.},
  booktitle = {Proceedings of the {S}econd {I}nternational {C}onference on {P}rinciples of {K}nowledge {R}epresentation and {R}easoning ({KR}'91)},
  publisher = {Morgan Kaufmann Publishers},
  year = {1991},
  pages = {238-249}
}
Gruber, T. R. & Olsen, G. An Ontology for Engineering Mathematics

[BibTeX]

 1994 Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27   inproceedings  
BibTeX: 
@inproceedings{Gruber.1994,
  author = {Thomas R. Gruber and G. Olsen},
  title = {An Ontology for Engineering Mathematics},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27},
  publisher = {Morgan Kaufmann Publishers},
  year = {1994},
  pages = {258-269}
}
Rao, A. S. & Georgeff, M. P. Modeling Rational Agents within a BDI-Architecture

[Abstract] [BibTeX]

 1991 Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)   inproceedings URL  
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.
BibTeX: 
@inproceedings{rg91,
  author = {Anand S. Rao and Michael P. Georgeff},
  title = {Modeling Rational Agents within a {BDI}-Architecture},
  booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning ({KR}'91)},
  publisher = {Morgan Kaufmann publishers Inc.: San Mateo, CA, USA},
  year = {1991},
  pages = {473--484},
  url = {citeseer.ist.psu.edu/rao91modeling.html}
}
Sandewall, E. Artificial Intelligence Needs Open-Access Knowledgebase Contents.

[BibTeX]

 2008 AAAI   inproceedings URL  
BibTeX: 
@inproceedings{conf/aaai/Sandewall08,
  author = {Erik Sandewall},
  title = {Artificial Intelligence Needs Open-Access Knowledgebase Contents.},
  booktitle = {AAAI},
  publisher = {AAAI Press},
  year = {2008},
  pages = {1602-1605},
  url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2008.html#Sandewall08}
}
Sandewall, E. & Shoham, Y. Non-monotonic Temporal Reasoning

[BibTeX]

 1998   incollection  
BibTeX: 
@incollection{sandewall:nonmonotonic,
  author = {Erik Sandewall and Yoav Shoham},
  title = {Non-monotonic Temporal Reasoning},
  year = {1998}
}
Teitelman, W. Automated Programmering: The Programmer's Assistant

[BibTeX]

 1984 Interactive Programming Environments   incollection  
BibTeX: 
@incollection{Teitelman84,
  author = {W. Teitelman},
  title = {Automated Programmering: The Programmer's Assistant},
  booktitle = {Interactive Programming Environments},
  publisher = {McGraw-Hill},
  year = {1984},
  pages = {232-239}
}
Interactive Programming Environments

[BibTeX]

 1984   book  
BibTeX: 
@book{Barstow84,,
  title = {Interactive Programming Environments},
  publisher = {McGraw-Hill},
  year = {1984}
}

Created by JabRef export filters on 21/08/2008 by the social publication management platform BibSonomy