Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
Marat Boshernitsan, Susan L. Graham, Marti A. Hear...
This paper gives the SNAP and SPAN ontologies relating to recognizing variable vista spatial environments, namely, SNAPVis and SPANVis. It proposes that recognizing spatial environ...
The psychological literature on stages of cognitive development was reviewed and found to contain support for the idea that stages represent ordinal, qualitative changes in organi...