We present three approaches to revision of belief bases, which are also examined in the case in which the sentences in the base are partitioned between those which can and those wh...
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...