Table of Contents

• An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique ProblemChu Min Li, Zhe Quan. [doi]
• Automated Program Debugging Via Multiple Predicate SwitchingYongmei Liu, Bing Li. [doi]
• Online Learning of Uneven Terrain for Humanoid Bipedal WalkingSeung-Joon Yi, Byoung-Tak Zhang, Daniel D. Lee. [doi]
• In Defense of Large Qualitative CalculiJason Jingshi Li, Jochen Renz. [doi]
• High-Quality Policies for the Canadian Traveler s ProblemPatrick Eyerich, Thomas Keller, Malte Helmert. [doi]
• Situation Calculus as Answer Set ProgrammingJoohyung Lee, Ravi Palla. [doi]
• Towards a Robust Deep Language Understanding SystemMehdi Hafezi Manshadi. [doi]
• Prioritization of Domain-Specific Web Information ExtractionJian Huang, Cong Yu. [doi]
• Optimal Social Trust Path Selection in Complex Social NetworksGuanfeng Liu, Yan Wang 0002, Mehmet A. Orgun. [doi]
• Using Bisimulation for Policy Transfer in MDPsPablo Samuel Castro, Doina Precup. [doi]
• Two-Stage Sparse Representation for Robust Recognition on Large-Scale DatabaseRan He, Bao-Gang Hu, Wei-Shi Zheng, Yanqing Guo. [doi]
• Towards Multiagent Meta-level ControlShanjun Cheng, Anita Raja, Victor R. Lesser. [doi]
• Decidable Fragments of First-Order Language Under Stable Model Semantics and CircumscriptionHeng Zhang, Mingsheng Ying. [doi]
• Non-Negative Matrix Factorization with ConstraintsHaifeng Liu, Zhaohui Wu. [doi]
• An Optimization Variant of Multi-Robot Path Planning Is IntractablePavel Surynek. [doi]
• Structure Learning for Markov Logic Networks with Many Descriptive AttributesHassan Khosravi, Oliver Schulte, Tong Man, Xiaoyuan Xu, Bahareh Bina. [doi]
• Automatic Attribution of Quoted Speech in Literary NarrativeDavid K. Elson, Kathleen McKeown. [doi]
• Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory BehaviorsShane Griffith, Alexander Stoytchev. [doi]
• Intelligently Aiding Human-Guided Correction of Speech RecognitionKeith Vertanen, Per Ola Kristensson. [doi]
• A Distributed Algorithm for Optimising over Pure Strategy Nash EquilibriaArchie C. Chapman, Alessandro Farinelli, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings. [doi]
• Transfer Learning in Collaborative Filtering for Sparsity ReductionWeike Pan, Evan Wei Xiang, Nathan Nan Liu, Qiang Yang. [doi]
• Computational Social Choice: Strategic and Combinatorial AspectsLirong Xia. [doi]
• Instance-Based Online Learning of Deterministic Relational Action ModelsJoseph Z. Xu, John E. Laird. [doi]
• Goal-Driven Autonomy in a Navy Strategy SimulationMatthew Molineaux, Matthew Klenk, David W. Aha. [doi]
• Fast Local Search Algorithm for Weighted Feedback Arc Set in TournamentsFedor V. Fomin, Daniel Lokshtanov, Venkatesh Raman, Saket Saurabh. [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. [doi]
• Learning Simulation Control in General Game-Playing AgentsHilmar Finnsson, Yngvi Björnsson. [doi]
• Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated PoliciesKevin Regan, Craig Boutilier. [doi]
• User-Specific Learning for Recognizing a Singer s Intended PitchAndrew Guillory, Sumit Basu, Dan Morris. [doi]
• The Model-Based Approach to Autonomous Behavior: A Personal ViewHector Geffner. [doi]
• What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring ModelBi Chen, Leilei Zhu, Daniel Kifer, Dongwon Lee. [doi]
• Evolving Compiler Heuristics to Manage Communication and ContentionMatthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley. [doi]
• Structured Parameter ElicitationLi Ling Ko, David Hsu, Wee Sun Lee, Sylvie C. W. Ong. [doi]
• Interactive Learning Using Manifold GeometryEric Eaton, Gary Holness, Daniel McFarlane. [doi]
• Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3DAlex Nash, Sven Koenig, Craig A. Tovey. [doi]
• Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture ModelsKaushik Subramanian. [doi]
• Node Selection Query Languages for TreesDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. [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. [doi]
• Predicting the Importance of Newsfeed Posts and Social Network FriendsTim Paek, Michael Gamon, Scott Counts, David Maxwell Chickering, Aman Dhesi. [doi]
• Informed Lifting for Message-PassingKristian Kersting, Youssef El Massaoudi, Fabian Hadiji, Babak Ahmadi. [doi]
• 1.6-Bit Pattern DatabasesTeresa Maria Breyer, Richard E. Korf. [doi]
• Space Efficient Evaluation of ASP Programs with Bounded Predicate AritiesThomas Eiter, Wolfgang Faber, Mushthofa Mushthofa. [doi]
• Increasing Threshold Search for Best-Valued AgentsDavid Sarne, Simon Shamoun, Eli Rata. [doi]
• Kernelized Sorting for Natural Language ProcessingJagadeesh Jagarlamudi, Seth Juarez, Hal Daumé III. [doi]
• The Induction and Transfer of Declarative BiasWill Bridewell, Ljupco Todorovski. [doi]
• Bayesian Policy Search for Multi-Agent Role DiscoveryAaron Wilson, Alan Fern, Prasad Tadepalli. [doi]
• New Mini-Bucket Partitioning Heuristics for Bounding the Probability of EvidenceEmma Rollon, Rina Dechter. [doi]
• Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human BehaviorDaniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell. [doi]
• Lifting Rationality Assumptions in Binary AggregationUmberto Grandi, Ulle Endriss. [doi]
• Can Approximation Circumvent Gibbard-Satterthwaite?Ariel D. Procaccia. [doi]
• Multi-Agent Learning with Policy PredictionChongjie Zhang, Victor R. Lesser. [doi]
• Two-Player Game Structures for Generalized Planning and Agent CompositionGiuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña. [doi]
• Envy Quotes and the Iterated Core-Selecting Combinatorial AuctionAbraham Othman, Tuomas Sandholm. [doi]
• Towards Interesting Patterns of Hard CSPs with Functional ConstraintsChendong Li. [doi]
• Distributed Auction-Based Initialization of Mobile Robot FormationsRobert Louis Long, Ross Mead, Jerry B. Weinberg. [doi]
• Automated Channel Abstraction for Advertising AuctionsWilliam E. Walsh, Craig Boutilier, Tuomas Sandholm, Rob Shields, George L. Nemhauser, David C. Parkes. [doi]
• Using Closed Captions as Supervision for Video Activity RecognitionSonal Gupta, Raymond J. Mooney. [doi]
• Efficient Lifting for Online Probabilistic InferenceAniruddh Nath, Pedro Domingos. [doi]
• Visual Contextual Advertising: Bringing Textual Advertisements to ImagesYuqiang Chen, Ou Jin, Gui-Rong Xue, Jia Chen, Qiang Yang. [doi]
• Collaborative Expert Portfolio ManagementDavid H. Stern, Horst Samulowitz, Ralf Herbrich, Thore Graepel, Luca Pulina, Armando Tacchella. [doi]
• Genome Rearrangement: A Planning ApproachTansel Uras, Esra Erdem. [doi]
• Coalitional Structure Generation in Skill GamesYoram Bachrach, Reshef Meir, Kyomin Jung, Pushmeet Kohli. [doi]
• Assisting Users with Clustering Tasks by Combining Metric Learning and ClassificationSumit Basu, Danyel Fisher, Steven M. Drucker, Hao Lu. [doi]
• Multi-Label Learning with Weak LabelYu-Yin Sun, Yin Zhang, Zhi-Hua Zhou. [doi]
• A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple StringsQingguo Wang, Mian Pan, Yi Shang, Dmitry Korkin. [doi]
• Framework and Schema for Semantic Web Knowledge BasesJames P. McGlothlin. [doi]
• Reinforcement Learning Via Practice and Critique AdviceKshitij Judah, Saikat Roy, Alan Fern, Thomas G. Dietterich. [doi]
• Topological Relations between Convex RegionsSanjiang Li, Weiming Liu. [doi]
• Forest-Based Semantic Role LabelingHao Xiong, Haitao Mi, Yang Liu, Qun Liu. [doi]
• Truth, Justice, and Cake CuttingYiling Chen, John Lai, David C. Parkes, Ariel D. Procaccia. [doi]
• Integrating Reinforcement Learning into a Programming LanguageChristopher Simpkins. [doi]
• Facilitating the Evaluation of Automated Negotiators using Peer Designed AgentsRaz Lin, Sarit Kraus, Yinon Oshrat, Ya akov (Kobi) Gal. [doi]
• Latent Class Models for Algorithm Portfolio MethodsBryan Silverthorn, Risto Miikkulainen. [doi]
• Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary TopologiesNicola Basilico, Nicola Gatti, Federico Villa. [doi]
• Modeling Dynamic Multi-Topic Discussions in Online ForumsHao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang 0005, Jianfeng Shen. [doi]
• G-Optimal Design with Laplacian RegularizationChun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang 0005, Cheng Zhang. [doi]
• Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPsChristopher Amato, Blai Bonet, Shlomo Zilberstein. [doi]
• A New Approach to Knowledge Base Revision in DL-LiteZhe Wang, Kewen Wang, Rodney W. Topor. [doi]
• Trust Models and Con-Man Agents: From Mathematical to Empirical AnalysisAmirali Salehi-Abari, Tony White. [doi]
• Integrating Transfer Learning in Synthetic StudentNan Li, William W. Cohen, Kenneth R. Koedinger. [doi]
• Fixing a TournamentVirginia Vassilevska Williams. [doi]
• Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree SearchJeffrey Richard Long, Nathan R. Sturtevant, Michael Buro, Timothy Furtak. [doi]
• Adaptive Transfer LearningBin Cao, Sinno Jialin Pan, Yu Zhang, Dit-Yan Yeung, Qiang Yang. [doi]
• Temporal Planning for Interacting Durative Actions with Continuous EffectsSerdar Kecici, Sanem Sariel Talay. [doi]
• Stability and Incentive Compatibility in a Kernel-Based Combinatorial AuctionSébastien Lahaie. [doi]
• DTProbLog: A Decision-Theoretic Probabilistic PrologGuy Van den Broeck, Ingo Thon, Martijn Van Otterlo, Luc De Raedt. [doi]
• Gaussian Process Latent Random FieldGuoqiang Zhong, Wu-Jun Li, Dit-Yan Yeung, Xinwen Hou, Cheng-Lin Liu. [doi]
• Multi-Agent Fault Tolerance Inspired by a Computational Analysis of CancerMegan Olsen. [doi]
• PUMA: Planning Under Uncertainty with Macro-ActionsRuijie He, Emma Brunskill, Nicholas Roy. [doi]
• Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight CliquesFranco Mascia, Elisa Cilia, Mauro Brunato, Andrea Passerini. [doi]
• Interactive Task-Plan LearningShuonan Dong. [doi]
• Decomposed Utility Functions and Graphical Models for Reasoning about PreferencesRonen I. Brafman, Yagil Engel. [doi]
• Decision-Theoretic Control of Crowd-Sourced WorkflowsPeng Dai, Mausam, Daniel S. Weld. [doi]
• Voting Almost Maximizes Social Welfare Despite Limited CommunicationIoannis Caragiannis, Ariel D. Procaccia. [doi]
• A Single-Step Maximum A Posteriori Update for Bearing-Only SLAMStephen Tully, George Kantor, Howie Choset. [doi]
• A Restriction of Extended Resolution for Clause Learning SAT SolversGilles Audemard, George Katsirelos, Laurent Simon. [doi]
• Parallel Depth First Proof Number SearchTomoyuki Kaneko. [doi]
• Multilinear Maximum Distance Embedding Via L1-Norm OptimizationYang Liu, Yan Liu, Keith C. C. Chan. [doi]
• Search-Based Path Planning with Homotopy Class ConstraintsSubhrajit Bhattacharya. [doi]
• Collaborative Filtering Meets Mobile Recommendation: A User-Centered ApproachVincent Wenchen Zheng, Bin Cao, Yu Zheng, Xing Xie, Qiang Yang. [doi]
• A Computational Model for Saliency Maps by Using Local EntropyYuewei Lin, Bin Fang, Yuanyan Tang. [doi]
• Automated Modelling and Solving in Constraint ProgrammingBarry O Sullivan. [doi]
• The Genetic Algorithm as a General Diffusion Model for Social NetworksMayank Lahiri, Manuel Cebrián. [doi]
• Relative Entropy Policy SearchJan Peters, Katharina Mülling, Yasemin Altun. [doi]
• Cost-Sensitive Semi-Supervised Support Vector MachineYu-Feng Li, James T. Kwok, Zhi-Hua Zhou. [doi]
• Toward Learning to Press Doorbell ButtonsLiping Wu, Vladimir Sukhoy, Alexander Stoytchev. [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. [doi]
• Team Formation with Heterogeneous Agents in Computer GamesRobert G. Price, Scott D. Goodwin. [doi]
• A Decentralised Coordination Algorithm for Mobile SensorsRuben Stranders, Francesco Maria Delle Fave, Alex Rogers, Nicholas R. Jennings. [doi]
• A Probabilistic-Logical Framework for Ontology MatchingMathias Niepert, Christian Meilicke, Heiner Stuckenschmidt. [doi]
• Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping CategoriesYahong Han, Fei Wu, Jinzhu Jia, Yueting Zhuang, Bin Yu. [doi]
• Constraint Programming for Data Mining and Machine LearningLuc De Raedt, Tias Guns, Siegfried Nijssen. [doi]
• Relational Partially Observable MDPsChenggang Wang, Roni Khardon. [doi]
• Temporal Information ExtractionXiao Ling, Daniel S. Weld. [doi]
• An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated GamesAndriy Burkov, Brahim Chaib-draa. [doi]
• GTPA: A Generative Model For Online Mentor-Apprentice NetworksMuhammad Aurangzeb Ahmad, David Huffaker, Jing Wang, Jeffrey William Treem, Marshall Scott Poole, Jaideep Srivastava. [doi]
• Dynamic Auction: A Tractable Auction ProcedureDongmo Zhang, Laurent Perrussel. [doi]
• Epsilon-First Policies for Budget-Limited Multi-Armed BanditsTran-Thanh Long, Archie C. Chapman, Enrique Munoz de Cote, Alex Rogers, Nicholas R. Jennings. [doi]
• Temporal and Social Context Based Burst Detection from FolksonomiesJunjie Yao, Bin Cui, Yuxin Huang, Xin Jin. [doi]
• Compilation Complexity of Common Voting RulesLirong Xia, Vincent Conitzer. [doi]
• Filtering Bounded Knapsack Constraints in Expected Sublinear TimeYuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek. [doi]
• Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban AreasJi Zhang, Dezhen Song. [doi]
• Grouping Strokes into Shapes in Hand-Drawn DiagramsEric Jeffrey Peterson, Thomas F. Stahovich, Eric Doi, Christine Alvarado. [doi]
• Toward an Architecture for Never-Ending Language LearningAndrew Carlson, Justin Betteridge, Bryan Kisiel, Burr Settles, Estevam R. Hruschka Jr., Tom M. Mitchell. [doi]
• On the Reputation of Agent-Based Web ServicesBabak Khosravifar, Jamal Bentahar, Ahmad Moazin, Philippe Thiran. [doi]
• A Lower Bound on the Size of Decomposable Negation Normal FormThammanit Pipatsrisawat, Adnan Darwiche. [doi]
• Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google CorpusJohn J. Tanner, Fernando Gomez. [doi]
• Exploiting Monotonicity in Interval Constraint PropagationIgnacio Araya, Gilles Trombettoni, Bertrand Neveu. [doi]
• SAP Speaks PDDLJörg Hoffmann, Ingo Weber, Frank Michael Kraft. [doi]
• Multi-Agent Plan Recognition: Formalization and AlgorithmsBikramjit Banerjee, Landon Kraemer, Jeremy Lyle. [doi]
• Continual On-Line PlanningSofia Lemons. [doi]
• What if the Irresponsible Teachers Are Dominating?Shuo Chen, Jianwen Zhang, Guangyun Chen, Changshui Zhang. [doi]
• Evolved Intrinsic Reward Functions for Reinforcement LearningScott Niekum. [doi]
• Intentions in EquilibriumJohn Grant, Sarit Kraus, Michael Wooldridge. [doi]
• On Multi-Robot Area CoveragePooyan Fazli. [doi]
• Subjective Trust Inference in Composite ServicesLei Li, Yan Wang. [doi]
• Materializing Inferred and Uncertain Knowledge in RDF DatasetsJames P. McGlothlin, Latifur R. Khan. [doi]
• Bidirectional Integration of Pipeline ModelsXiaofeng Yu, Wai Lam. [doi]
• Learning from Concept Drifting Data Streams with Unlabeled DataPei-Pei Li, Xindong Wu, Xuegang Hu. [doi]
• Stackelberg Voting Games: Computational Aspects and ParadoxesLirong Xia, Vincent Conitzer. [doi]
• A Stronger Consistency for Soft Global Constraints in Weighted Constraint SatisfactionJimmy Lee, K. L. Leung. [doi]
• Unsupervised Learning of Event Classes from VideoMuralikrishna Sridhar, Anthony G. Cohn, David C. Hogg. [doi]
• Detecting Social Ties and Copying Events from Affiliation DataLisa Friedland. [doi]
• Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample ExtrapolationYi Yang, Feiping Nie, Shiming Xiang, Yueting Zhuang, Wenhua Wang. [doi]
• Adopting Inference Networks for Online Thread RetrievalSumit Bhatia, Prasenjit Mitra. [doi]
• Creating Dynamic Story Plots with Continual Multiagent PlanningMichael Brenner. [doi]
• A Temporal Proof System for General Game PlayingMichael Thielscher, Sebastian Voigt. [doi]
• Ontologies and Representations of MatterErnest Davis. [doi]
• SixthSense: Fast and Reliable Recognition of Dead Ends in MDPsAndrey Kolobov, Mausam, Daniel S. Weld. [doi]
• Control Model Learning for Whole-Body Mobile ManipulationScott Kuindersma. [doi]
• A Bayesian Nonparametric Approach to Modeling Mobility PatternsJoshua Mason Joseph, Finale Doshi-Velez, Nicholas Roy. [doi]
• First-Order Indefinability of Answer Set Programs on Finite StructuresYin Chen, Yan Zhang, Yi Zhou. [doi]
• Knowledge Compilation in the Modal Logic S5Meghyn Bienvenu, Hélène Fargier, Pierre Marquis. [doi]
• Approximate Coalition Structure GenerationTravis C. Service, Julie A. Adams. [doi]
• Learning to Predict Opinion Share in Social NetworksMasahiro Kimura, Kazumi Saito, Kouzou Ohara, Hiroshi Motoda. [doi]
• Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement LearningChad Hogg, Ugur Kuter, Hector Muñoz-Avila. [doi]
• Inducing Probability Distributions from Knowledge Bases with (In)dependence RelationsJianbing Ma, Weiru Liu, Anthony Hunter. [doi]
• Transductive Learning on Adaptive GraphsYan-Ming Zhang, Yu Zhang, Dit-Yan Yeung, Cheng-Lin Liu, Xinwen Hou. [doi]
• Probabilistic Plan Recognition Using Off-the-Shelf Classical PlannersMiquel Ramírez, Hector Geffner. [doi]
• Smooth Optimization for Effective Multiple Kernel LearningZenglin Xu, Rong Jin, Shenghuo Zhu, Michael R. Lyu, Irwin King. [doi]
• Fast Algorithms for Top-k Approximate String MatchingZhenglu Yang, Jianjun Yu, Masaru Kitsuregawa. [doi]
• Bayesian Matrix Factorization with Side Information and Dirichlet Process MixturesIan Porteous, Arthur Asuncion, Max Welling. [doi]
• Reasoning about Imperfect Information Games in the Epistemic Situation CalculusVaishak Belle, Gerhard Lakemeyer. [doi]
• Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian NoiseMakoto Yamada, Masashi Sugiyama. [doi]
• A General Game Description Language for Incomplete Information GamesMichael Thielscher. [doi]
• Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning AgentsSamuel Wintermute. [doi]
• Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number SearchAkihiro Kishimoto. [doi]
• How Incomplete Is Your Semantic Web Reasoner?Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrocks. [doi]
• Asymmetric Spite in AuctionsAnkit Sharma, Tuomas Sandholm. [doi]
• Biped Walk Learning Through Playback and Corrective DemonstrationÇetin Meriçli, Manuela M. Veloso. [doi]
• Intelligent Time-Aware Query Translation for Text SourcesAmal Chaminda Kaluarachchi, Aparna S. Varde, Jing Peng, Anna Feldman. [doi]
• Independent Additive Heuristics Reduce Search MultiplicativelyTeresa Maria Breyer, Richard E. Korf. [doi]
• Activity and Gait Recognition with Time-Delay EmbeddingsJordan Frank, Shie Mannor, Doina Precup. [doi]
• Nonmanipulable Randomized Tournament SelectionsAlon Altman, Robert Kleinberg. [doi]
• Nonparametric Curve Extraction Based on Ant Colony SystemQing Tan, Qing He, Zhongzhi Shi. [doi]
• A First Practical Algorithm for High Levels of Relational ConsistencyShant Karakashian, Robert J. Woodward, Christopher G. Reeson, Berthe Y. Choueiry, Christian Bessiere. [doi]
• Biologically-Inspired Control for Multi-Agent Self-Adaptive TasksChih-Han Yu, Radhika Nagpal. [doi]
• Semantic Search in Linked Data: Opportunities and ChallengesHamid Haidarian Shahri. [doi]
• Active Inference for Collective ClassificationMustafa Bilgic, Lise Getoor. [doi]
• Automatic Derivation of Finite-State Machines for Behavior ControlBlai Bonet, Héctor Palacios, Hector Geffner. [doi]
• Past and Future of DL-LiteAlessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. [doi]
• Using Lookaheads with Optimal Best-First SearchRoni Stern, Tamar Kulberis, Ariel Felner, Robert Holte. [doi]
• Representing Preferences Among SetsGerhard Brewka, Miroslaw Truszczynski, Stefan Woltran. [doi]
• Integrity Constraints in OWLJiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness. [doi]
• Finding Semantic Inconsistencies in UMLS using Answer Set ProgrammingHalit Erdogan, Olivier Bodenreider, Esra Erdem. [doi]
• Keyword Extraction and Headline Generation Using Novel Word FeaturesSonghua Xu, Shaohui Yang, Francis Lau. [doi]
• Session Based Click Features for Recency RankingYoshiyuki Inagaki, Narayanan Sadagopan, Georges Dupret, Anlei Dong, Ciya Liao, Yi Chang, Zhaohui Zheng. [doi]
• Sequential Incremental-Value AuctionsXiaoming Zheng, Sven Koenig. [doi]
• Exploiting QBF Duality on a Circuit RepresentationAlexandra Goultiaeva, Fahiem Bacchus. [doi]
• Finding Optimal Solutions to Cooperative Pathfinding ProblemsTrevor Scott Standley. [doi]
• Searching Without a Heuristic: Efficient Use of AbstractionBradford John Larsen, Ethan Burns, Wheeler Ruml, Robert Holte. [doi]
• Constrained Coclustering for Textual DocumentsYangqiu Song, Shimei Pan, Shixia Liu, Furu Wei, Michelle X. Zhou, Weihong Qian. [doi]
• Optimal Strategies for Reviewing Search ResultsJeff Huang, Anna Kazeykina. [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. [doi]
• Integrating Constraint Satisfaction and Spatial ReasoningUnmesh Kurup, Nicholas L. Cassimatis. [doi]
• News Recommendation in Forum-Based Social MediaJia Wang, Qing Li, Yuanzhu Peter Chen, Jiafen Liu, Chen Zhang, Zhangxi Lin. [doi]
• Discriminant Laplacian EmbeddingHua Wang, Heng Huang, Chris H. Q. Ding. [doi]
• UserRec: A User Recommendation Framework in Social Tagging SystemsTom Chao Zhou, Hao Ma, Michael R. Lyu, Irwin King. [doi]
• Simultaneous Elicitation of Preference Features and UtilityCraig Boutilier, Kevin Regan, Paolo Viappiani. [doi]
• Commonsense Knowledge Mining from the WebChi-Hsin Yu, Hsin-Hsi Chen. [doi]
• An Integrated Systems Approach to Explanation-Based Conceptual ChangeScott Friedman, Kenneth D. Forbus. [doi]
• Efficient Belief Propagation for Utility Maximization and Repeated InferenceAniruddh Nath, Pedro Domingos. [doi]
• Transmission Network Expansion Planning with Simulation OptimizationRussell Bent, Alan Berscheid, G. Loren Toole. [doi]
• Local Search in Histogram ConstructionFelix Halim, Panagiotis Karras, Roland H. C. Yap. [doi]
• Security Games with Arbitrary Schedules: A Branch and Price ApproachManish Jain, Erim Kardes, Christopher Kiekintveld, Fernando Ordóñez, Milind Tambe. [doi]
• A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted TopicsMichael Paul, Roxana Girju. [doi]
• Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous ModelsDanny Wyatt, Tanzeem Choudhury, Jeff Bilmes. [doi]
• Extraction and Visualization of Implicit Social Relations on Social Networking ServicesMeesun Song, Wonkyu Lee, Junghwan Kim. [doi]
• Latent Variable Model for Learning in Pairwise Markov NetworksSaeed Amizadeh, Milos Hauskrecht. [doi]
• Relational Reinforcement Learning in Infinite MarioShiwali Mohan, John E. Laird. [doi]
• A Layered Approach to People Detection in 3D Range DataLuciano Spinello, Kai Oliver Arras, Rudolph Triebel, Roland Siegwart. [doi]
• CAO: A Fully Automatic Emoticon Analysis SystemMichal Ptaszynski, Jacek Maciejewski, Pawel Dybala, Rafal Rzepka, Kenji Araki. [doi]
• Coalition Structure Generation based on Distributed Constraint OptimizationSuguru Ueda, Atsushi Iwasaki, Makoto Yokoo, Marius-Calin Silaghi, Katsutoshi Hirayama, Toshihiro Matsui. [doi]
• Transferable Utility Planning GamesRonen I. Brafman, Carmel Domshlak, Yagil Engel, Moshe Tennenholtz. [doi]
• To Max or Not to Max: Online Learning for Speeding Up Optimal PlanningCarmel Domshlak, Erez Karpas, Shaul Markovitch. [doi]
• Clickthrough Log Analysis by Collaborative RankingBin Cao, Dou Shen, Kuansan Wang, Qiang Yang. [doi]
• Constrained Metric Learning Via Distance Gap MaximizationWei Liu, Xinmei Tian, Dacheng Tao, Jianzhuang Liu. [doi]
• Design and Implementation of Two-level Synchronization for Interactive Music RobotTakuma Otsuka, Kazuhiro Nakadai, Toru Takahashi, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno. [doi]
• Propagating Conjunctions of AllDifferent ConstraintsChristian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh. [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. [doi]
• Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical FeaturesEun Yong Kang, Ilya Shpitser, Eleazar Eskin. [doi]
• EWLS: A New Local Search for Minimum Vertex CoverShaowei Cai, Kaile Su, Qingliang Chen. [doi]
• A Phrase-Based Method for Hierarchical Clustering of Web SnippetsZhao Li, Xindong Wu. [doi]
• Gaussian Mixture Model with Local ConsistencyJialu Liu, Deng Cai, Xiaofei He. [doi]
• Integrating Expert Knowledge and ExperienceBen George Weber. [doi]
• Sentiment Analysis with Global Topics and Local DependencyFangtao Li, Minlie Huang, Xiaoyan Zhu. [doi]
• Multi-Label Classification: Inconsistency and Class Balanced K-Nearest NeighborHua Wang, Chris H. Q. Ding, Heng Huang. [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. [doi]
• Conformal Mapping by Computationally Efficient MethodsStefan Pintilie, Ali Ghodsi. [doi]
• Towards an Intelligent Code Search EngineJinhan Kim, Sanghoon Lee, Seung-won Hwang, Sunghun Kim. [doi]
• Recognizing Multi-Agent Activities from GPS DataAdam Sadilek, Henry A. Kautz. [doi]
• Representation Discovery in Sequential Decision MakingSridhar Mahadevan. [doi]
• Beyond Equilibrium: Predicting Human Behavior in Normal-Form GamesJames R. Wright, Kevin Leyton-Brown. [doi]
• Tolerable Manipulability in Dynamic Assignment without MoneyJames Zou, Sujit Gujar, David C. Parkes. [doi]
• Enhancing ASP by Functions: Decidable Classes and Implementation TechniquesFrancesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. [doi]
• Single-Frontier Bidirectional SearchAriel Felner, Carsten Moldenhauer, Nathan R. Sturtevant, Jonathan Schaeffer. [doi]
• Exact Algorithms and Experiments for Hierarchical Tree ClusteringSepp Hartung, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann. [doi]
• Integrating a Closed World Planner with an Open World Robot: A Case StudyKartik Talamadupula, J. Benton, Paul W. Schermerhorn, Subbarao Kambhampati, Matthias Scheutz. [doi]
• Learning Discriminative Piecewise Linear Models with Boundary PointsKun Gai, Changshui Zhang. [doi]
• Competing SchedulersItai Ashlagi, Moshe Tennenholtz, Aviv Zohar. [doi]
• Ordered Completion for First-Order Logic Programs on Finite StructuresVernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou. [doi]
• Integrating Sample-Based Planning and Model-Based Reinforcement LearningThomas J. Walsh, Sergiu Goschin, Michael L. Littman. [doi]
• Saving Redundant Messages in BnB-ADOPTPatricia Gutierrez, Pedro Meseguer. [doi]
• Panlingual Lexical Translation via Probabilistic InferenceMausam, Stephen Soderland, Oren Etzioni. [doi]
• Computationally Feasible Automated Mechanism Design: General Approach and Case StudiesMingyu Guo, Vincent Conitzer. [doi]
• Algorithms for Finding Approximate Formations in GamesPatrick R. Jordan, Michael P. Wellman. [doi]
• Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous EffectsMatthew Molineaux, Matthew Klenk, David W. Aha. [doi]
• Optimal Rectangle Packing on Non-Square BenchmarksEric Huang, Richard E. Korf. [doi]
• Enhancing Affective Communication in Embodied Conversational AgentsMichelle Denise Leonhardt. [doi]
• Comparing Position Auctions ComputationallyDavid Robert Martin Thompson, Kevin Leyton-Brown. [doi]
• A General Framework for Representing and Reasoning with Annotated Semantic Web DataUmberto Straccia, Nuno Lopes 0002, Gergely Lukacsy, Axel Polleres. [doi]
• A Belief Revision Framework for Revising Epistemic States with Partial Epistemic StatesJianbing Ma, Weiru Liu, Salem Benferhat. [doi]
• Private and Third-Party Randomization in Risk-Sensitive Equilibrium ConceptsMickey Brautbar, Michael Kearns, Umar Syed. [doi]
• Computing Cost-Optimal Definitely Discriminating TestsAnika Schumann, Jinbo Huang, Martin Sachenbacher. [doi]
• Generalized Task Markets for Human and Machine ComputationDafna Shahaf, Eric Horvitz. [doi]
• An Analytic Characterization of Model Minimization in Factored Markov Decision ProcessesWenyuan Guo, Tze-Yun Leong. [doi]
• Non-Negative Matrix Factorization Clustering on Multiple ManifoldsBin Shen, Luo Si. [doi]
• A Novel Transition Based Encoding Scheme for Planning as SatisfiabilityRuoyun Huang, Yixin Chen, Weixiong Zhang. [doi]
• Utilizing Context in Generative Bayesian Models for Linked CorpusSaurabh Kataria, Prasenjit Mitra, Sumit Bhatia. [doi]
• Integrated Systems for Inducing Spatio-Temporal Process ModelsChunki Park, Will Bridewell, Pat Langley. [doi]
• Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable DomainsFinale Doshi-Velez. [doi]
• Non-Metric Locality-Sensitive HashingYadong Mu, Shuicheng Yan. [doi]
• Facial Age Estimation by Learning from Label DistributionsXin Geng, Kate Smith-Miles, Zhi-Hua Zhou. [doi]
• Learning Spatial-Temporal Varying Graphs with Applications to Climate Data AnalysisXi Chen, Yan Liu, Han Liu, Jaime G. Carbonell. [doi]
• Trial-Based Dynamic Programming for Multi-Agent PlanningFeng Wu, Shlomo Zilberstein, Xiaoping Chen. [doi]
• Accounting Mechanisms for Distributed Work SystemsSven Seuken, Jie Tang, David C. Parkes. [doi]
• Multitask Bregman ClusteringJianwen Zhang, Changshui Zhang. [doi]
• A Trust Model for Supply Chain ManagementYasaman Haghpanah, Marie desJardins. [doi]
• A New Algorithm for Weighted Partial MaxSATCarlos Ansótegui, Maria Luisa Bonet, Jordi Levy. [doi]
• Multi-Task Active Learning with Output ConstraintsYi Zhang 0010. [doi]
• Ontological Reasoning with F-logic Lite and its ExtensionsAndrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris. [doi]
• Symmetry in SolutionsMarijn Heule, Toby Walsh. [doi]
• Cloning in ElectionsEdith Elkind, Piotr Faliszewski, Arkadii M. Slinko. [doi]
• The Boosting Effect of Exploratory BehaviorsJivko Sinapov, Alexander Stoytchev. [doi]
• Urban Security: Game-Theoretic Resource Allocation in Networked DomainsJason Tsai, Zhengyu Yin, Jun-young Kwak, David Kempe, Christopher Kiekintveld, Milind Tambe. [doi]
• Efficient Spectral Feature Selection with Minimum RedundancyZheng Zhao, Lei Wang, Huan Liu. [doi]
• Possible Winners when New Candidates Are Added: The Case of Scoring RulesYann Chevaleyre, Jérôme Lang, Nicolas Maudet, Jérôme Monnot. [doi]
• Compressing POMDPs Using Locality Preserving Non-Negative Matrix FactorizationGeorgios Theocharous, Sridhar Mahadevan. [doi]
• Search Space Reduction Using Swamp HierarchiesNir Pochter, Aviv Zohar, Jeffrey S. Rosenschein, Ariel Felner. [doi]
• Learning Causal Models of Relational DomainsMarc Maier, Brian Taylor, Huseyin Oktay, David Jensen. [doi]
• An Inconsistency-Tolerant Approach to Information Merging Based on Proposition RelaxationSteven Schockaert, Henri Prade. [doi]
• Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked ElectoratesFelix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra. [doi]
• Semi-Supervised Dimension Reduction for Multi-Label ClassificationBuyue Qian, Ian Davidson. [doi]
• Properties of Bayesian Dirichlet Scores to Learn Bayesian Network StructuresCassio Polpo de Campos, Qiang Ji. [doi]
• Symmetry Detection in General Game PlayingStephan Schiffel. [doi]
• PR + RQ ALMOST EQUAL TO PQ: Transliteration Mining Using Bridge LanguageMitesh M. Khapra, Raghavendra Udupa, A. Kumaran, Pushpak Bhattacharyya. [doi]
• Reinforcement Learning via AIXI ApproximationJoel Veness, Kee Siong Ng, Marcus Hutter, David Silver. [doi]
• Fast Conditional Density Estimation for Quantitative Structure-Activity RelationshipsFabian Buchwald, Tobias Girschick, Eibe Frank, Stefan Kramer. [doi]
• Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to SatisfiabilityDaniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo. [doi]
• g-Planner: Real-time Motion Planning and Global Navigation using GPUsJia Pan, Christian Lauterbach, Dinesh Manocha. [doi]
• Collusion Detection in Online BridgeJeff Yan. [doi]
• Local Optimization for Simulation of Natural MotionTom Erez. [doi]
• A Distributed Method for Evaluating Properties of a Robot FormationBrent Beer, Ross Alan Mead, Jerry B. Weinberg. [doi]
• Ad Hoc Autonomous Agent Teams: Collaboration without Pre-CoordinationPeter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey S. Rosenschein. [doi]
• Progress on Agent Coordination with Cooperative AuctionsSven Koenig, Pinar Keskinocak, Craig A. Tovey. [doi]
• Hidden Market DesignSven Seuken, Kamal Jain, David C. Parkes. [doi]
• Good Rationalizations of Voting RulesEdith Elkind, Piotr Faliszewski, Arkadii M. Slinko. [doi]
• Diversifying Query Suggestion ResultsHao Ma, Michael R. Lyu, Irwin King. [doi]
• Probabilistic Possible Winner DeterminationYoram Bachrach, Nadja Betzler, Piotr Faliszewski. [doi]
• Dominance Testing via Model CheckingGanesh Ram Santhanam, Samik Basu, Vasant Honavar. [doi]
• Hydra: Automatically Configuring Algorithms for Portfolio-Based SelectionLin Xu, Holger Hoos, Kevin Leyton-Brown. [doi]
• Symbolic Dynamic Programming for First-order POMDPsScott Sanner, Kristian Kersting. [doi]
• Approximation Algorithms and Mechanism Design for Minimax Approval VotingIoannis Caragiannis, Dimitris Kalaitzis, Evangelos Markakis. [doi]
• A Proof-Producing CSP SolverMichael Veksler, Ofer Strichman. [doi]
• Hierarchical Skill Learning for High-Level PlanningJames MacGlashan. [doi]
• Soundness Preserving Approximation for TBox ReasoningYuan Ren, Jeff Z. Pan, Yuting Zhao. [doi]
• Convergence to Equilibria in Plurality VotingReshef Meir, Maria Polukarov, Jeffrey S. Rosenschein, Nicholas R. Jennings. [doi]
• On the Use of Prime Implicates in Conformant PlanningSon Thanh To, Tran Cao Son, Enrico Pontelli. [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. [doi]
• Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation GamesDmytro Korzhyk, Vincent Conitzer, Ronald Parr. [doi]
• A Topic Model for Linked Documents and Update Rules for its EstimationZhen Guo, Shenghuo Zhu, Zhongfei Zhang, Yun Chi, Yihong Gong. [doi]
• Multi-Instance Dimensionality ReductionYu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou. [doi]
• Materializing and Persisting Inferred and Uncertain Knowledge in RDF DatasetsJames P. McGlothlin, Latifur R. Khan. [doi]