Table of Contents

• Towards a Robust Deep Language Understanding SystemMehdi Hafezi Manshadi. [doi]
• Computational Social Choice: Strategic and Combinatorial AspectsLirong Xia. [doi]
• Framework and Schema for Semantic Web Knowledge BasesJames P. McGlothlin. [doi]
• Integrating Reinforcement Learning into a Programming LanguageChristopher Simpkins. [doi]
• Multi-Agent Fault Tolerance Inspired by a Computational Analysis of CancerMegan Olsen. [doi]
• Interactive Task-Plan LearningShuonan Dong. [doi]
• Continual On-Line PlanningSofia Lemons. [doi]
• On Multi-Robot Area CoveragePooyan Fazli. [doi]
• Detecting Social Ties and Copying Events from Affiliation DataLisa Friedland. [doi]
• Integrating Expert Knowledge and ExperienceBen George Weber. [doi]
• Enhancing Affective Communication in Embodied Conversational AgentsMichelle Denise Leonhardt. [doi]
• Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable DomainsFinale Doshi-Velez. [doi]
• Local Optimization for Simulation of Natural MotionTom Erez. [doi]
• Hierarchical Skill Learning for High-Level PlanningJames MacGlashan. [doi]
• A New Algorithm for Weighted Partial MaxSATCarlos Ansótegui, Maria Luisa Bonet, Jordi Levy. 3-8 [doi]
• Exploiting Monotonicity in Interval Constraint PropagationIgnacio Araya, Gilles Trombettoni, Bertrand Neveu. 9-14 [doi]
• A Restriction of Extended Resolution for Clause Learning SAT SolversGilles Audemard, George Katsirelos, Laurent Simon. 15-20 [doi]
• Transmission Network Expansion Planning with Simulation OptimizationRussell Bent, Alan Berscheid, G. Loren Toole. 21-26 [doi]
• Propagating Conjunctions of AllDifferent ConstraintsChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. 27-32 [doi]
• Independent Additive Heuristics Reduce Search MultiplicativelyTeresa Maria Breyer, Richard E. Korf. 33-38 [doi]
• 1.6-Bit Pattern DatabasesTeresa Maria Breyer, Richard E. Korf. 39-44 [doi]
• EWLS: A New Local Search for Minimum Vertex CoverShaowei Cai, Kaile Su, Qingliang Chen. 45-50 [doi]
• High-Quality Policies for the Canadian Traveler s ProblemPatrick Eyerich, Thomas Keller, Malte Helmert. 51-58 [doi]
• Single-Frontier Bidirectional SearchAriel Felner, Carsten Moldenhauer, Nathan R. Sturtevant, Jonathan Schaeffer. 59-64 [doi]
• Fast Local Search Algorithm for Weighted Feedback Arc Set in TournamentsFedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh. 65-70 [doi]
• Exploiting QBF Duality on a Circuit RepresentationAlexandra Goultiaeva, Fahiem Bacchus. 71-76 [doi]
• Symmetry in SolutionsMarijn Heule, Toby Walsh. 77-82 [doi]
• Optimal Rectangle Packing on Non-Square BenchmarksEric Huang, Richard E. Korf. 83-88 [doi]
• A Novel Transition Based Encoding Scheme for Planning as SatisfiabilityRuoyun Huang, Yixin Chen, Weixiong Zhang. 89-94 [doi]
• Parallel Depth First Proof Number SearchTomoyuki Kaneko. 95-100 [doi]
• A First Practical Algorithm for High Levels of Relational ConsistencyShant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere. 101-107 [doi]
• Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number SearchAkihiro Kishimoto. 108-113 [doi]
• Searching Without a Heuristic: Efficient Use of AbstractionBradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte. 114-120 [doi]
• A Stronger Consistency for Soft Global Constraints in Weighted Constraint SatisfactionJimmy Lee, K. L. Leung. 121-127 [doi]
• An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique ProblemChu Min Li, Zhe Quan. 128-133 [doi]
• Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree SearchJeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak. 134-140 [doi]
• Filtering Bounded Knapsack Constraints in Expected Sublinear TimeYuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek. 141-146 [doi]
• Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3DAlex Nash, Sven Koenig, Craig A. Tovey. 147-154 [doi]
• Search Space Reduction Using Swamp HierarchiesNir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner. 155-160 [doi]
• Computing Cost-Optimal Definitely Discriminating TestsAnika Schumann, Jinbo Huang, Martin Sachenbacher. 161-166 [doi]
• Latent Class Models for Algorithm Portfolio MethodsBryan Silverthorn, Risto Miikkulainen. 167-172 [doi]
• Finding Optimal Solutions to Cooperative Pathfinding ProblemsTrevor Scott Standley. 173-178 [doi]
• Collaborative Expert Portfolio ManagementDavid H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella. 179-184 [doi]
• Using Lookaheads with Optimal Best-First SearchRoni Stern, Tamar Kulberis, Ariel Felner, Robert Holte. 185-190 [doi]
• The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO LoadingDejian Tu, Songshan Guo, Hu Qin, Wee-Chong Oon, Andrew Lim. 191-196 [doi]
• Coalition Structure Generation based on Distributed Constraint OptimizationSuguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius-Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui. 197-203 [doi]
• A Proof-Producing CSP SolverMichael Veksler, Ofer Strichman. 204-209 [doi]
• Hydra: Automatically Configuring Algorithms for Portfolio-Based SelectionLin Xu, Holger Hoos, Kevin Leyton-Brown. 210-216 [doi]
• New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the ParameterJunping Zhou, Minghao Yin, Chunguang Zhou. 217-222 [doi]
• Clickthrough Log Analysis by Collaborative RankingBin Cao, Dou Shen, Kuansan Wang, Qiang Yang. 224-229 [doi]
• Transfer Learning in Collaborative Filtering for Sparsity ReductionWeike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang. 230-235 [doi]
• Collaborative Filtering Meets Mobile Recommendation: A User-Centered ApproachVincent Wenchen Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang. 236-241 [doi]
• Past and Future of DL-LiteAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. 243-248 [doi]
• Ordered Completion for First-Order Logic Programs on Finite StructuresVernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou. 249-254 [doi]
• Reasoning about Imperfect Information Games in the Epistemic Situation CalculusVaishak Belle, Gerhard Lakemeyer. 255-260 [doi]
• Knowledge Compilation in the Modal Logic S5Meghyn Bienvenu, Hélène Fargier, Pierre Marquis. 261-266 [doi]
• Decomposed Utility Functions and Graphical Models for Reasoning about PreferencesRonen I. Brafman, Yagil Engel. 267-272 [doi]
• Representing Preferences Among SetsGerhard Brewka, Miroslaw Truszczynski, Stefan Woltran. 273-278 [doi]
• Node Selection Query Languages for TreesDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. 279-284 [doi]
• First-Order Indefinability of Answer Set Programs on Finite StructuresYin Chen, Yan Zhang, Yi Zhou. 285-290 [doi]
• Ontologies and Representations of MatterErnest Davis. 291-296 [doi]
• Two-Player Game Structures for Generalized Planning and Agent CompositionGiuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña. 297-302 [doi]
• Space Efficient Evaluation of ASP Programs with Bounded Predicate AritiesThomas Eiter, Wolfgang Faber, Mushthofa Mushthofa. 303-308 [doi]
• Situation Calculus as Answer Set ProgrammingJoohyung Lee, Ravi Palla. 309-314 [doi]
• In Defense of Large Qualitative CalculiJason Jingshi Li, Jochen Renz. 315-320 [doi]
• Topological Relations between Convex RegionsSanjiang Li, Weiming Liu. 321-326 [doi]
• Automated Program Debugging Via Multiple Predicate SwitchingYongmei Liu, Bing Li. 327-332 [doi]
• A Belief Revision Framework for Revising Epistemic States with Partial Epistemic StatesJianbing Ma, Weiru Liu, Salem Benferhat. 333-338 [doi]
• Inducing Probability Distributions from Knowledge Bases with (In)dependence RelationsJianbing Ma, Weiru Liu, Anthony Hunter. 339-344 [doi]
• A Lower Bound on the Size of Decomposable Negation Normal FormThammanit Pipatsrisawat, Adnan Darwiche. 345-350 [doi]
• Soundness Preserving Approximation for TBox ReasoningYuan Ren, Jeff Z. Pan, Yuting Zhao. 351-356 [doi]
• Dominance Testing via Model CheckingGanesh Ram Santhanam, Samik Basu, Vasant Honavar. 357-362 [doi]
• An Inconsistency-Tolerant Approach to Information Merging Based on Proposition RelaxationSteven Schockaert, Henri Prade. 363-368 [doi]
• A New Approach to Knowledge Base Revision in DL-LiteZhe Wang, Kewen Wang, Rodney W. Topor. 369-374 [doi]
• Decidable Fragments of First-Order Language Under Stable Model Semantics and CircumscriptionHeng Zhang, Mingsheng Ying. 375-380 [doi]
• Latent Variable Model for Learning in Pairwise Markov NetworksSaeed Amizadeh, Milos Hauskrecht. 382-387 [doi]
• Myopic Policies for Budgeted Optimization with Constrained ExperimentsJavad Azimi, Xiaoli Fern, Alan Fern, Elizabeth Burrows, Frank Chaplen, Yanzhen Fan, Hong Liu, Jun Jaio, Rebecca Schaller. 388-393 [doi]
• Assisting Users with Clustering Tasks by Combining Metric Learning and ClassificationSumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu. 394-400 [doi]
• The Induction and Transfer of Declarative BiasWill Bridewell, Ljupco Todorovski. 401-406 [doi]
• Adaptive Transfer LearningBin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang. 407-412 [doi]
• G-Optimal Design with Laplacian RegularizationChun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang 0005, Cheng Zhang. 413-418 [doi]
• What if the Irresponsible Teachers Are Dominating?Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang. 419-424 [doi]
• Learning Spatial-Temporal Varying Graphs with Applications to Climate Data AnalysisXi Chen, Yan Liu, Han Liu, Jaime G. Carbonell. 425-430 [doi]
• Properties of Bayesian Dirichlet Scores to Learn Bayesian Network StructuresCassio Polpo de Campos, Qiang Ji. 431-436 [doi]
• Interactive Learning Using Manifold GeometryEric Eaton, Gary Holness, Daniel McFarlane. 437-443 [doi]
• Learning Discriminative Piecewise Linear Models with Boundary PointsKun Gai, Changshui Zhang. 444-450 [doi]
• Facial Age Estimation by Learning from Label DistributionsXin Geng, Kate Smith-Miles, Zhi-Hua Zhou. 451-456 [doi]
• Exact Algorithms and Experiments for Hierarchical Tree ClusteringSepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann. 457-462 [doi]
• A Topic Model for Linked Documents and Update Rules for its EstimationZhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong. 463-468 [doi]
• Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping CategoriesYahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu. 469-474 [doi]
• Two-Stage Sparse Representation for Robust Recognition on Large-Scale DatabaseRan He, Bao-Gang Hu, Wei-Shi Zheng, Yanqing Guo. 475-480 [doi]
• Reinforcement Learning Via Practice and Critique AdviceKshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich. 481-486 [doi]
• Structure Learning for Markov Logic Networks with Many Descriptive AttributesHassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina. 487-493 [doi]
• The Genetic Algorithm as a General Diffusion Model for Social NetworksMayank Lahiri, Manuel Cebrián. 494-499 [doi]
• Cost-Sensitive Semi-Supervised Support Vector MachineYu-Feng Li, James T. Kwok, Zhi-Hua Zhou. 500-505 [doi]
• Non-Negative Matrix Factorization with ConstraintsHaifeng Liu, Zhaohui Wu. 506-511 [doi]
• Gaussian Mixture Model with Local ConsistencyJialu Liu, Deng Cai, Xiaofei He. 512-517 [doi]
• Constrained Metric Learning Via Distance Gap MaximizationWei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu. 518-524 [doi]
• Multilinear Maximum Distance Embedding Via L1-Norm OptimizationYang Liu, Yan Liu, Keith C. C. Chan. 525-530 [doi]
• Learning Causal Models of Relational DomainsMarc Maier, Brian Taylor, Huseyin Oktay, David Jensen. 531-538 [doi]
• Non-Metric Locality-Sensitive HashingYadong Mu, Shuicheng Yan. 539-544 [doi]
• A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted TopicsMichael Paul, Roxana Girju. 545-550 [doi]
• Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin SubspaceWei Ping, Ye Xu, Kexin Ren, Chi-Hung Chi, Shen Furao. 551-556 [doi]
• Conformal Mapping by Computationally Efficient MethodsStefan Pintilie, Ali Ghodsi. 557-562 [doi]
• Bayesian Matrix Factorization with Side Information and Dirichlet Process MixturesIan Porteous, Arthur Asuncion, Max Welling. 563-568 [doi]
• Semi-Supervised Dimension Reduction for Multi-Label ClassificationBuyue Qian, Ian Davidson. 569-574 [doi]
• Non-Negative Matrix Factorization Clustering on Multiple ManifoldsBin Shen, Luo Si. 575-580 [doi]
• Constrained Coclustering for Textual DocumentsYangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian. 581-586 [doi]
• Multi-Instance Dimensionality ReductionYu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou. 587-592 [doi]
• Multi-Label Learning with Weak LabelYu-Yin Sun, Yin Zhang, Zhi-Hua Zhou. 593-598 [doi]
• Nonparametric Curve Extraction Based on Ant Colony SystemQing Tan, Qing He, Zhongzhi Shi. 599-604 [doi]
• Reinforcement Learning via AIXI ApproximationJoel Veness, Kee Siong Ng, Marcus Hutter, David Silver. 605-611 [doi]
• Integrating Sample-Based Planning and Model-Based Reinforcement LearningThomas J. Walsh, Sergiu Goschin, Michael L. Littman. 612-617 [doi]
• Discriminant Laplacian EmbeddingHua Wang, Heng Huang, Chris H. Q. Ding. 618-623 [doi]
• Bayesian Policy Search for Multi-Agent Role DiscoveryAaron Wilson, Alan Fern, Prasad Tadepalli. 624-629 [doi]
• Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous ModelsDanny Wyatt, Tanzeem Choudhury, Jeff Bilmes. 630-636 [doi]
• Smooth Optimization for Effective Multiple Kernel LearningZenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King. 637-642 [doi]
• Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian NoiseMakoto Yamada, Masashi Sugiyama. 643-648 [doi]
• Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample ExtrapolationYi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang. 649-654 [doi]
• Multitask Bregman ClusteringJianwen Zhang, Changshui Zhang. 655-660 [doi]
• Transductive Learning on Adaptive GraphsYan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou. 661-666 [doi]
• Multi-Task Active Learning with Output ConstraintsYi Zhang 0010. 667-672 [doi]
• Efficient Spectral Feature Selection with Minimum RedundancyZheng Zhao, Lei Wang, Huan Liu. 673-678 [doi]
• Gaussian Process Latent Random FieldGuoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu. 679-684 [doi]
• Nonmanipulable Randomized Tournament SelectionsAlon Altman, Robert Kleinberg. 686-690 [doi]
• Competing SchedulersItai Ashlagi, Moshe Tennenholtz, Aviv Zohar. 691-696 [doi]
• Probabilistic Possible Winner DeterminationYoram Bachrach, Nadja Betzler, Piotr Faliszewski. 697-702 [doi]
• Coalitional Structure Generation in Skill GamesYoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli. 703-708 [doi]
• Transferable Utility Planning GamesRonen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz. 709-714 [doi]
• Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked ElectoratesFelix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra. 715-722 [doi]
• Private and Third-Party Randomization in Risk-Sensitive Equilibrium ConceptsMickey Brautbar, Michael Kearns, Umar Syed. 723-728 [doi]
• An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated GamesAndriy Burkov, Brahim Chaib-draa. 729-736 [doi]
• Approximation Algorithms and Mechanism Design for Minimax Approval VotingIoannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis. 737-742 [doi]
• Voting Almost Maximizes Social Welfare Despite Limited CommunicationIoannis Caragiannis, Ariel D. Procaccia. 743-748 [doi]
• A Distributed Algorithm for Optimising over Pure Strategy Nash EquilibriaArchie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings. 749-755 [doi]
• Truth, Justice, and Cake CuttingYiling Chen, John Lai, David C. Parkes, Ariel D. Procaccia. 756-761 [doi]
• Possible Winners when New Candidates Are Added: The Case of Scoring RulesYann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot. 762-767 [doi]
• Cloning in ElectionsEdith Elkind, Piotr Faliszewski, Arkadii M. Slinko. 768-773 [doi]
• Good Rationalizations of Voting RulesEdith Elkind, Piotr Faliszewski, Arkadii M. Slinko. 774-779 [doi]
• Lifting Rationality Assumptions in Binary AggregationUmberto Grandi, Ulle Endriss. 780-785 [doi]
• Intentions in EquilibriumJohn Grant, Sarit Kraus, Michael Wooldridge. 786-791 [doi]
• Security Games with Arbitrary Schedules: A Branch and Price ApproachManish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe. 792-797 [doi]
• Algorithms for Finding Approximate Formations in GamesPatrick R. Jordan, Michael P. Wellman. 798-804 [doi]
• Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation GamesDmytro Korzhyk, Vincent Conitzer, Ronald Parr. 805-810 [doi]
• Stability and Incentive Compatibility in a Kernel-Based Combinatorial AuctionSébastien Lahaie. 811-816 [doi]
• Facilitating the Evaluation of Automated Negotiators using Peer Designed AgentsRaz Lin, Sarit Kraus, Yinon Oshrat, Ya akov (Kobi) Gal. 817-822 [doi]
• Convergence to Equilibria in Plurality VotingReshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings. 823-828 [doi]
• Envy Quotes and the Iterated Core-Selecting Combinatorial AuctionAbraham Othman, Tuomas Sandholm. 829-835 [doi]
• Can Approximation Circumvent Gibbard-Satterthwaite?Ariel D. Procaccia. 836-841 [doi]
• Trust Models and Con-Man Agents: From Mathematical to Empirical AnalysisAmirali Salehi-Abari, Tony White. 842-847 [doi]
• Increasing Threshold Search for Best-Valued AgentsDavid Sarne, Simon Shamoun, Eli Rata. 848-853 [doi]
• Approximate Coalition Structure GenerationTravis C. Service, Julie A. Adams. 854-859 [doi]
• Accounting Mechanisms for Distributed Work SystemsSven Seuken, Jie Tang, David C. Parkes. 860-866 [doi]
• Asymmetric Spite in AuctionsAnkit Sharma, Tuomas Sandholm. 867-873 [doi]
• A Decentralised Coordination Algorithm for Mobile SensorsRuben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings. 874-880 [doi]
• Urban Security: Game-Theoretic Resource Allocation in Networked DomainsJason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe. 881-886 [doi]
• Automated Channel Abstraction for Advertising AuctionsWilliam E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George L. Nemhauser, David C. Parkes. 887-894 [doi]
• Fixing a TournamentVirginia Vassilevska Williams. 895-900 [doi]
• Beyond Equilibrium: Predicting Human Behavior in Normal-Form GamesJames R. Wright, Kevin Leyton-Brown. 901-907 [doi]
• Trial-Based Dynamic Programming for Multi-Agent PlanningFeng Wu, Shlomo Zilberstein, Xiaoping Chen. 908-914 [doi]
• Compilation Complexity of Common Voting RulesLirong Xia, Vincent Conitzer. 915-920 [doi]
• Stackelberg Voting Games: Computational Aspects and ParadoxesLirong Xia, Vincent Conitzer. 921-926 [doi]
• Multi-Agent Learning with Policy PredictionChongjie Zhang, Victor R. Lesser. 927-934 [doi]
• Dynamic Auction: A Tractable Auction ProcedureDongmo Zhang, Laurent Perrussel. 935-940 [doi]
• Sequential Incremental-Value AuctionsXiaoming Zheng, Sven Koenig. 941-946 [doi]
• Tolerable Manipulability in Dynamic Assignment without MoneyJames Zou, Sujit Gujar, David C. Parkes. 947-952 [doi]
• Learning Simulation Control in General Game-Playing AgentsHilmar Finnsson, Yngvi Björnsson. 954-959 [doi]
• User-Specific Learning for Recognizing a Singer s Intended PitchAndrew Guillory, Sumit Basu, Dan Morris. 960-966 [doi]
• A Computational Model for Saliency Maps by Using Local EntropyYuewei Lin, Bin Fang, Yuanyan Tang. 967-973 [doi]
• Grouping Strokes into Shapes in Hand-Drawn DiagramsEric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado. 974-979 [doi]
• Symmetry Detection in General Game PlayingStephan Schiffel. 980-985 [doi]
• Generalized Task Markets for Human and Machine ComputationDafna Shahaf, Eric Horvitz. 986-993 [doi]
• A General Game Description Language for Incomplete Information GamesMichael Thielscher. 994-999 [doi]
• A Temporal Proof System for General Game PlayingMichael Thielscher, Sebastian Voigt. 1000-1005 [doi]
• What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring ModelBi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee. 1007-1012 [doi]
• Automatic Attribution of Quoted Speech in Literary NarrativeDavid K. Elson, Kathleen McKeown. 1013-1019 [doi]
• Kernelized Sorting for Natural Language ProcessingJagadeesh Jagarlamudi, Seth Juarez, Hal Daumé III. 1020-1025 [doi]
• CAO: A Fully Automatic Emoticon Analysis SystemMichal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki. 1026-1032 [doi]
• Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google CorpusJohn J. Tanner, Fernando Gomez. 1033-1038 [doi]
• Forest-Based Semantic Role LabelingHao Xiong, Haitao Mi, Yang Liu, Qun Liu. 1039-1044 [doi]
• Bidirectional Integration of Pipeline ModelsXiaofeng Yu, Wai Lam. 1045-1050 [doi]
• Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPsChristopher Amato, Blai Bonet, Shlomo Zilberstein. 1052-1058 [doi]
• Multi-Agent Plan Recognition: Formalization and AlgorithmsBikramjit Banerjee, Landon Kraemer, Jeremy Lyle. 1059-1064 [doi]
• Using Bisimulation for Policy Transfer in MDPsPablo Samuel Castro, Doina Precup. 1065-1070 [doi]
• To Max or Not to Max: Online Learning for Speeding Up Optimal PlanningCarmel Domshlak, Erez Karpas, Shaul Markovitch. 1071-1076 [doi]
• An Analytic Characterization of Model Minimization in Factored Markov Decision ProcessesWenyuan Guo, Tze-Yun Leong. 1077-1082 [doi]
• Using Closed Captions as Supervision for Video Activity RecognitionSonal Gupta, Raymond J. Mooney. 1083-1088 [doi]
• PUMA: Planning Under Uncertainty with Macro-ActionsRuijie He, Emma Brunskill, Nicholas Roy. 1089-1095 [doi]
• SAP Speaks PDDLJörg Hoffmann, Ingo Weber, Frank Michael Kraft. 1096-1101 [doi]
• Structured Parameter ElicitationLi Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong. 1102-1107 [doi]
• SixthSense: Fast and Reliable Recognition of Dead Ends in MDPsAndrey Kolobov, Mausam, Daniel S. Weld. 1108-1114 [doi]
• Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous EffectsMatthew Molineaux, Matthew Klenk, David W. Aha. 1115-1120 [doi]
• Probabilistic Plan Recognition Using Off-the-Shelf Classical PlannersMiquel Ramírez, Hector Geffner. 1121-1126 [doi]
• Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated PoliciesKevin Regan, Craig Boutilier. 1127-1133 [doi]
• Recognizing Multi-Agent Activities from GPS DataAdam Sadilek, Henry A. Kautz. 1134-1139 [doi]
• Symbolic Dynamic Programming for First-order POMDPsScott Sanner, Kristian Kersting. 1140-1146 [doi]
• Compressing POMDPs Using Locality Preserving Non-Negative Matrix FactorizationGeorgios Theocharous, Sridhar Mahadevan. 1147-1152 [doi]
• Relational Partially Observable MDPsChenggang Wang, Roni Khardon. 1153-1158 [doi]
• Simultaneous Elicitation of Preference Features and UtilityCraig Boutilier, Kevin Regan, Paolo Viappiani. 1160-1167 [doi]
• Decision-Theoretic Control of Crowd-Sourced WorkflowsPeng Dai, Mausam, Daniel S. Weld. 1168-1174 [doi]
• Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical FeaturesEun Yong Kang, Ilya Shpitser, Eleazar Eskin. 1175-1180 [doi]
• Informed Lifting for Message-PassingKristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi. 1181-1186 [doi]
• Efficient Belief Propagation for Utility Maximization and Repeated InferenceAniruddh Nath, Pedro Domingos. 1187-1192 [doi]
• Efficient Lifting for Online Probabilistic InferenceAniruddh Nath, Pedro Domingos. 1193-1198 [doi]
• New Mini-Bucket Partitioning Heuristics for Bounding the Probability of EvidenceEmma Rollon, Rina Dechter. 1199-1204 [doi]
• On the Use of Prime Implicates in Conformant PlanningSon Thanh To, Tran Cao Son, Enrico Pontelli. 1205-1210 [doi]
• Epsilon-First Policies for Budget-Limited Multi-Armed BanditsTran-Thanh Long, Archie C. Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings. 1211-1216 [doi]
• DTProbLog: A Decision-Theoretic Probabilistic PrologGuy Van den Broeck, Ingo Thon, Martijn Van Otterlo, Luc De Raedt. 1217-1222 [doi]
• Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary TopologiesNicola Basilico, Nicola Gatti, Federico Villa. 1224-1229 [doi]
• Search-Based Path Planning with Homotopy Class ConstraintsSubhrajit Bhattacharya. 1230-1237 [doi]
• Design and Implementation of Two-level Synchronization for Interactive Music RobotTakuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno. 1238-1244 [doi]
• g-Planner: Real-time Motion Planning and Global Navigation using GPUsJia Pan, Christian Lauterbach, Dinesh Manocha. 1245-1251 [doi]
• A Single-Step Maximum A Posteriori Update for Bearing-Only SLAMStephen Tully, George Kantor, Howie Choset. 1252-1257 [doi]
• Saving Redundant Messages in BnB-ADOPTPatricia Gutierrez, Pedro Meseguer. 1259-1260 [doi]
• An Optimization Variant of Multi-Robot Path Planning Is IntractablePavel Surynek. 1261-1263 [doi]
• Multi-Label Classification: Inconsistency and Class Balanced K-Nearest NeighborHua Wang, Chris H. Q. Ding, Heng Huang. 1264-1266 [doi]
• Fast Conditional Density Estimation for Quantitative Structure-Activity RelationshipsFabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer. 1268-1273 [doi]
• Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight CliquesFranco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini. 1274-1279 [doi]
• A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR SpectraSiamak (Moshen) Ravanbakhsh, Barnabás Póczos, Russell Greiner. 1280-1286 [doi]
• A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple StringsQingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin. 1287-1292 [doi]
• GTPA: A Generative Model For Online Mentor-Apprentice NetworksMuhammad Aurangzeb Ahmad, David Huffaker, Jing Wang, Jeffrey William Treem, Marshall Scott Poole, Jaideep Srivastava. 1294-1299 [doi]
• Adopting Inference Networks for Online Thread RetrievalSumit Bhatia, Prasenjit Mitra. 1300-1305 [doi]
• Toward an Architecture for Never-Ending Language LearningAndrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka Jr., Tom M. Mitchell. 1306-1313 [doi]
• Visual Contextual Advertising: Bringing Textual Advertisements to ImagesYuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang. 1314-1320 [doi]
• Optimal Strategies for Reviewing Search ResultsJeff Huang, Anna Kazeykina. 1321-1326 [doi]
• Prioritization of Domain-Specific Web Information ExtractionJian Huang, Cong Yu. 1327-1333 [doi]
• Session Based Click Features for Recency RankingYoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng. 1334-1339 [doi]
• Utilizing Context in Generative Bayesian Models for Linked CorpusSaurabh Kataria, Prasenjit Mitra, Sumit Bhatia. 1340-1345 [doi]
• PR + RQ ALMOST EQUAL TO PQ: Transliteration Mining Using Bridge LanguageMitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya. 1346-1351 [doi]
• On the Reputation of Agent-Based Web ServicesBabak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran. 1352-1357 [doi]
• Towards an Intelligent Code Search EngineJinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim. 1358-1363 [doi]
• Learning to Predict Opinion Share in Social NetworksMasahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda. 1364-1370 [doi]
• Sentiment Analysis with Global Topics and Local DependencyFangtao Li, Minlie Huang, Xiaoyan Zhu. 1371-1376 [doi]
• Subjective Trust Inference in Composite ServicesLei Li, Yan Wang. 1377-1384 [doi]
• Temporal Information ExtractionXiao Ling, Daniel S. Weld. 1385-1390 [doi]
• Optimal Social Trust Path Selection in Complex Social NetworksGuanfeng Liu, Yan Wang 0002, Mehmet A. Orgun. 1391-1398 [doi]
• Diversifying Query Suggestion ResultsHao Ma, Michael R. Lyu, Irwin King. 1399-1404 [doi]
• Materializing and Persisting Inferred and Uncertain Knowledge in RDF DatasetsJames P. McGlothlin, Latifur R. Khan. 1405-1412 [doi]
• A Probabilistic-Logical Framework for Ontology MatchingMathias Niepert, Christian Meilicke, Heiner Stuckenschmidt. 1413-1418 [doi]
• Predicting the Importance of Newsfeed Posts and Social Network FriendsTim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi. 1419-1424 [doi]
• Extraction and Visualization of Implicit Social Relations on Social Networking ServicesMeesun Song, Wonkyu Lee, Junghwan Kim. 1425-1430 [doi]
• How Incomplete Is Your Semantic Web Reasoner?Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. 1431-1436 [doi]
• A General Framework for Representing and Reasoning with Annotated Semantic Web DataUmberto Straccia, Nuno Lopes 0002, Gergely Lukacsy, Axel Polleres. 1437-1442 [doi]
• Integrity Constraints in OWLJiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness. 1443-1448 [doi]
• News Recommendation in Forum-Based Social MediaJia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin. 1449-1454 [doi]
• Modeling Dynamic Multi-Topic Discussions in Online ForumsHao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang 0005, Jianfeng Shen. 1455-1460 [doi]
• Keyword Extraction and Headline Generation Using Novel Word FeaturesSonghua Xu, Shaohui Yang, Francis Lau. 1461-1466 [doi]
• Fast Algorithms for Top-k Approximate String MatchingZhenglu Yang, Jianjun Yu, Masaru Kitsuregawa. 1467-1473 [doi]
• Temporal and Social Context Based Burst Detection from FolksonomiesJunjie Yao, Bin Cui, Yuxin Huang, Xin Jin. 1474-1479 [doi]
• Commonsense Knowledge Mining from the WebChi-Hsin Yu, Hsin-Hsi Chen. 1480-1485 [doi]
• UserRec: A User Recommendation Framework in Social Tagging SystemsTom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King. 1486-1491 [doi]
• Automated Modelling and Solving in Constraint ProgrammingBarry O Sullivan. 1493-1497 [doi]
• Hidden Market DesignSven Seuken, Kamal Jain, David C. Parkes. 1498-1503 [doi]
• Ad Hoc Autonomous Agent Teams: Collaboration without Pre-CoordinationPeter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein. 1504-1509 [doi]
• Collusion Detection in Online BridgeJeff Yan. 1510-1515 [doi]
• Creating Dynamic Story Plots with Continual Multiagent PlanningMichael Brenner. 1517-1522 [doi]
• An Integrated Systems Approach to Explanation-Based Conceptual ChangeScott Friedman, Kenneth D. Forbus. 1523-1529 [doi]
• Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement LearningChad Hogg, Ugur Kuter, Hector Muñoz-Avila. 1530-1535 [doi]
• Integrating Constraint Satisfaction and Spatial ReasoningUnmesh Kurup, Nicholas L. Cassimatis. 1536-1541 [doi]
• Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right PlaceLanny Lin, Michael Roscheck, Michael A. Goodrich, Bryan S. Morse. 1542-1547 [doi]
• Goal-Driven Autonomy in a Navy Strategy SimulationMatthew Molineaux, Matthew Klenk, David W. Aha. 1548-1554 [doi]
• Integrated Systems for Inducing Spatio-Temporal Process ModelsChunki Park, Will Bridewell, Pat Langley. 1555-1560 [doi]
• Integrating a Closed World Planner with an Open World Robot: A Case StudyKartik Talamadupula, J. Benton, Paul W. Schermerhorn, Subbarao Kambhampati, Matthias Scheutz. 1561-1566 [doi]
• Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning AgentsSamuel Wintermute. 1567-1573 [doi]
• Instance-Based Online Learning of Deterministic Relational Action ModelsJoseph Z. Xu, John E. Laird. 1574-1579 [doi]
• Activity and Gait Recognition with Time-Delay EmbeddingsJordan Frank, Shie Mannor, Doina Precup. 1581-1586 [doi]
• A Bayesian Nonparametric Approach to Modeling Mobility PatternsJoshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy. 1587-1593 [doi]
• Biped Walk Learning Through Playback and Corrective DemonstrationÇetin Meriçli, Manuela M. Veloso. 1594-1599 [doi]
• Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human BehaviorDaniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell. 1600-1606 [doi]
• Relative Entropy Policy SearchJan Peters, Katharina Mülling, Yasemin Altun. 1607-1612 [doi]
• The Boosting Effect of Exploratory BehaviorsJivko Sinapov, Alexander Stoytchev. 1613-1618 [doi]
• A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF MethodDezhen Song, Yiliang Xu. 1619-1624 [doi]
• A Layered Approach to People Detection in 3D Range DataLuciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart. 1625-1630 [doi]
• Unsupervised Learning of Event Classes from VideoMuralikrishna Sridhar, Anthony G. Cohn, David C. Hogg. 1631-1638 [doi]
• Online Learning of Uneven Terrain for Humanoid Bipedal WalkingSeung-Joon Yi, Byoung-Tak Zhang, Daniel D. Lee. 1639-1644 [doi]
• Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban AreasJi Zhang, Dezhen Song. 1645-1650 [doi]
• Active Inference for Collective ClassificationMustafa Bilgic, Lise Getoor. 1652-1655 [doi]
• Automatic Derivation of Finite-State Machines for Behavior ControlBlai Bonet, Héctor Palacios, Hector Geffner. 1656-1659 [doi]
• Ontological Reasoning with F-logic Lite and its ExtensionsAndrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris. 1660-1665 [doi]
• Enhancing ASP by Functions: Decidable Classes and Implementation TechniquesFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. 1666-1670 [doi]
• Constraint Programming for Data Mining and Machine LearningLuc De Raedt, Tias Guns, Siegfried Nijssen. 1671-1675 [doi]
• Computationally Feasible Automated Mechanism Design: General Approach and Case StudiesMingyu Guo, Vincent Conitzer. 1676-1679 [doi]
• Local Search in Histogram ConstructionFelix Halim, Panagiotis Karras, Roland H. C. Yap. 1680-1685 [doi]
• Panlingual Lexical Translation via Probabilistic InferenceMausam, Stephen Soderland, Oren Etzioni. 1686-1689 [doi]
• Evolving Compiler Heuristics to Manage Communication and ContentionMatthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley. 1690-1693 [doi]
• Comparing Position Auctions ComputationallyDavid Robert Martin Thompson, Kevin Leyton-Brown. 1694-1697 [doi]
• Intelligently Aiding Human-Guided Correction of Speech RecognitionKeith Vertanen, Per Ola Kristensson. 1698-1701 [doi]
• Biologically-Inspired Control for Multi-Agent Self-Adaptive TasksChih-Han Yu, Radhika Nagpal. 1702-1707 [doi]
• The Model-Based Approach to Autonomous Behavior: A Personal ViewHector Geffner. 1709-1712 [doi]
• Progress on Agent Coordination with Cooperative AuctionsSven Koenig, Pinar Keskinocak, Craig A. Tovey. 1713-1717 [doi]
• Representation Discovery in Sequential Decision MakingSridhar Mahadevan. 1718-1721 [doi]
• A Distributed Method for Evaluating Properties of a Robot FormationBrent Beer, Ross Alan Mead, Jerry B. Weinberg. 1923-1924 [doi]
• Towards Multiagent Meta-level ControlShanjun Cheng, Anita Raja, Victor R. Lesser. 1925-1926 [doi]
• Finding Semantic Inconsistencies in UMLS using Answer Set ProgrammingHalit Erdogan, Olivier Bodenreider, Esra Erdem. 1927-1928 [doi]
• Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to SatisfiabilityDaniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo. 1929-1930 [doi]
• Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory BehaviorsShane Griffith, Alexander Stoytchev. 1931-1932 [doi]
• A Trust Model for Supply Chain ManagementYasaman Haghpanah, Marie desJardins. 1933-1934 [doi]
• Intelligent Time-Aware Query Translation for Text SourcesAmal Chaminda Kaluarachchi, Aparna S. Varde, Jing Peng, Anna Feldman. 1935-1936 [doi]
• Temporal Planning for Interacting Durative Actions with Continuous EffectsSerdar Kecici, Sanem Sariel Talay. 1937-1938 [doi]
• Control Model Learning for Whole-Body Mobile ManipulationScott Kuindersma. 1939-1940 [doi]
• Towards Interesting Patterns of Hard CSPs with Functional ConstraintsChendong Li. 1941-1942 [doi]
• Integrating Transfer Learning in Synthetic StudentNan Li, William W. Cohen, Kenneth R. Koedinger. 1943-1944 [doi]
• Learning from Concept Drifting Data Streams with Unlabeled DataPei-Pei Li, Xindong Wu, Xuegang Hu. 1945-1946 [doi]
• A Phrase-Based Method for Hierarchical Clustering of Web SnippetsZhao Li, Xindong Wu. 1947-1948 [doi]
• Distributed Auction-Based Initialization of Mobile Robot FormationsRobert Louis Long, Ross Mead, Jerry B. Weinberg. 1949-1950 [doi]
• Materializing Inferred and Uncertain Knowledge in RDF DatasetsJames P. McGlothlin, Latifur R. Khan. 1951-1952 [doi]
• Relational Reinforcement Learning in Infinite MarioShiwali Mohan, John E. Laird. 1953-1954 [doi]
• Evolved Intrinsic Reward Functions for Reinforcement LearningScott Niekum. 1955-1956 [doi]
• Team Formation with Heterogeneous Agents in Computer GamesRobert G. Price, Scott D. Goodwin. 1957-1958 [doi]
• Semantic Search in Linked Data: Opportunities and ChallengesHamid Haidarian Shahri. 1959-1960 [doi]
• Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture ModelsKaushik Subramanian. 1961-1962 [doi]
• Genome Rearrangement: A Planning ApproachTansel Uras, Esra Erdem. 1963-1964 [doi]
• Toward Learning to Press Doorbell ButtonsLiping Wu, Vladimir Sukhoy, Alexander Stoytchev. 1965-1966 [doi]