Reiter, R. (1991) The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honour of John McCarthy. Academic Press Professional, Inc., San Diego, 359-80.

has been cited by the following article:

• TITLE: Imperfection of Domain Knowledge and Its Formalization in Context of Design of Robust Software Systems

  AUTHORS: Meenakshi Sridhar, Naseeb Singh Gill

  KEYWORDS: Formal Methods in Software Engineering, Imperfect Knowledge, Formalizing Common Sense, Formalizing Unconscious Knowledge

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.8 No.9, September 25, 2015

  ABSTRACT: In this paper, it is emphasized that taking into consideration of imperfection of knowledge, of the team of the designers/developers, about the problem domains and environments is essential in order to develop robust software metrics and systems. In this respect, first various possible types of imperfections in knowledge are discussed and then various available formal/mathematical models for representing and handling these imperfections are discussed. The discussion of knowledge classification & representation is from computational perspective and that also within the context of software development enterprise, and not necessarily from organizational management, from library & information science, or from psychological perspectives.