The main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent i’s power of achieving a certain result and an agent i’s power over another agent j (alias social power).

Monotonic and dual monotonic language learning from positive as well as from positive and negative examples is investigated. Three di erent notions of monotonicity are considered. Each of them re ects an alternative formalization of the requirement that the learner has to produce better and better generalizations when fed more and more data on the concept to be learned. Strong{monotonicity abso...

AAx Grammars are members of the family of Two-Level Grammars, along with W-grammars, Metamorphosis Grammars and Attribute Grammars. In this tutorial we shall be concerned with the nature and rationale of AAx Grammars and their application in describing programming languages. Some parsing and aax evaluation methods for deterministic and nondeterministic AAx Grammars are discussed. By means of an...