This article applies an interdisciplinary agent-based model (ABM) of wildfire evacuation to the devastating 2018 in Mati, Greece, where second-deadliest 21st century took place. integrates natural hazard system (wildfire propagation) with sociotechnical response comprising social (population response) and engineered (transportation network shelter location) components. The research objective is...

Internet users are more and more playing multiple roles when connected on the Web, such as “posting”, “commenting”, “tagging” and “sharing” different kinds of information on various social media. Despite the research interest in the field of social networks, few has been done up to now w.r.t. information access in multi-relational social networks where queries can be multifaceted queries (e.g. ...

The article studies multi-modal (in particular temporal, tense, logics) possessing universal formulas. We prove (Theorems 11 and 12) that the admissibility problem for inference rules (inference rules with parameters) is decidable for all decidable multi-modal (in particular, temporal) logics possessing an universal formula and decidable w.r.t. unification (unification with parameters). These t...

Automatic image annotation (AIA) refers to the association of words to whole images which is considered as a promising and effective approach to bridge the semantic gap between low-level visual features and high-level semantic concepts. In this paper, we formulate the task of image annotation as a multi-label multi class semantic image classification problem and propose a simple yet effective m...

In this paper an investigation into the aspects of formal system speciication that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.