Cosmological Constraints on the MSSM ∗
I discuss recent developments in the study of cosmological limits on the Minimal Supersymmetric Standard Model (MSSM). In particular, I focus on the effect of neutralino-stau coannihilation on the relic abundance of neutralinos, and I give examples where the cosmologically derived limits on the supersymmetric parameters are relaxed, and one example (CP violating phases) where they are not.
Putting the problem solver back in the Driver's seat: Contextual control of the ATMS.- Variations on backtracking for TMS.- An abductive procedure for the CMS/ATMS.- Knowledge assimilation and abduction.- Truth maintenance systems and belief revision.- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision.- ARC: An extended ATMS based on directed CAT-correct resolution.- On logical foundations of the ATMS.- A skeptical semantics for truth maintenance.- Semantic accounts of belief revision.