It is generally recognized that the possibility of detecting contradictions and identifying their sources is an important feature of an intelligent system. Systems that are able to detect contradictions, identify their causes, or readjust their knowledge bases to remove the contradiction, called Belief Revision Systems, Truth Maintenance Systems, or Reason Maintenance Systems, have been studied...

The branch of philosophical logic which has become known as “belief change” has, in the course of its development, become alienated from its epistemological origins. However, as formal criteria do not suffice to defend a principled choice between competing systems for belief change, we do need to take their epistemological embedding into account. Here, on the basis of a detailed examination of ...

romania was occupied by the soviet army in 1944 and the military seizure continued until 1958. constant interference and constraints imposed by the russian government upon romania, during this time, resulted in formation and establishment of a communist institution in the country. the communist reign in romania lasted forty four years from 1945 to 1989. the hostility of the communist government...