Approaches for testing sets of variants, such as a set of rare or common variants within a gene or pathway, for association with complex traits are important. In particular, set tests allow for aggregation of weak signal within a set, can capture interplay among variants, and reduce the burden of multiple hypothesis testing. Until now, these approaches did not address confounding by family relatedness and population structure, a problem that is becoming more important as larger data sets are used to increase power. Results: We introduce a new approach for set tests that handles confounders. Our model is based on the linear mixed model and uses two random effects-one to capture the set association signal and one to capture confounders. We also introduce a computational speedup for two-random-effects models that makes this approach feasible even for extremely large cohorts. Using this model with both the likelihood ratio test and score test, we find that the former yields more power while controlling type I error. Application of our approach to richly structured GAW14 data demonstrates that our method successfully corrects for population structure and family relatedness, while application of our method to a 15,000 individual Crohn's disease case-control cohort demonstrates that it additionally recovers genes not recoverable by univariate analysis. Availability: A Python-based library implementing our approach is available at http://mscompbio.codeplex.com

Rewriting-based approaches for answering queries over an OWL 2 DL ontology have so far been developed mainly for Horn fragments of OWL 2 DL. In this paper, we study the possibilities of answering queries over non-Horn ontologies using datalog rewritings. We prove that this is impossible in general even for very simple ontology languages, and even if PTIME = NP. Furthermore, we present a resolution-based procedure for $\SHI$ ontologies that, in case it terminates, produces a datalog rewriting of the ontology. Our procedure necessarily terminates on DL-Lite_{bool}^H ontologies---an extension of OWL 2 QL with transitive roles and Boolean connectives.

In this article we present DrillEdge — a commercial and award winning software system that monitors oil-well drilling operations in order to reduce non-productive time (NPT). DrillEdge utilizes case-based reasoning with temporal representations on streaming real-time data, pattern matching and agent systems to predict problems and give advice on how to mitigate the problems. The methods utilized, the architecture, the GUI and development cost in addition to two case studies are documented.

Our selections for this issue describe deployed applications. They explain the context, requirements, and constraints of the application, how the technology was adapted to satisfy those factors, and the impact that this innovation brought to the operation in terms of cost and performance. The articles also supply useful insights into use cases that we hope can also be translated to other work that the AI community is engaged in. In the first of these deployed application articles, eBird: A Human/Computer Learning Network to Improve Biodiversity Conservation and Research by Steve Kelling, Carl Lagoze, Weng-Keen Wong, Jun Yu, Theodoros Damoulas, Jeff Gerbracht, Daniel Fink, and Carla Gomes, the authors describe an intriguing application that successfully combines the best in human and artificial computing capabilities with an active feedback loop between people and machines. The next two papers articles describe high-value industrial applications where diagnostic capabilities avoid considerable cost and accidents on a daily basis.

IAAI-14 will be held July Sixth Annual Symposium on Combinatorial 27-31, 2014, in Quebec City, Quebec, Search. SoCS 2013 will be AAAI Spring Symposium Series. ICINCO 2013 will be Seventh International AAAI Conference on Weblogs and Social Media. Twenty-Sixth International FLAIRS held July 28-31, 2013 in Reykjavík, ICWSM-13 will be held July 8-11, 2013 Conference. Twenty-Seventh AAAI Conference on Twenty-Third International Conference COGSCI 2013 will be held July 31 - Artificial Intelligence and Twenty-on Automated Planning and August 3, 2013 in Berlin, Germany Fifth Innovative Applications of Artificial Scheduling.

The Association for the Advancement of Artificial Intelligence was pleased to present the 2012 Fall Symposium Series, held Friday through Sunday, November 2–4, at the Westin Arlington Gateway in Arlington, Virginia. The titles of the eight symposia were as follows: AI for Gerontechnology (FS-12-01), Artificial Intelligence of Humor (FS-12-02), Discovery Informatics: The Role of AI Research in Innovating Scientific Processes (FS-12-03), Human Control of Bio-Inspired Swarms (FS-12-04), Information Retrieval and Knowledge Discovery in Biomedical Text (FS-12-05), Machine Aggregation of Human Judgment (FS-12-06), Robots Learning Interactively from Human Teachers (FS-12-07), and Social Networks and Social Contagion (FS-12-08). The highlights of each symposium are presented in this report.

The Swedish Institute of Computer Science (SICS) has for several years developed methods for statistical anomaly detection based on a framework called Bayesian principal anomaly (Holst and Ekman 2011). In this article we describe a novel application Addtrack is a tool developed originally by Bombardier domain for the anomaly-detection method: condition Transportation for general analysis, monitoring, monitoring of trains (Holst, Ekman, and and visualization of train conditions and Larsen 2006). It is "intelligent" in statistical models. There are currently many the sense that analysis modules, such as the one popular anomaly-detection methods based on described in this article, can be used to preprocess nonparametric models (see, for example, Ahmed, and visualize data sets. Addtrack, including the anomalydetection model is very general since the parametric module described in this article, is forms of the distributions need not be currently deployed in Sweden, India, China, and known.

The deadline for the discounted AAAI rate is June AAAI-13 invites short papers on latebreaking for volunteer applications is May 1, 19, 2013. A special student rate has al-developments in the field of 2013.

The Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE) was held October 8-12, 2012, at Stanford University in Palo Alto, California. The conference included a research and industry track as well as a demonstration program. The conference featured 16 technical papers, 16 posters, and one demonstration, along with invited speakers, the StarCraft Ai competition, a newly-introduced Doctoral Consortium, and 5 workshops. This report summarizes the activities of the conference.

The 2012 AIIDE Conference included four workshops: Artificial Intelligence in Adversarial Real-Time Games, Human Computation in Deigital Entertainment and AI for Serious Games, Intelligent Narrative Technologies, and Musican Metacreation. The workshops took place October 8-9, 2012 at Stanford University. This report contains summaries of the activities of those four workshops.