Len K. Schubert

Learn More
Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the(More)
This paper presents an overview of research at Rochester addressing problems in developing large-scale plans in complex worlds. The work can be divided into three general areas. We address representational issues by developing new representations of actions and plans that increase the expressiveness of plan representations, especially in dealing with(More)
Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the(More)