This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...