Table of Contents

• Simulated Annealing Based Influence Maximization in Social NetworksQingye Jiang, Guojie Song, Gao Cong, Yu Wang, Wenjun Si, Kunqing Xie. [doi]
• Learning Accuracy and Availability of Humans Who Help Mobile RobotsStephanie Rosenthal, Manuela M. Veloso, Anind K. Dey. [doi]
• Ad Hoc Teamwork in Variations of the Pursuit DomainSamuel Barrett, Peter Stone. [doi]
• Exploiting Phase Transition in Latent Networks for ClusteringVahed Qazvinian, Dragomir R. Radev. [doi]
• A Functional Analysis of Historical Memory Retrieval Bias in the Word Sense Disambiguation TaskNate Derbinsky, John E. Laird. [doi]
• Coarse-to-Fine Inference and Learning for First-Order Probabilistic ModelsChloe Kiddon, Pedro Domingos. [doi]
• Balancing Safety and Exploitability in Opponent ModelingZhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters. [doi]
• Causal Theories of Actions RevisitedFangzhen Lin, Mikhail Soutchanski. [doi]
• Dominant-Strategy Auction Design for Agents with Uncertain, Private ValuesDavid Robert Martin Thompson, Kevin Leyton-Brown. [doi]
• On the Complexity of BDDs for State Space Search: A Case Study in Connect FourStefan Edelkamp, Peter Kissmann. [doi]
• Preferred Explanations: Theory and Generation via PlanningShirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith. [doi]
• Revisiting Semantics for Epistemic Extensions of Description LogicsAnees Mehdi, Sebastian Rudolph. [doi]
• Multi-Task Learning in Heterogeneous Feature SpacesYu Zhang, Dit-Yan Yeung. [doi]
• Improving Semi-Supervised Support Vector Machines Through Unlabeled Instances SelectionYu-Feng Li, Zhi-Hua Zhou. [doi]
• Partially Supervised Text Classification with Multi-Level ExamplesTao Liu, Xiaoyong Du, Yongdong Xu, Ming-Hui Li, Xiaolong Wang. [doi]
• Trajectory Regression on Road NetworksTsuyoshi Idé, Masashi Sugiyama. [doi]
• Trust Transitivity in Complex Social NetworksGuanfeng Liu, Yan Wang, Mehmet A. Orgun. [doi]
• A Modular Consistency Proof for DOLCEOliver Kutz, Till Mossakowski. [doi]
• Differential Eligibility Vectors for Advantage Updating and Gradient MethodsFrancisco S. Melo. [doi]
• Risk-Averse Strategies for Security Games with Execution and Observational UncertaintyZhengyu Yin, Manish Jain, Milind Tambe, Fernando Ordóñez. [doi]
• Transfer Learning by Structural AnalogyHua-Yan Wang, Qiang Yang. [doi]
• Combining Learned Discrete and Continuous Action ModelsJoseph Z. Xu, John E. Laird. [doi]
• On the Effectiveness of Belief State Representation in Contingent PlanningSon Thanh To, Tran Cao Son, Enrico Pontelli. [doi]
• Heuristic Planning in Adversarial Dynamic DomainsSimon Chamberland, Froduald Kabanza. [doi]
• Fast Newton-CG Method for Batch Learning of Conditional Random FieldsYuta Tsuboi, Yuya Unno, Hisashi Kashima, Naoaki Okazaki. [doi]
• Long-Term Declarative Memory for Generally Intelligent AgentsNate Derbinsky. [doi]
• Predicting Author Blog Channels with High Value Future Posts for MonitoringShanchan Wu, Tamer Elsayed, William Rand, Louiqa Raschid. [doi]
• Efficient Issue-Grouping Approach for Multi-Issues Negotiation between Exaggerator AgentsKatsuhide Fujita, Takayuki Ito, Mark Klein. [doi]
• Dual Decomposition for Marginal InferenceJustin Domke. [doi]
• Bounded ForgettingYi Zhou, Yan Zhang. [doi]
• Human Spatial Relational Reasoning: Processing Demands, Representations, and Cognitive ModelMarco Ragni, Sven Brüssow. [doi]
• Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic AnnotationAman Goel, Craig A. Knoblock, Kristina Lerman. [doi]
• Convergence Properties of (μ + λ) Evolutionary AlgorithmsAram Ter-Sarkisov, Stephen R. Marsland. [doi]
• Contextually-Based Utility: An Appraisal-Based Approach at Modeling Framing and DecisionsJonathan Yasuo Ito, Stacy Marsella. [doi]
• Learning to Interpret Natural Language Navigation Instructions from ObservationsDavid L. Chen, Raymond J. Mooney. [doi]
• Extending Classical Planning Heuristics to Probabilistic Planning with Dead-EndsFlorent Teichteil-Königsbuch, Vincent Vidal, Guillaume Infantes. [doi]
• Automatic Group Sparse CodingFei Wang, Noah Lee, Jimeng Sun, Jianying Hu, Shahram Ebadollahi. [doi]
• Understanding Natural Language Commands for Robotic Navigation and Mobile ManipulationStefanie Tellex, Thomas Kollar, Steven Dickerson, Matthew R. Walter, Ashis Gopal Banerjee, Seth J. Teller, Nicholas Roy. [doi]
• A Large-Scale Study on Predicting and Contextualizing Building Energy UsageJ. Zico Kolter, Joseph Ferreira. [doi]
• A Game-Theoretic Approach to Influence in NetworksMohammad Tanvir Irfan, Luis E. Ortiz. [doi]
• Latent Semantic Learning by Efficient Sparse Coding with Hypergraph RegularizationZhiwu Lu, Yuxin Peng. [doi]
• Transportability of Causal and Statistical Relations: A Formal ApproachJudea Pearl, Elias Bareinboim. [doi]
• Planning with Specialized SAT SolversJussi Rintanen. [doi]
• Transfer Learning for Multiple-Domain Sentiment Analysis - Identifying Domain Dependent/Independent Word PolarityYasuhisa Yoshida, Tsutomu Hirao, Tomoharu Iwata, Masaaki Nagata, Yuji Matsumoto. [doi]
• Branch and Price for Multi-Agent Plan RecognitionBikramjit Banerjee, Landon Kraemer. [doi]
• Social Relations Model for Collaborative FilteringWu-Jun Li, Dit-Yan Yeung. [doi]
• Learning from Spatial OverlapMichael H. Coen, M. Hidayath Ansari, Nathanael Fillmore. [doi]
• Item-Level Social Influence Prediction with Probabilistic Hybrid Factor Matrix FactorizationPeng Cui, Fei Wang, Shiqiang Yang, Lifeng Sun. [doi]
• Solving 4x5 Dots-And-BoxesJoseph Kelly Barker, Richard E. Korf. [doi]
• Efficiently Learning a Distance Metric for Large Margin Nearest Neighbor ClassificationKyoungup Park, Chunhua Shen, Zhihui Hao, Junae Kim. [doi]
• Exploiting Problem Symmetries in State-Based PlannersNir Pochter, Aviv Zohar, Jeffrey S. Rosenschein. [doi]
• Complexity of and Algorithms for Borda ManipulationJessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh. [doi]
• A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SATSiddhartha Jain, Ashish Sabharwal, Meinolf Sellmann. [doi]
• A Closer Look at the Probabilistic Description Logic Prob-ELVíctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder. [doi]
• Online Updating the Generalized Inverse of Centered MatricesQing Wang, Liang Zhang. [doi]
• Efficiency and Privacy Tradeoffs in Mechanism DesignXin Sui, Craig Boutilier. [doi]
• Optimal Envy-Free Cake CuttingYuga J. Cohler, John K. Lai, David C. Parkes, Ariel D. Procaccia. [doi]
• Comparing Agents Success against People in Security DomainsRaz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone. [doi]
• Propagating Both Trust and Distrust with Target Differentiation for Combating Web SpamXianchao Zhang, You Wang, Nan Mou, Wenxin Liang. [doi]
• Collaborative Users Brand Preference Mining across Multiple Domains from Implicit FeedbacksJian Tang, Jun Yan, Lei Ji, Ming Zhang, Shaodan Guo, Ning Liu, Xianfang Wang, Zheng Chen. [doi]
• Constrained Coalition FormationTalal Rahwan, Tomasz P. Michalak, Edith Elkind, Piotr Faliszewski, Jacek Sroka, Michael Wooldridge, Nicholas R. Jennings. [doi]
• Green Driver: AI in a MicrocosmJim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith. [doi]
• Complete Information Pursuit Evasion in Polygonal EnvironmentsKyle Klein, Subhash Suri. [doi]
• Transfer Latent Semantic Learning: Microblog Mining with Less SupervisionDan Zhang, Yan Liu, Richard D. Lawrence, Vijil Chenthamarakshan. [doi]
• Multiagent Patrol Generalized to Complex Environmental ConditionsNoa Agmon, Daniel Urieli, Peter Stone. [doi]
• Learning from Demonstration in Spatial ExplorationJ. Pablo Munoz, Arif T. Ozgelen, Elizabeth Sklar. [doi]
• A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker ProductsHui Zhao, Jiuqiang Han, Naiyan Wang, Congfu Xu, Zhihua Zhang. [doi]
• Personalizing Your Web Services with Constructive DL Reasoning JoinFreddy Lécué. [doi]
• Commonsense Causal Reasoning Using Millions of Personal StoriesAndrew S. Gordon, Cosmin Adrian Bejan, Kenji Sagae. [doi]
• Hekateros: A Desktop 5 Degree-of-Freedom Robot Arm for the Small-Scale Manipulation Robot Chess ChallengeKim Wheeler, Robin Knight, Collin Horvat, Daniel Packard, Casey Kuhns, Brent Wilkins, Robert Shiely. [doi]
• Exact Phase Transitions and Approximate Algorithm of #CSPPing Huang, Minghao Yin, Ke Xu. [doi]
• Logistic Methods for Resource Selection Functions and Presence-Only Species Distribution ModelsSteven Phillips, Jane Elith. [doi]
• Design and Analysis of Value Creation NetworksSampath Kameshwaran, Sameep Mehta, Vinayaka Pandit. [doi]
• Lossy Conservative Update (LCU) Sketch: Succinct Approximate Count StorageAmit Goyal, Hal Daumé III. [doi]
• Learning to Suggest Questions in Online ForumsTom Chao Zhou, Chin-Yew Lin, Irwin King, Michael R. Lyu, Young-In Song, Yunbo Cao. [doi]
• Temporal Dynamics of User Interests in Tagging SystemsDawei Yin, Liangjie Hong, Zhenzhen Xue, Brian D. Davison. [doi]
• Ordinal Regression via Manifold LearningYang Liu, Yan Liu, Keith C. C. Chan. [doi]
• Online Graph Pruning for Pathfinding On Grid MapsDaniel Damir Harabor, Alban Grastien. [doi]
• Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer GoMartin Michalowski, Mark Boddy, Mike Neilsen. [doi]
• Core-Guided Binary Search Algorithms for Maximum SatisfiabilityFederico Heras, António Morgado, João Marques-Silva. [doi]
• Scaling Up Game Theory: Achievable Set Methods for Efficiently Solving Stochastic Games of Complete and Incomplete InformationLiam MacDermed. [doi]
• Probabilistic Plan Graph Heuristic for Probabilistic PlanningYolanda E.-Martín, María Dolores Rodríguez-Moreno, David E. Smith. [doi]
• Identifying Missing Node Information in Social NetworksRon Eyal, Sarit Kraus, Avi Rosenfeld. [doi]
• Grammatical Error Detection for Corrective Feedback Provision in Oral ConversationsSungjin Lee, Hyungjong Noh, Kyusong Lee, Gary Geunbae Lee. [doi]
• Strategic Information Disclosure to People with Multiple AlternativesAmos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman. [doi]
• Developing a Language for Spoken ProgrammingBenjamin M. Gordon. [doi]
• Playing Chess with a Human-Scale Mobile ManipulatorMichael Ferguson, Kim Gero, Joao Salles, James Weis. [doi]
• Campaign Management under Approval-Driven Voting RulesIldikó Schlotter, Piotr Faliszewski, Edith Elkind. [doi]
• Two-Dimensional Description Logics for Context-Based Semantic InteroperabilitySzymon Klarman, Víctor Gutiérrez-Basulto. [doi]
• Recognizing Plans with Loops Represented in a Lexicalized GrammarChristopher W. Geib, Robert P. Goldman. [doi]
• Artificial Intelligence for Artificial Artificial IntelligencePeng Dai, Mausam, Daniel S. Weld. [doi]
• Multi-Observation Sensor Resetting Localization with Ambiguous LandmarksBrian Coltin, Manuela M. Veloso. [doi]
• Finding Answers and Generating Explanations for Complex Biomedical QueriesEsra Erdem, Yelda Erdem, Halit Erdogan, Umut Öztok. [doi]
• Modeling and Monitoring Crop Disease in Developing CountriesJohn Alexander Quinn, Kevin Leyton-Brown, Ernest Mwebaze. [doi]
• SemRec: A Semantic Enhancement Framework for Tag Based RecommendationGuandong Xu, Yanhui Gu, Peter Dolog, Yanchun Zhang, Masaru Kitsuregawa. [doi]
• WikiSimple: Automatic Simplification of Wikipedia ArticlesKristian Woodsend, Mirella Lapata. [doi]
• First-Order Logic with Counting for General Game PlayingLukasz Kaiser, Lukasz Stafiniak. [doi]
• Symmetric Graph Regularized Constraint PropagationZhenyong Fu, Zhiwu Lu, Horace Ho-Shing Ip, Yuxin Peng, Hongtao Lu. [doi]
• Cognitive Synergy between Procedural and Declarative Learning in the Control of Animated and Robotic Agents Using the OpenCogPrime AGI ArchitectureBen Goertzel, Joel Pitt, Jared Wigmore, Nil Geisweiller, Zhenhua Cai, Ruiting Lian, Deheng Huang, Gino Yu. [doi]
• The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple SpeciesKatherine J. Lai, Carla P. Gomes, Michael K. Schwartz, Kevin S. McKelvey, David E. Calkin, Claire A. Montgomery. [doi]
• Hybrid Planning with Temporally Extended Goals for Sustainable Ocean ObservingHui Li 0002, Brian Williams. [doi]
• Stochastic Model Predictive Controller for the Integration of Building Use and Temperature RegulationAlie El-Din Mady, Gregory Provan, Conor Ryan, Kenneth N. Brown. [doi]
• Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label PropagationMarion Neumann, Babak Ahmadi, Kristian Kersting. [doi]
• Understanding User Migration Patterns in Social MediaShamanth Kumar, Reza Zafarani, Huan Liu. [doi]
• Evolution of Node Behavior in Link PredictionBaojun Qiu, Qi He, John Yen. [doi]
• How to Calibrate the Scores of Biased Reviewers by Quadratic ProgrammingMagnus Roos, Jörg Rothe, Björn Scheuermann. [doi]
• A Comparison of Lex Bounds for Multiset Variables in Constraint ProgrammingYat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh. [doi]
• Leveraging Wikipedia Characteristics for Search and Candidate Generation in Question AnsweringJennifer Chu-Carroll, James Fan. [doi]
• Spectrum-Based Sequential DiagnosisAlberto González-Sanchez, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund. [doi]
• Recognizing Text Through Sound AloneWenzhe Li, Tracy Anne Hammond. [doi]
• An Online Spectral Learning Algorithm for Partially Observable Nonlinear Dynamical SystemsByron Boots, Geoffrey J. Gordon. [doi]
• Semantic Relatedness Using Salient Semantic AnalysisSamer Hassan, Rada Mihalcea. [doi]
• A Feasible Nonconvex Relaxation Approach to Feature SelectionCuixia Gao, Naiyan Wang, Qi Yu, Zhihua Zhang. [doi]
• Learning in Repeated Games with Minimal Information: The Effects of Learning BiasJacob W. Crandall, Asad Ahmed, Michael A. Goodrich. [doi]
• Conjunctive Query Inseparability of OWL 2 QL TBoxesBoris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev. [doi]
• Learning a Kernel for Multi-Task ClusteringQuanquan Gu, Zhenhui Li, Jiawei Han. [doi]
• Co-Evolution of Selection and Influence in Social NetworksYoon-Sik Cho, Greg Ver Steeg, Aram Galstyan. [doi]
• Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction ProblemsJian Gao, Minghao Yin, Junping Zhou. [doi]
• An Efficient and Complete Approach for Cooperative Path-FindingRyan Luna, Kostas E. Bekris. [doi]
• The Inter-League Extension of the Traveling Tournament Problem and its Application to Sports SchedulingRichard Hoshino, Ken-ichi Kawarabayashi. [doi]
• Dynamic Batch Mode Active Learning via L1 RegularizationShayok Chakraborty, Vineeth Nallure Balasubramanian, Sethuraman Panchanathan. [doi]
• Nonnegative Spectral Clustering with Discriminative RegularizationYi Yang, Heng Tao Shen, Feiping Nie, Rongrong Ji, Xiaofang Zhou. [doi]
• Mean Field Inference in Dependency Networks: An Empirical StudyDaniel Lowd, Arash Shamaei. [doi]
• A Semantical Account of Progression in the Presence of UncertaintyVaishak Belle, Gerhard Lakemeyer. [doi]
• Learning Compact Representations of Time-Varying ProcessesPhilip Bachman, Doina Precup. [doi]
• Anytime Nonparametric AJur van den Berg, Rajat Shah, Arthur Huang, Ken Goldberg. [doi]
• Co-Training as a Human Collaboration PolicyXiaojin Zhu, Bryan R. Gibson, Timothy T. Rogers. [doi]
• Manipulation of Nanson's and Baldwin's RulesNina Narodytska, Toby Walsh, Lirong Xia. [doi]
• Distributed Constraint Optimization Under Stochastic UncertaintyThomas Léauté, Boi Faltings. [doi]
• On the Discovery and Utility of Precedence Constraints in Temporal PlanningYanmei Hu, Minghao Yin, Dunbo Cai. [doi]
• Optimal Packing of High-Precision RectanglesEric Huang, Richard E. Korf. [doi]
• Large Scale Diagnosis Using Associations between System Outputs and ComponentsTing Guo, Zhanshan Li, Ruizhi Guo, Xingquan Zhu. [doi]
• Social Recommendation Using Low-Rank Semidefinite ProgramJianke Zhu, Hao Ma, Chun Chen, Jiajun Bu. [doi]
• Decentralised Control of Micro-Storage in the Smart GridThomas Voice, Perukrishnen Vytelingum, Sarvapali D. Ramchurn, Alex Rogers, Nicholas R. Jennings. [doi]
• OASIS: Online Active Semi-Supervised LearningAndrew B. Goldberg, Xiaojin Zhu, Alex Furger, Jun Ming Xu. [doi]
• Efficient Subspace Segmentation via Quadratic ProgrammingShusen Wang, Xiaotong Yuan, Tiansheng Yao, Shuicheng Yan, Jialie Shen. [doi]
• Water Conservation Through Facilitation on Residential LandscapesRhonda Hoenigman, Elizabeth Bradley, Nichole Barger. [doi]
• Termination and Correctness Analysis of Cyclic ControlSiddharth Srivastava, Neil Immerman, Shlomo Zilberstein. [doi]
• A Whole Page Click Model to Better Interpret Search Engine Click DataWeizhu Chen, Zhanglong Ji, Si Shen, Qiang Yang. [doi]
• The Compressed Differential HeuristicMeir Goldenberg, Nathan R. Sturtevant, Ariel Felner, Jonathan Schaeffer. [doi]
• Toward Learning to Solve Insertion Tasks: A Developmental Approach Using Exploratory Behaviors and ProprioceptionPhilip Koonce, Vasha Dutell, Jose Farrington, Vladimir Sukhoy, Alexander Stoytchev. [doi]
• Discovering Life Cycle Assessment Trees from Impact Factor DatabasesNaren Sundaravaradan, Debprakash Patnaik, Naren Ramakrishnan, Manish Marwah, Amip Shah. [doi]
• User-Controllable Learning of Location Privacy Policies With Gaussian Mixture ModelsJustin Cranshaw, Jonathan Mugan, Norman M. Sadeh. [doi]
• Web Personalization and Cohort Information Services for Natural Resource ManagersCrystal Redman. [doi]
• Solving Difficult CSPs with Relational Neighborhood Inverse ConsistencyRobert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere. [doi]
• On Expressing Value Externalities in Position AuctionsFlorin Constantin, Malvika Rao, Chien-Chung Huang, David C. Parkes. [doi]
• Memory-Efficient Dynamic Programming for Learning Optimal Bayesian NetworksBrandon Malone, Changhe Yuan, Eric A. Hansen. [doi]
• Language Splitting and Relevance-Based Belief Change in Horn LogicMaonian Wu, Dongmo Zhang, Mingyi Zhang. [doi]
• Analyzing and Predicting Not-Answered Questions in Community-based Question Answering ServicesLichun Yang, Shenghua Bao, Qingliang Lin, Xian Wu, Dingyi Han, Zhong Su, Yong Yu. [doi]
• Refinement of Strong Stackelberg Equilibria in Security GamesBo An, Milind Tambe, Fernando Ordóñez, Eric Shieh, Christopher Kiekintveld. [doi]
• Composite Social Network for Predicting Mobile Apps InstallationWei Pan, Nadav Aharony, Alex Pentland. [doi]
• Automated Abstractions for Patrolling Security GamesNicola Basilico, Nicola Gatti. [doi]
• Block A*: Database-Driven Search with Applications in Any-Angle Path-PlanningPeter Yap, Neil Burch, Robert C. Holte, Jonathan Schaeffer. [doi]
• Tree Sequence Kernel for Natural LanguageJun Sun, Min Zhang, Chew Lim Tan. [doi]
• Continual Planning with Sensing for Web Service CompositionEirini Kaldeli, Alexander Lazovik, Marco Aiello. [doi]
• DISCO: Describing Images Using Scene Contexts and ObjectsIfeoma Nwogu, Yingbo Zhou, Christopher Brown. [doi]
• Incentive-Compatible Trust MechanismsJens Witkowski. [doi]
• Ensemble Classification for Relational DomainsHoda Eldardiry. [doi]
• The AC(C) Language: Integrating Answer Set Programming and Constraint Logic ProgrammingForrest Sheng Bao. [doi]
• Towards Evolutionary Nonnegative Matrix FactorizationFei Wang, Hanghang Tong, Ching-Yung Lin. [doi]
• Quantity Makes Quality: Learning with Partial ViewsNicolò Cesa-Bianchi, Shai Shalev-Shwartz, Ohad Shamir. [doi]
• Optimal Subset Selection for Active LearningYifan Fu, Xingquan Zhu. [doi]
• Adaptive Neighborhood Inverse Consistency as Lookahead for Non-Binary CSPsRobert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere. [doi]
• Towards Maximizing the Area Under the ROC Curve for Multi-Class Classification ProblemsKe Tang, Rui Wang, Tianshi Chen. [doi]
• Learning Dimensional Descent for Optimal Motion Planning in High-dimensional SpacesPaul Vernaza, Daniel D. Lee. [doi]
• Learned Behaviors of Multiple Autonomous Agents in Smart Grid MarketsPrashant P. Reddy, Manuela M. Veloso. [doi]
• Optimal Rewards versus Leaf-Evaluation Heuristics in Planning AgentsJonathan Sorg, Satinder P. Singh, Richard L. Lewis. [doi]
• Incentive-Compatible Escrow MechanismsJens Witkowski, Sven Seuken, David C. Parkes. [doi]
• Medical Treatment Conflict Resolving in Answer Set ProgrammingForrest Sheng Bao, Zhizheng Zhang, Yuanlin Zhang. [doi]
• A Simple and Effective Unsupervised Word Segmentation ApproachSongjian Chen, Yabo Xu, HuiYou Chang. [doi]
• Approaches to Multi-Robot Exploration and LocalizationArif T. Ozgelen, Michael Costantino, Adiba Ishak, Moses Kingston, Diquan Moore, Samuel Sanchez, J. Pablo Munoz, Simon Parsons, Elizabeth Sklar. [doi]
• Assessing Quality in the Web of Linked Sensor DataChris Colin Baillie, Peter Edwards, Edoardo Pignotti. [doi]
• Localized K-FlatsYong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou. [doi]
• Mechanism Design for Federated Sponsored Search AuctionsSofia Ceppi, Nicola Gatti, Enrico H. Gerding. [doi]
• A Local Monte Carlo Tree Search Approach in Deterministic PlanningFan Xie, Hootan Nakhost, Martin Müller 0003. [doi]
• Integrating Clustering and Multi-Document Summarization by Bi-Mixture Probabilistic Latent Semantic Analysis (PLSA) with Sentence BasesChao Shen, Tao Li, Chris H. Q. Ding. [doi]
• Basis Function Discovery Using Spectral Clustering and Bisimulation MetricsGheorghe Comanici, Doina Precup. [doi]
• Lego Plays Chess: A Low-Cost, Low-Complexity Approach to Intelligent RoboticsMichael Lanighan, Jerod Sikorskyj, Debra T. Burhans, Robert Selkowitz. [doi]
• Large Scale Spectral Clustering with Landmark-Based RepresentationXinlei Chen, Deng Cai. [doi]
• Optimal Graph Search with Iterated Graph CutsDavid Burkett, David Hall, Dan Klein. [doi]
• Can Quadrotors Succeed as an Educational Platform?Zachary Dodds. [doi]
• Effective End-User Interaction with Machine LearningSaleema Amershi, James Fogarty, Ashish Kapoor, Desney S. Tan. [doi]
• An Algebraic Prolog for Reasoning about Possible WorldsAngelika Kimmig, Guy Van den Broeck, Luc De Raedt. [doi]
• Role-Based Ad Hoc TeamworkKatie Long Genter, Noa Agmon, Peter Stone. [doi]
• Limits of PreprocessingStefan Szeider. [doi]
• Provoking Opponents to Facilitate the Recognition of their IntentionsFrancis Bisson, Froduald Kabanza, Abder Rezak Benaskeur, Hengameh Irandoust. [doi]
• Heuristic Search for Large Problems With Real CostsMatthew Hatem, Ethan Burns, Wheeler Ruml. [doi]
• Intrinsic Chess RatingsKenneth Wingate Regan, Guy McCrossan Haworth. [doi]
• Linear Dynamic Programs for Resource ManagementMarek Petrik, Shlomo Zilberstein. [doi]
• Comparing Action-Query Strategies in Semi-Autonomous AgentsRobert Cohn, Edmund H. Durfee, Satinder P. Singh. [doi]
• Succinct Set-Encoding for State-Space SearchTim Schmidt, Rong Zhou. [doi]
• New Expressive Languages for Ontological Query AnsweringAndrea Calì, Georg Gottlob, Andreas Pieris. [doi]
• On Improving Conformant Planners by Analyzing Domain-StructuresHoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli. [doi]
• Convex Sparse Coding, Subspace Learning, and Semi-Supervised ExtensionsXinhua Zhang, Yaoliang Yu, Martha White, Ruitong Huang, Dale Schuurmans. [doi]
• The Epistemic Logic Behind the Game Description LanguageJi Ruan, Michael Thielscher. [doi]
• Pruning Techniques in Search and PlanningNir Pochter. [doi]
• Efficient Methods for Lifted Inference with Aggregate FactorsJaesik Choi, Rodrigo de Salvo Braz, Hung H. Bui. [doi]
• Integrating Community Question and Answer ArchivesWei Wei, Gao Cong, Xiaoli Li, See-Kiong Ng, Guohui Li. [doi]
• Using Neural Networks for Evaluation in Heuristic Search AlgorithmHung-Che Chen, Jyh-Da Wei. [doi]
• Self-Aware Traffic Route PlanningDavid Wilkie, Jur P. van den Berg, Ming C. Lin, Dinesh Manocha. [doi]
• A Switching Planner for Combined Task and Observation PlanningMoritz Göbelbecker, Charles Gretton, Richard Dearden. [doi]
• Learning Instance Specific Distance for Multi-Instance ClassificationHua Wang, Feiping Nie, Heng Huang. [doi]
• Multi-Task Learning in Square Integrable SpaceWei Wu, Hang Li, Yunhua Hu, Rong Jin. [doi]
• Qualitative Numeric PlanningSiddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner. [doi]
• Unsupervised Learning of Human BehavioursSook Ling Chua, Stephen Marsland, Hans W. Guesgen. [doi]
• A POMDP-Based Optimal Control of P300-Based Brain-Computer InterfacesJaeyoung Park, Kee-Eung Kim, Yoon-Kyu Song. [doi]
• Controlling Selection Bias in Causal InferenceElias Bareinboim, Judea Pearl. [doi]
• End-User Feature Labeling via Locally Weighted Logistic RegressionWeng-Keen Wong, Ian Oberst, Shubhomoy Das, Travis Moore, Simone Stumpf, Kevin McIntosh, Margaret M. Burnett. [doi]
• Can Collective Sentiment Expressed on Twitter Predict Political Elections?Jessica Elan Chung, Eni Mustafaraj. [doi]
• Reconstructing the Stochastic Evolution Diagram of Dynamic Complex SystemsNavid Bazzazzadeh, Benedikt Brors, Roland Eils. [doi]
• Generating Diverse Plans Using Quantitative and Qualitative Plan Distance MetricsAlexandra Coman, Hector Muñoz-Avila. [doi]
• A POMDP Model of Eye-Hand CoordinationTom Erez, Julian J. Tramper, William D. Smart, Stan C. A. M. Gielen. [doi]
• Analogical Dialogue Acts: Supporting Learning by Reading Analogies in Instructional TextsDavid Michael Barbella, Kenneth D. Forbus. [doi]
• Improving Cost-Optimal Domain-Independent Symbolic PlanningPeter Kissmann, Stefan Edelkamp. [doi]
• Generating True Relevance Labels in Chinese Search Engine Using Clickthrough DataHengjie Song, Chunyan Miao, Zhiqi Shen. [doi]
• Multi-Level Cluster Indicator Decompositions of Matrices and TensorsDijun Luo, Chris H. Q. Ding, Heng Huang. [doi]
• Dynamic Resource Allocation in Conservation PlanningDaniel Golovin, Andreas Krause, Beth Gardner, Sarah J. Converse, Steve Morey. [doi]
• Deriving a Web-Scale Common Sense Fact DatabaseNiket Tandon, Gerard de Melo, Gerhard Weikum. [doi]
• Using Semantic Cues to Learn SyntaxTahira Naseem, Regina Barzilay. [doi]
• Size Adaptive Selection of Most Informative FeaturesSi Liu, Hairong Liu, Longin Jan Latecki, Shuicheng Yan, Changsheng Xu, Hanqing Lu. [doi]
• Adding Default Attributes to EL++Piero A. Bonatti, Marco Faella, Luigi Sauro. [doi]
• Enforcing Liveness in Autonomous Traffic ManagementTsz-Chiu Au, Neda Shahidi, Peter Stone. [doi]
• Incorporating Boosted Regression Trees into Ecological Latent Variable ModelsRebecca A. Hutchinson, Li-Ping Liu, Thomas G. Dietterich. [doi]
• Reasoning About General Games Described in GDL-IIStephan Schiffel, Michael Thielscher. [doi]
• Detecting Multilingual and Multi-Regional Query Intent in Web SearchYi Chang, Ruiqiang Zhang, Srihari Reddy, Yan Liu. [doi]
• Learning Sensor, Space and Object GeometryJeremy Stober. [doi]
• Designing Water Efficient Residential Landscapes with Agent-Based ModelingRhonda Hoenigman. [doi]
• Cross-Language Latent Relational Search: Mapping Knowledge across LanguagesNguyen Tuan Duc, Danushka Bollegala, Mitsuru Ishizuka. [doi]
• Joint Inference for Extracting Text Descriptors from Triage Images of Mass Disaster VictimsNiyati Chhaya. [doi]
• CCRank: Parallel Learning to Rank with Cooperative CoevolutionShuaiqiang Wang, Byron J. Gao, Ke Wang, Hady Wirawan Lauw. [doi]
• Quick Polytope Approximation of All Correlated Equilibria in Stochastic GamesLiam MacDermed, Karthik S. Narayan, Charles L. Isbell, Lora Weiss. [doi]
• CosTriage: A Cost-Aware Triage Algorithm for Bug Reporting SystemsJin-Woo Park, Mu-Woong Lee, Jinhan Kim, Seung-won Hwang, Sunghun Kim. [doi]
• Value Function Approximation in Reinforcement Learning Using the Fourier BasisGeorge Konidaris, Sarah Osentoski, Philip Thomas. [doi]
• Learning with Imprecise Classes, Rare Instances, and Complex RelationshipsSrinath Ravindran. [doi]
• Fast Query Recommendation by SearchQixia Jiang, Maosong Sun. [doi]
• Extensible Automated Constraint ModellingOzgur Akgun, Ian Miguel, Christopher Jefferson, Alan M. Frisch, Brahim Hnich. [doi]
• Sparse Matrix-Variate t Process BlockmodelsZenglin Xu, Feng Yan, Yuan Qi. [doi]
• Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human ComputationEdith Law, Haoqi Zhang. [doi]
• A Framework for Integration of Logical and Probabilistic KnowledgeJingsong Wang, Marco Valtorta. [doi]
• Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical ModelsKalev Kask, Andrew Gelfand, Lars Otten, Rina Dechter. [doi]
• Market Manipulation with Outside IncentivesYiling Chen, Xi Alice Gao, Rick Goldstein, Ian A. Kash. [doi]
• A Probabilistic Trust and Reputation Model for Supply Chain ManagementYasaman Haghpanah. [doi]
• Inner Regions and Interval Linearizations for Global OptimizationGilles Trombettoni, Ignacio Araya, Bertrand Neveu, Gilles Chabert. [doi]
• Towards Practical ABox Abduction in Large OWL DL OntologiesJianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan. [doi]
• VCG Redistribution with Gross SubstitutesMingyu Guo. [doi]
• M-Unit EigenAnt: An Ant Algorithm to Find the M Best SolutionsSameena Shah, Jayadeva, Ravi Kothari, Suresh Chandra. [doi]
• Sparse Group Restricted Boltzmann MachinesHeng Luo, Ruimin Shen, Changyong Niu, Carsten Ullrich. [doi]
• Fast Parallel and Adaptive Updates for Dual-Decomposition SolversÖzgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu. [doi]
• Adaptive Large Margin Training for Multilabel ClassificationYuhong Guo, Dale Schuurmans. [doi]
• Autonomous Skill Acquisition on a Mobile ManipulatorGeorge Konidaris, Scott Kuindersma, Roderic A. Grupen, Andrew G. Barto. [doi]
• Recommendation Sets and Choice Queries: There Is No Exploration/Exploitation Tradeoff!Paolo Viappiani, Craig Boutilier. [doi]
• Discovering Latent StrategiesXiaoxi Xu. [doi]
• Across-Model Collective Ensemble ClassificationHoda Eldardiry, Jennifer Neville. [doi]
• Utilizing Partial Policies for Identifying Equivalence of Behavioral ModelsYifeng Zeng, Prashant Doshi, Yinghui Pan, Hua Mao, Muthukumaran Chandrasekaran, Jian Luo. [doi]
• A Bayesian Reinforcement Learning framework Using Relevant Vector MachinesNikolaos Tziortziotis, Konstantinos Blekas. [doi]
• Model Update for Automated PlanningMaria Viviane de Menezes, Leliane Nunes de Barros. [doi]
• Global Seismic Monitoring: A Bayesian ApproachNimar S. Arora, Stuart Russell, Paul Kidwell, Erik B. Sudderth. [doi]
• Higher-Order Description Logics for Domain MetamodelingGiuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
• Stopping Rules for Randomized Greedy Triangulation SchemesAndrew Gelfand, Kalev Kask, Rina Dechter. [doi]
• Solution Quality Improvements for Massively Multi-Agent PathfindingKo-Hsin Cindy Wang, Adi Botea, Philip Kilby. [doi]
• Relational Blocking for Causal DiscoveryMatthew J. Rattigan, Marc E. Maier, David Jensen. [doi]
• Coordinated Multi-Agent Reinforcement Learning in Networked Distributed POMDPsChongjie Zhang, Victor R. Lesser. [doi]
• Tracking User-Preference Varying Speed in Collaborative FilteringRuijiang Li, Bin Li, Cheng Jin, Xiangyang Xue, Xingquan Zhu. [doi]
• Progression Semantics for Disjunctive Logic ProgramsYi Zhou, Yan Zhang. [doi]
• Optimal Route Planning for Electric Vehicles in Large NetworksJochen Eisner, Stefan Funke, Sabine Storandt. [doi]
• Exploiting Path Refinement Abstraction in Domain Transition GraphsPeter Gregory, Derek Long, Craig McNulty, Susan M. Murphy. [doi]
• Modeling Opponent Actions for Table-Tennis Playing RobotZhikun Wang, Abdeslam Boularias, Katharina Mülling, Jan Peters. [doi]
• Automated Action Abstraction of Imperfect Information Extensive-Form GamesJohn Alexander Hawkin, Robert Holte, Duane Szafron. [doi]
• Extending the Applications of Recent Real-Time Heuristic SearchDaniel Andrew Huntley, Vadim Bulitko. [doi]
• Planning in Domains with Cost Function Dependent ActionsMike Phillips, Maxim Likhachev. [doi]
• A Robotics Environment for Software Engineering CoursesStephan Goebel, Ruben Jubeh, Simon-Lennert Raesch. [doi]
• An Intelligent System for Prolonging Independent Living of ElderlyBogdan Pogorelc. [doi]
• Linear Discriminant Analysis: New Formulations and Overfit AnalysisDijun Luo, Chris H. Q. Ding, Heng Huang. [doi]
• Parameterized Complexity of Problems in Coalitional Resource GamesRajesh Hemant Chitnis, MohammadTaghi Hajiaghayi, Vahid Liaghat. [doi]
• The Next Best SolutionRonen I. Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh. [doi]
• Computing an Extensive-Form Perfect Equilibrium in Two-Player GamesNicola Gatti, Claudio Iuliano. [doi]
• Abductive Markov Logic for Plan RecognitionParag Singla, Raymond J. Mooney. [doi]
• Conflict-Driven Constraint Answer Set Solving with Lazy Nogood GenerationChristian Drescher, Toby Walsh. [doi]
• A Novel Technique for Avoiding Plateaus of Greedy Best-First Search in Satisficing PlanningTatsuya Imai, Akihiro Kishimoto. [doi]
• Two Visual Strategies for Solving the Raven s Progressive Matrices Intelligence TestMaithilee Kunda, Keith McGreggor, Ashok K. Goel. [doi]
• A Scalable Tree-Based Approach for Joint Object and Pose RecognitionKevin Lai, Liefeng Bo, Xiaofeng Ren, Dieter Fox. [doi]
• Dominating Manipulations in Voting with Partial InformationVincent Conitzer, Toby Walsh, Lirong Xia. [doi]
• Integrating Rules and Description Logics by CircumscriptionQian Yang, Jia-Huai You, Zhiyong Feng. [doi]
• Generating Explanations for Complex Biomedical QueriesUmut Öztok, Esra Erdem. [doi]
• Using Partitions and Superstrings for Lossless Compression of Pattern DatabasesEthan L. Schreiber, Richard E. Korf. [doi]
• Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF FormulaSon Thanh To, Tran Cao Son, Enrico Pontelli. [doi]
• Planning for Operational Control Systems with Predictable Exogenous EventsRonen I. Brafman, Carmel Domshlak, Yagil Engel, Zohar Feldman. [doi]
• Continuous Occupancy Mapping with Integral KernelsSimon Timothy O Callaghan, Fabio T. Ramos. [doi]
• Heterogeneous Transfer Learning for Image ClassificationYin Zhu, Yuqiang Chen, Zhongqi Lu, Sinno Jialin Pan, Gui-Rong Xue, Yong Yu, Qiang Yang. [doi]
• A Nonparametric Bayesian Model of Multi-Level Category LearningKevin Robert Canini, Thomas L. Griffiths. [doi]
• Selective Transfer Between Learning Tasks Using Task-Based BoostingEric Eaton, Marie desJardins. [doi]
• Creative Introspection and Knowledge AcquisitionTony Veale, Guofu Li. [doi]
• Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking ApproachGanesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar. [doi]
• Cross Media Entity Extraction and Linkage for Chemical DocumentsSu Yan, W. Scott Spangler, Ying Chen. [doi]
• Euclidean Heuristic OptimizationD. Chris Rayner, Michael H. Bowling, Nathan R. Sturtevant. [doi]
• Commitment to Correlated StrategiesVincent Conitzer, Dmytro Korzhyk. [doi]
• An Empirical Study of Bagging Predictors for Different Learning AlgorithmsGuohua Liang, Xingquan Zhu, Chengqi Zhang. [doi]
• Efficient Energy-Optimal Routing for Electric VehiclesMartin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr. [doi]
• Active Dual Collaborative Filtering with Both Item and Attribute FeedbackLuheng He, Nathan Nan Liu, Qiang Yang. [doi]
• Multiple-Instance Learning: Multiple Feature Selection on Instance RepresentationI-Hong Jhuo, D. T. Lee. [doi]
• Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract)Levi Lelis, Sandra Zilles, Robert C. Holte. [doi]
• A Distributed Anytime Algorithm for Dynamic Task Allocation in Multi-Agent SystemsKathryn Sarah Macarthur, Ruben Stranders, Sarvapali D. Ramchurn, Nicholas R. Jennings. [doi]
• The Influence of Emotion Expression on Perceptions of Trustworthiness in NegotiationDimitrios Antos, Celso de Melo, Jonathan Gratch, Barbara J. Grosz. [doi]
• Heterogeneous Transfer Learning with RBMsBin Wei, Christopher Pal. [doi]
• Maximum Entropy Context Models for Ranking Biographical Answers to Open-Domain Definition QuestionsAlejandro Figueroa, John Atkinson. [doi]
• Direct Density-Ratio Estimation with Dimensionality Reduction via Hetero-Distributional Subspace AnalysisMakoto Yamada, Masashi Sugiyama. [doi]
• Scaling Up Reinforcement Learning through Targeted ExplorationTimothy Arthur Mann, Yoonsuck Choe. [doi]
• Learning Structured Embeddings of Knowledge BasesAntoine Bordes, Jason Weston, Ronan Collobert, Yoshua Bengio. [doi]
• Modeling the Effects of Emotion on CognitionMarc Spraragen. [doi]
• Identifying Evaluative Sentences in Online DiscussionsZhongwu Zhai, Bing Liu, Lei Zhang, Hua Xu, Peifa Jia. [doi]
• Enhancing Semantic Role Labeling for Tweets Using Self-TrainingXiaohua Liu, Kuan Li, Ming Zhou, Zhongyang Xiong. [doi]
• Learning Tasks and Skills Together From a Human TeacherBaris Akgun, Kaushik Subramanian, Jaeeun Shim, Andrea Lockerd Thomaz. [doi]
• Non-Parametric Approximate Linear Programming for MDPsJason Pazis, Ronald Parr. [doi]
• A Generalised Solution to the Out-of-Sample Extension Problem in Manifold LearningHarry Strange, Reyer Zwiggelaar. [doi]
• Policy Gradient Planning for Environmental Decision Making with Existing SimulatorsMark Crowley, David Poole. [doi]
• A Kernel-Based Iterative Combinatorial AuctionSébastien Lahaie. [doi]
• When to Stop? That Is the QuestionShulamit Reches, Meir Kalech, Rami Stern. [doi]