We investigate partial order reduction for model checking multiagent systems by focusing on interleaved interpreted systems. These are a particular class of interpreted systems, a mainstream MAS formalism, in which only one action at the time is performed. We present a notion of stuttering-equivalence, and prove the semantical equivalence of stuttering-equivalent traces with respect to linear a...

Different reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as much as possible from their strengths and retain as little as possible from their weaknesses. Of particular interest is the integration of first-order and higher-order techniques. First-order reasoning systems, on the one hand, have reached considerable strength in som...

To gain competitive advantage in a fast changing environment, the higher education institution (HEI) must continuously adjust the strategies to that environment. One important strategy is how to determine appropriate practical actions based on what students really need and want. Despite the abundance of research on service quality management, there is no universal consensus on how best to deter...

Building up Electronic Health Record (EHR) systems is considered a promising approach to improve health care quality in China. In order to meet the challenges of EHR semantic interoperability, we present a HL7 Clinical Document Architecture (CDA) R2 based EHR system prototype developed for Guangdong Hospital of Traditional Chinese Medicine (GDHTCM). In particular, we demonstrate how semantic te...

‎Recently‎, ‎a new distribution‎, ‎named as extended generalized exponential distribution‎, ‎has been introduced by Kundu and Gupta (2011). ‎In this paper‎, ‎we consider the extended generalized exponential distribution with known shape parameters α and β. ‎At first‎, ‎the exact expressions for marginal and product moments of o...

This article forages the fruits of Radbruch’s Legal Philosophy of 1932, taking into account his writings after the horrors of National Socialism in Germany. This contribution builds on the findings of my chapter concerning Radbruch’s inquiry into the origins of the criminal law, in Foundational Texts in Modern Criminal Law. In that chapter I present the rise of the sovereign state as a precondi...