Journal of Artificial Intelligence Research JAIR (ISSN 11076 - 9757) covers all areas of artificial intelligence (AI), publishing refereed research articles, survey articles, and technical notes. http://jair.org © Copyright 1993-2008 AI Access Foundation, Inc. 1440 Mon, 30 Aug 2010 20:45:41 -0500 30 Aug 2010 20:38:55 UT Using Local Alignments for Relation Recognition http://www.jair.org/papers/paper2964.html S. Katrenko, P. W. Adriaans and M. van Someren ML http://www.jair.org/comments.html http://www.jair.org/papers/paper2964.html Mon, 17 May 2010 18:12:24 -0500 Journal of Artificial Intelligence Research Change in Abstract Argumentation Frameworks: Adding an Argument http://www.jair.org/papers/paper2965.html C. Cayrol, F. Dupin de Saint-Cyr and M. Lagasquie-Schiex KR http://www.jair.org/comments.html http://www.jair.org/papers/paper2965.html Fri, 21 May 2010 10:39:05 -0500 Journal of Artificial Intelligence Research BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm http://www.jair.org/papers/paper2849.html W. Yeoh, A. Felner and S. Koenig Search/CSP http://www.jair.org/comments.html http://www.jair.org/papers/paper2849.html Sun, 23 May 2010 18:15:24 -0500 Journal of Artificial Intelligence Research A Survey of Paraphrasing and Textual Entailment Methods http://www.jair.org/papers/paper2985.html I. Androutsopoulos and P. Malakasiotis NLP http://www.jair.org/comments.html http://www.jair.org/papers/paper2985.html Fri, 28 May 2010 14:54:23 -0500 Journal of Artificial Intelligence Research Constructing Reference Sets from Unstructured, Ungrammatical Text http://www.jair.org/papers/paper2937.html M. Michelson and C. A. Knoblock WebAgent http://www.jair.org/comments.html http://www.jair.org/papers/paper2937.html Fri, 28 May 2010 23:36:47 -0500 Journal of Artificial Intelligence Research Grounding FO and FO(ID) with Bounds http://www.jair.org/papers/paper2980.html
Besides a first-order theory and finite domain, the input for grounders contains in many applications also additional data. By exploiting this data, the size of the grounder's output can often be reduced significantly. A common practice to improve the efficiency of a grounder in this context is by manually adding semantically redundant information to the input theory, indicating where and when the grounder should exploit the data. In this paper we present a method to compute and add such redundant information automatically. Our method therefore simplifies the task of writing input theories that can be grounded efficiently by current systems. We first present our method for classical first-order logic (FO) theories. Then we extend it to FO(ID), the extension of FO with inductive definitions, which allows for more concise and comprehensive input theories. We discuss implementation issues and experimentally validate the practical applicability of our method.]]> J. Wittocx, M. Mariën and M. Denecker KR http://www.jair.org/comments.html http://www.jair.org/papers/paper2980.html Sat, 29 May 2010 18:58:57 -0500 Journal of Artificial Intelligence Research Developing Approaches for Solving a Telecommunications Feature Subscription Problem http://www.jair.org/papers/paper2992.html D. Lesaint, D. Mehta, B. O'Sullivan, L. Quesada and N. Wilson Search/CSP http://www.jair.org/comments.html http://www.jair.org/papers/paper2992.html Sat, 19 Jun 2010 21:20:28 -0500 Journal of Artificial Intelligence Research Fast Set Bounds Propagation Using a BDD-SAT Hybrid http://www.jair.org/papers/paper3014.html G. Gange, P. J. Stuckey and V. Lagoon Search/CSP http://www.jair.org/comments.html http://www.jair.org/papers/paper3014.html Fri, 25 Jun 2010 19:32:47 -0500 Journal of Artificial Intelligence Research Mixed Strategies in Combinatorial Agency http://www.jair.org/papers/paper2961.html M. Babaioff, M. Feldman and N. Nisan MAS/Cecon http://www.jair.org/comments.html http://www.jair.org/papers/paper2961.html Tue, 27 Jul 2010 19:00:22 -0500 Journal of Artificial Intelligence Research Approximate Model-Based Diagnosis Using Greedy Stochastic Search http://www.jair.org/papers/paper3025.html A. Feldman, G. Provan and A. van Gemund Search/CSP http://www.jair.org/comments.html http://www.jair.org/papers/paper3025.html Tue, 27 Jul 2010 19:10:42 -0500 Journal of Artificial Intelligence Research Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments http://www.jair.org/papers/paper3004.html
In this paper, we formally define and analyze this constrained, sequential optimization problem in both the single-agent and multi-agent contexts. We present a family of mixed integer linear programming (MILP) formulations of this problem that can optimally create phases (when phases are not predefined) accounting for costs and limitations in phase creation. Because our formulations multaneously also find the optimal allocations of resources at each phase and the optimal policies for using the allocated resources at each phase, they exploit structure across these coupled problems. This allows them to find solutions significantly faster(orders of magnitude faster in larger problems) than alternative solution techniques, as we demonstrate empirically.]]> J. Wu and E. H. Durfee MAS/Cecon http://www.jair.org/comments.html http://www.jair.org/papers/paper3004.html Fri, 30 Jul 2010 11:39:36 -0500 Journal of Artificial Intelligence Research A Minimum Relative Entropy Principle for Learning and Acting http://www.jair.org/papers/paper3062.html P. A. Ortega and D. A. Braun Prob http://www.jair.org/comments.html http://www.jair.org/papers/paper3062.html Mon, 16 Aug 2010 17:36:15 -0500 Journal of Artificial Intelligence Research Algorithms for Closed Under Rational Behavior (CURB) Sets http://www.jair.org/papers/paper3070.html M. Benisch, G. B. Davis and T. Sandholm MAS/Cecon http://www.jair.org/comments.html http://www.jair.org/papers/paper3070.html Fri, 20 Aug 2010 19:42:08 -0500 Journal of Artificial Intelligence Research Logical Foundations of RDF(S) with Datatypes http://www.jair.org/papers/paper3088.html J. de Bruijn and S. Heymans KR http://www.jair.org/comments.html http://www.jair.org/papers/paper3088.html Fri, 20 Aug 2010 19:49:58 -0500 Journal of Artificial Intelligence Research Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction http://www.jair.org/papers/paper2986.html M. A. Abedin, V. Ng and L. Khan NLP http://www.jair.org/comments.html http://www.jair.org/papers/paper2986.html Thu, 26 Aug 2010 20:05:34 -0500 Journal of Artificial Intelligence Research Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints http://www.jair.org/papers/paper3060.html
In this paper, an approach to define NTU games is proposed which is based on describing allowed distributions via a set of mixed-integer linear constraints applied to an underlying TU game. It is shown that such games allow non-transferable conditions on worth distributions to be specified in a natural and succinct way. The properties and the relationships among the most prominent solution concepts for NTU games that hold when they are applied on (mixed-integer) constrained games are investigated. Finally, a thorough analysis is carried out to assess the impact of issuing constraints on the computational complexity of some of these solution concepts.]]> G. Greco, E. Malizia, L. Palopoli and F. Scarcello MAS/Cecon http://www.jair.org/comments.html http://www.jair.org/papers/paper3060.html Thu, 26 Aug 2010 21:34:14 -0500 Journal of Artificial Intelligence Research Automatic Induction of Bellman-Error Features for Probabilistic Planning http://www.jair.org/papers/paper3021.html J. Wu and R. Givan Plan/Sched http://www.jair.org/comments.html http://www.jair.org/papers/paper3021.html Mon, 30 Aug 2010 00:00:00 -0500 Journal of Artificial Intelligence Research