Quality of General Game Playing (GGP) matches suffers from slow state-switching and weak knowledge modules. Instantiation and Propositional Networks offer great performance gains over Prolog-based reasoning, but do not scale well. In this publication mGDL, a variant of GDL stripped of function constants, has been defined as a basis for simple reasoning machines. mGDL allows to easily map rules ...

The transport characteristics of water slugs in a bent gas channel of a polymer electrolyte membrane (PEM) fuel cell are numerically studied using the volume of fluid (VOF) method. To investigate the effects of channel cross-sectional shape in a channel flooding situation, the gas channels (GCs) with one rectangular and two trapezoidal cross sections are compared. Parametric studies are also co...

We propose an extension of the standard game description language for general game playing to include epistemic games, which are characterised by rules that depend on the knowledge of players. A single additional keyword suffices to define GDL-III, a general description language for games with imperfect information and introspection. We present an Answer Set Program for automatically reasoning ...

The Game Description Language (GDL) used in General Game Playing (GGP) competitions provides a compact way to express multi-agents systems. Multiple features of GDL contribute to making it a convenient tool to describe multi-agent systems. We study the computational complexity of reasoning in GGP using various combinations of these features. Our analysis offers a complexity landscape for GGP wi...

22 n 1997 North Carolina was one of the first two states in the nation to adopt a Graduated Driver Licensing system (GDL) to reduce motor vehicle crashes among young novice drivers. This policy was driven heavily by scientific research. At that time, motor vehicle crashes were the leading cause of death among teenagers. The adoption of GDL led to a sharp decline in teenage driver crashes and a ...

The objective of this work is to propose the design and deployment of sensor networks and the Internet of Things (IoT) in the Guadalajara Smart City. Initially, all project development was conducted at the Living Lab in the Smart Cities Innovation Center at the CUCEA University of Guadalajara (UDG). Once the first sensor networks are functional, the goal is to transfer the experience to the fir...

The Game Description Language (GDL) has been developed for the purpose of formalizing game rules. It serves as the input language for general game players, which are systems that learn to play previously unknown games without human intervention. In this paper, we show how GDL descriptions can be intepreted as multiagent domains and, conversely, how a large class of multiagent environments can b...

The game description language with incomplete information (GDL-II) is expressive enough to capture partially observable stochastic multi-agent games. Unfortunately, such expressiveness does not come without a price: the problem of finding a winning strategy is NEXPNP-hard, a complexity class which is far beyond the reach of modern constraint solvers. In this paper, we identify a PSPACE-complete...

CONTEXT Graduated driver licensing (GDL) programs are being adopted in many states to address the high rate of motor vehicle fatalities among teens by requiring teenaged drivers to gain experience and maturity under conditions of relatively low crash risk before gaining full driving privileges. OBJECTIVE To evaluate the early impact of Michigan's GDL program on traffic crashes among 16-year-o...

Graduated driver licensing (GDL) programs are specialized licensing systems for beginner drivers adopted in all U.S. states, Australia, Canada, and New Zealand. GDL programs reduce novice drivers' exposure to high-risk driving situations while they gain driving experience. Several studies document the success of GDL programs overall in reducing young teen crash rates. However, little is known a...