Learn More
In an attempt to fill a gap between fully automatic search/match programs and purely manual methods based on paper products, a relational database plug-in has been developed that functions as a PC-based Search/Index program for extracting information from PDF-4 powder diffraction databases. The plug-in provides an adjustable search window and match window(More)
We describe BE, a belief evolution solver for the modal action language A2. The action language A2 is an epistemic extension of the action language A. This action language extends previous epistemic extentions of A by allowing erroneous initial beliefs and non-Markovian belief change. We describe our implementation using an AGM revision operator called the(More)
  • 1