We examine the interactions of knowledge and awareness in dynamic epistemic logic. Implicit knowledge describes the things that an agent could infer from what is known, if the agent were aware of the necessary concepts. Reasoning techniques that are robust to incomplete awareness are important when considering interactions of automated agents in complex dynamic environments, such as the semanti...

This study focuses on performance of H-shaped steel beams to CFT column rigid connections. To this end, the effects of internal and external stiffeners on hysteretic behavior of connections were studied. Comparative numerical analyses carried out on eight different connections. To this end finite element models were prepared using ANSYS and nonlinear cyclic analyses carried out. Results of this...

This paper describes a narrative-oriented approach to the design and the analysis of a computational system and a set of activities for mathematical learning. Our central contention is that programming can offer a key to resolving the tension between the different representational structures of narrative and mathematical formalism. In the course of describing our approach, we make a distinction...

In information processing tasks, sets may have a conjunctive or a disjunctive reading. In the conjunctive reading, a set represents an object of interest and its elements are subparts of the object, forming a composite description. In the disjunctive reading, a set contains mutually exclusive elements and refers to the representation of incomplete knowledge. It does not model an actual object o...

The paper fixes a formalization of dynamic epistemic logic, loosely based on Baltag, Moss, Solecki [1], and proves a number of useful facts about epistemic update logic. In particular, the notion of an action emulation is proposed as a notion of equivalence more appropriate for action models than bisimulation. It is proved that every bisimulation is an action emulation, but not vice versa, and ...

groundwaters hydrochemistry of ayrakan and cheshmeh shotori areas and geochemistry of rare earth elements, indicate ayrakan alkali granite as the origin of uranium and other dissolved elements in groundwaters of these areas. geochemical and hydrogeochemical studies as well as the trend of uranium and thorium transition and mobility in aqueous environments of these areas indicate uranium adsorpt...