4 found
Order:
  1.  9
    An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  35
    A Topological Account of the Space Occupied by Physical Objects.James G. Schmolze - 1996 - The Monist 79 (1):128--40.
    While physical objects exist, they occupy space. We have developed a representation for the spaces that objects can occupy that meets the following criteria.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  22
    Practical Reasoning About Knowledge States for Open World Planning with Sensing.Tamara Babaian & James G. Schmolze - 2009 - Journal of Applied Non-Classical Logics 19 (1):7-41.
    We present a representation for reasoning and planning with an incomplete state description called PSIPLAN-S. The presented formalism has several properties critical for application domains with a large degree of incompleteness in the state description, particularly, in domains with a large or unknown set of all objects. The formalism offers considerably expressive state and goal description language, that includes limited universal quantification, representation of sensing actions and knowledge goals, a correct and complete state update procedure, and complete reasoning within a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    A Topological Account of the Space Occupied by Physical Objects.James G. Schmolze - 1996 - The Monist 79 (1):128-140.
    While physical objects exist, they occupy space. We have developed a representation for the spaces that objects can occupy that meets the following criteria.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark