JOSIE: an integration of specialized representation and reasoning tools

@article{Nado1991JOSIEAI,
  title={JOSIE: an integration of specialized representation and reasoning tools},
  author={Robert A. Nado and J. V. Baalen and R. Fikes},
  journal={SIGART Bull.},
  year={1991},
  volume={2},
  pages={101-107}
}
  • Robert A. Nado, J. V. Baalen, R. Fikes
  • Published 1991
  • Computer Science
  • SIGART Bull.
  • We present an overview of an implemented knowledge system development tool, called JOSIE, that provides a general framework for integrating specialized representation and reasoning facilities. In our presentation we emphasize the problematic issues that arise when integrating specialized representations and the distinctive features of the facilities included in the system. The current system includes assertion, retraction, and query facilities using a predicate-calculus style interface language… CONTINUE READING
    Hybrid Reasoning Using Universal Attachment
    • 27
    Ontolingua: a mechanism to support portable ontologies
    • 381
    Business Process Modeling from the Control Perspective: The AI Planning Approach
    • 1
    Business Process Modeling from the Control Perspective: The AI Planning Approach
    CML: A Compositional Modeling Language
    • 41

    References

    Publications referenced by this paper.
    Inference Corp. ART Reference Manual