Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A correspondence between these one-stage structures and AGM belief revision functions is established. We then add branching time and consider more general structures that accommodate iterated revision. AGM temporal revision ...

Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evaluate and classify normative system change methods is the so-called AGM framework of theory change, which has originally been developed as a framework to describe and classify both belief and normative system change. Howe...

This study primarily examined the role of Minority Shareholder Watch Group (MSWG), regarded as an advocate for shareholder activism in Malaysia, encouraging management to take actions shareholders’ interests by making minutes annual general meeting (AGM) available electronically. was assessed through companies monitored MSWG and participation based on percentage issued shares that voted at AGM....

Vertebrate hematopoietic stem cells (HSCs) emerge in the aorta-gonad-mesonephros (AGM) region from "hemogenic" endothelium. Here we show that the proinflammatory cytokine interferon-γ (IFN-γ) and its receptor Crfb17 positively regulate HSC development in zebrafish. This regulation does not appear to modulate the proliferation or survival of HSCs or endothelial cells, but rather the endothelial-...

One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The AGM approach, introduced in (Alchourron, Gärdenfors, and Makinson 1985), is the dominating paradigm in the area but it makes some non-elementary assumptions about the logic at hand which disallow its direct applicatio...

This paper shows how controlled-invariant manifolds in hybrid dynamical systems can be used to reduce the offline computational burden associated with locally exponentially stabilizing periodic orbits. We recently introduced a method to systematically select stabilizing feedback controllers for hybrid periodic orbits from a family of parameterized control laws by solving offline optimization pr...

The coupling between the spin of a massive Dirac fermion and angular momentum medium, i.e. gravitomagnetic moment, is shown here to be renormalized by QED interactions at finite temperature. This means that anomalous moment (AGM) does not vanish, implies thermal effects can break Einstein equivalence principle in quantum field theory, as argued previously. We also show AGM causes radiative corr...

CCR5, a receptor for the CC chemokines RANTES, Mip1alpha, and Mip1beta, has been identified as a coreceptor for infections by macrophage-tropic isolates of human immunodeficiency virus type 1 (HIV-1). To study its structure and function, we isolated cDNA clones of human, African green monkey (AGM), and NIH/Swiss mouse CCR5s, and we quantitatively analyzed infections by macrophage-tropic HIV-1 a...

Since they were introduced, AGM revision and Katsuno and Mendelzon's update have been considered orthogonal theory change operations serving diierent purposes. This work provides a new presentation of AGM revision based on the update semantic apparatus establishing in such a way a bridge between the two seemingly incomparable frameworks. We deene a new operation as a variant of the standard upd...