However, humans are proved to question: What is the connection between the arguments proposed behave differently, mixing rational and emotional by the participants of a debate and their emotional attitudes to guide their actions, and it has been status? Such question breaks down into the following subquestions: claimed that there exists a strong connection between (1) is the polarity of arguments and the relations the argumentation process and the emotions among them correlated with the polarity of the detected emotions?, felt by people involved in such process. In this paper, and (2) what is the relation between the kind and the we assess this claim by means of an experiment: amount of arguments proposed in a debate, and the mental during several debates people's argumentation engagement detected among the participants of the debate? in plain English is connected and compared to the emotions automatically detected from the participants. To answer these questions, we propose an empirical evaluation Our results show a correspondence between of the connection between argumentation and emotions.

Craig Knoblock (University of Southern California, USA) Hiroaki Kitano (Sony Computer Science Laboratories, Inc., Japan) Sebastian run (Stanford University, USA) Raj Reddy (Carnegie Mellon University, USA) Ramasamy Uthurusamy (General Motors Corporation, retired) Erik Sandewall (Linköping Universit...

List of committee members on the program committees of the IJCAI 2015 conference.

List of chairs of the 2015 IJCAI conference programs.

This is an exciting time to be an artificial intelligence researcher. AI technologies and applications have truly entered our everyday lives, with AI systems in use throughout society. Against this backdrop of AI’s remarkable success, the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015), to be held in Buenos Aires, Argentina between 25 and 31 July 2015, is poised to break several records. This is the first time the flagship international AI conference has been held in South America, and the number of submissions to the technical program has reached an historical high. These proceedings collect some of the most exciting research taking place in AI today and offer a window into the future. The theme of this year’s conference is Artificial Intelligence and Arts. Being held in Argentina, the home of Tango, the conference will feature invited talks, performances, demos and a technical track dedicated to the exploration and celebration of AI’s growing role in the Arts, both in enriching and producing Arts and in injecting art into AI to make it an elegant and more accessible scientific discipline.

Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine different expressions; in particular the Gödel and Lukasiewicz fuzzy connectives are usually considered, due to their properties. Although the Gödel conjunction can be easily eliminated from rule heads, we show through complexity arguments that such a simplification is infeasible in general for all other connectives. The paper analyzes a translation of FASP programs into satisfiability modulo theories (SMT), which in general produces quantified formulas because of the minimality of the semantics. Structural properties of many FASP programs allow to eliminate the quantification, or to sensibly reduce the number of quantified variables. Indeed, integrality constraints can replace recursive rules commonly used to force Boolean interpretations, and completion subformulas can guarantee minimality for acyclic programs with atomic heads. Moreover, head cycle free rules can be replaced by shifted subprograms, whose structure depends on the eliminated head connective, so that ordered completion may replace the minimality check if also Lukasiewicz disjunction in rule bodies is acyclic. The paper also presents and evaluates a prototype system implementing these translations. KEYWORDS: answer set programming, fuzzy logic, satisfiability modulo theories.

We investigate model theoretic properties of XPath with data (in)equality tests over the class of data trees, i.e., the class of trees where each node contains a label from a finite alphabet and a data value from an infinite domain. We provide notions of (bi)simulations for XPpath logics containing the child, parent, ancestor and descendant axes to navigate the tree. We show that these notions precisely characterize the equivalence relation associated with each logic. We study formula complexity measures consisting of the number of nested axes and nested subformulas in a formula; these notions are akin to the notion of quantifier rank in first-order logic. We show characterization results for fine grained notions of equivalence and (bi)simulation that take into account these complexity measures. We also prove that positive fragments of these logics correspond to the formulas preserved under (non-symmetric) simulations. We show that the logic including the child axis is equivalent to the fragment of first-order logic invariant under the corresponding notion of bisimulation. If upward navigation is allowed the characterization fails but a weaker result can still be established. These results hold both over the class of possibly infinite data trees and over the class of finite data trees. Besides their intrinsic theoretical value, we argue that bi-simulations are useful tools to prove (non)expressivity results for the logics studied here, and we substantiate this claim with examples.

This paper explores the use of general-purpose machine translation (MT) in assisting the users of computer-aided translation (CAT) systems based on translation memory (TM) to identify the target words in the translation proposals that need to be changed (either replaced or removed) or kept unedited, a task we term as "word-keeping recommendation". MT is used as a black box to align source and target sub-segments on the fly in the translation units (TUs) suggested to the user. Source-language (SL) and target-language (TL) segments in the matching TUs are segmented into overlapping sub-segments of variable length and machine-translated into the TL and the SL, respectively. The bilingual sub-segments obtained and the matching between the SL segment in the TU and the segment to be translated are employed to build the features that are then used by a binary classifier to determine the target words to be changed and those to be kept unedited. In this approach, MT results are never presented to the translator. Two approaches are presented in this work: one using a word-keeping recommendation system which can be trained on the TM used with the CAT system, and a more basic approach which does not require any training. Experiments are conducted by simulating the translation of texts in several language pairs with corpora belonging to different domains and using three different MT systems. We compare the performance obtained to that of previous works that have used statistical word alignment for word-keeping recommendation, and show that the MT-based approaches presented in this paper are more accurate in most scenarios. In particular, our results confirm that the MT-based approaches are better than the alignment-based approach when using models trained on out-of-domain TMs. Additional experiments were performed to check how dependent the MT-based recommender is on the language pair and MT system used for training. These experiments confirm a high degree of reusability of the recommendation models across various MT systems, but a low level of reusability across language pairs.

Most real-world networks exhibit community structure, a phenomenon characterized by existence of node clusters whose intra-edge connectivity is stronger than edge connectivities between nodes belonging to different clusters. In addition to facilitating a better understanding of network behavior, community detection finds many practical applications in diverse settings. Communities in online social networks are indicative of shared functional roles, or affiliation to a common socio-economic status, the knowledge of which is vital for targeted advertisement. In buyer-seller networks, community detection facilitates better product recommendations. Unfortunately, reliability of community assignments is hindered by anomalous user behavior often observed as unfair self-promotion, or "fake" highly-connected accounts created to promote fraud. The present paper advocates a novel approach for jointly tracking communities while detecting such anomalous nodes in time-varying networks. By postulating edge creation as the result of mutual community participation by node pairs, a dynamic factor model with anomalous memberships captured through a sparse outlier matrix is put forth. Efficient tracking algorithms suitable for both online and decentralized operation are developed. Experiments conducted on both synthetic and real network time series successfully unveil underlying communities and anomalous nodes.

This paper describes a system that automatically transforms a PDDL encoding, calls a planner to solve the transformed representation, and translates the solution back into the original representation. The approach involves counting objects that are indistinguishable, rather than treating them as individuals, which eliminates some unnecessary combinatorial explosion.