Table of Contents

• IJCAI Organization [doi]
• Past IJCAI Conferences [doi]
• Awards and Distinguished Papers [doi]
• PrefaceSubbarao Kambhampati, Gerhard Brewka. [doi]
• Conference Organizers and Sponsors [doi]
• Program Committee [doi]
• Conference Organization [doi]
• Interdependent Scheduling GamesAndrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh. 2-9 [doi]
• Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic PlanningPritee Agrawal, Pradeep Varakantham, William Yeoh 0001. 10-16 [doi]
• Coco: Runtime Reasoning about Conflicting CommitmentsNirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh. 17-23 [doi]
• Verifying Existence of Resource-Bounded Coalition Uniform StrategiesNatasha Alechina, Mehdi Dastani, Brian Logan. 24-30 [doi]
• On Truthful Mechanisms for Maximin Share AllocationsGeorgios Amanatidis, Georgios Birmpas, Evangelos Markakis. 31-37 [doi]
• Modeling and Reasoning about NTU Games via Answer Set ProgrammingGiovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri. 38-45 [doi]
• Randomized Social Choice Functions under Metric PreferencesElliot Anshelevich, John Postl. 46-59 [doi]
• Generalized Discrete Preference GamesVincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, Giuseppe Persiano. 53-59 [doi]
• Computing Pareto Optimal CommitteesHaris Aziz, Jérôme Lang, Jérôme Monnot. 60-66 [doi]
• Control of Fair DivisionHaris Aziz, Ildikó Schlotter, Toby Walsh. 67-73 [doi]
• A Characterization of Voting Power for Discrete Weight DistributionsYoram Bachrach, Yuval Filmus, Joel Oren, Yair Zick. 74-80 [doi]
• Misrepresentation in District VotingYoram Bachrach, Omer Lev, Yoad Lewenberg, Yair Zick. 81-87 [doi]
• Conditional and Sequential Approval Voting on Combinatorial DomainsNathanaël Barrot, Jérôme Lang. 88-94 [doi]
• On Logics of Strategic Ability Based on Propositional ControlFrancesco Belardinelli, Andreas Herzig. 95-101 [doi]
• Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility LevelsBernhard Bliem, Robert Bredereck, Rolf Niedermeier. 102-108 [doi]
• The Complexity of Playing DurakÉdouard Bonnet. 109-115 [doi]
• Proving the Incompatibility of Efficiency and Strategyproofness via SMT SolvingFlorian Brandl, Felix Brandt, Christian Geist. 116-122 [doi]
• To Give or Not to Give: Fair Division for Single Minded ValuationsSimina Brânzei, Yuezhou Lv, Ruta Mehta. 123-129 [doi]
• Pairwise Diffusion of Preference Rankings in Social NetworksMarkus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi. 130-136 [doi]
• Facility Location with Minimax EnvyQingpeng Cai, Aris Filos-Ratsikas, Pingzhong Tang. 137-143 [doi]
• Achieving Proportional Representation in Conference ProgramsIoannis Caragiannis, Laurent Gourvès, Jérôme Monnot. 144-150 [doi]
• Subset Selection via Implicit Utilitarian VotingIoannis Caragiannis, Swaprava Nath, Ariel D. Procaccia, Nisarg Shah 0001. 151-157 [doi]
• Trading on a Rigged Game: Outcome Manipulation in Prediction MarketsMithun Chakraborty, Sanmay Das. 158-164 [doi]
• Congestion Games with Polytopal Strategy SpacesHau Chan, Albert Xin Jiang. 165-171 [doi]
• Robust Draws in Balanced Knockout TournamentsKrishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec. 172-179 [doi]
• Verifying Pushdown Multi-Agent Systems against Strategy LogicsTaolue Chen, Fu Song, Zhilin Wu. 180-186 [doi]
• Truthfulness of a Proportional Sharing Mechanism in Resource ExchangeYukun Cheng, Xiaotie Deng, Qi Qi, Xiang Yan. 187-193 [doi]
• Better Strategyproof Mechanisms without Payments or Prior - An Analytic ApproachYun Kuen Cheung. 194-200 [doi]
• Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral CoverageRoss Conroy, Yifeng Zeng, Jing Tang. 201-207 [doi]
• Selective Norm MonitoringNatalia Criado, Jose M. Such. 208-214 [doi]
• Elicitation for Preferences Single Peaked on TreesPalash Dey, Neeldhara Misra. 215-221 [doi]
• Preference Elicitation for Single Crossing DomainPalash Dey, Neeldhara Misra. 222-228 [doi]
• Complexity of Manipulation with Partial Information in VotingPalash Dey, Neeldhara Misra, Y. Narahari. 229-235 [doi]
• Strategic Voting with Incomplete InformationUlle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein. 236-242 [doi]
• Voting-Based Group FormationPiotr Faliszewski, Arkadii M. Slinko, Nimrod Talmon. 243-249 [doi]
• Committee Scoring Rules: Axiomatic Classification and HierarchyPiotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon. 250-256 [doi]
• How Hard Is It for a Party to Nominate an Election Winner?Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca, Jérôme Monnot. 257-263 [doi]
• Digital Good ExchangeWenyi Fang, Pingzhong Tang, Song Zuo. 264-270 [doi]
• Parallel Behavior Composition for ManufacturingPaolo Felli, Brian Logan, Sebastian Sardiña. 271-278 [doi]
• Opinion Dynamics with Local InteractionsDimitris Fotakis, Dimitris Palyvos-Giannas, Stratis Skoulakis. 279-285 [doi]
• Online Mechanism Design for Vehicle-to-Grid Car ParksEnrico H. Gerding, Sebastian Stein, Sofia Ceppi, Valentin Robu. 286-293 [doi]
• Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous AgentsJulio Godoy, Ioannis Karamouzas, Stephen J. Guy, Maria L. Gini. 294-300 [doi]
• A Network-Based Rating System and Its Resistance to BriberyUmberto Grandi, Paolo Turrini. 301-307 [doi]
• Three Strategies to Success: Learning Adversary Models in Security GamesNika Haghtalab, Fei Fang, Thanh Hong Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe. 308-314 [doi]
• Reconfigurability in Reactive Multiagent SystemsXiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su. 315-321 [doi]
• Probabilistic Matrix Inspection and Group SchedulingHooyeon Lee, Ashish Goel. 322-328 [doi]
• Catcher-Evader GamesYuqian Li, Vincent Conitzer, Dmytro Korzhyk. 329-337 [doi]
• Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish RoutingThanasis Lianeas, Evdokia Nikolova, Nicolás E. Stier Moses. 338-344 [doi]
• Social Choice for Agents with General UtilitiesHongyao Ma, Reshef Meir, David C. Parkes. 345-351 [doi]
• Incentivizing Reliability in Demand-Side ResponseHongyao Ma, Valentin Robu, Na Li, David C. Parkes. 352-358 [doi]
• Allocating Indivisible Items in Categorized DomainsErika Mackin, Lirong Xia. 359-365 [doi]
• Correlated VotingDebmalya Mandal, David C. Parkes. 366-372 [doi]
• Silk: A Simulation Study of Regulating Open Normative Multiagent SystemsMehdi Mashayekhi, Hongying Du, George F. List, Munindar P. Singh. 373-379 [doi]
• Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal StrategiesGeorgios Methenitis, Michael Kaisers, Han La Poutré. 380-386 [doi]
• Dynamic Auctions with Bank AccountsVahab S. Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo. 387-393 [doi]
• SLIM: Semi-Lazy Inference Mechanism for Plan RecognitionReuth Mirsky, Ya'akov (Kobi) Gal. 394-400 [doi]
• Sequential Plan RecognitionReuth Mirsky, Roni Stern, Ya'akov (Kobi) Gal, Meir Kalech. 401-407 [doi]
• Distributed Decoupling of Multiagent Simple Temporal ProblemsJayanth Krishna Mogali, Stephen F. Smith, Zachary B. Rubinstein. 408-415 [doi]
• Role Assignment for Game-Theoretic CooperationCatherine Moon, Vincent Conitzer. 416-423 [doi]
• Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of GoodsDmitry Moor, Sven Seuken, Tobias Grubenmann, Abraham Bernstein. 424-432 [doi]
• Automated Mechanism Design without Money via Machine LearningHarikrishna Narasimhan, Shivani Agarwal 0001, David C. Parkes. 433-439 [doi]
• Trembling Hand Equilibria of Plurality VotingSvetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov, Nicholas R. Jennings. 440-446 [doi]
• Distributed Breakout: Beyond SatisfactionSteven Okamoto, Roie Zivan, Aviv Nahon. 447-453 [doi]
• Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue SimulationTenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue. 454-460 [doi]
• Controlling Growing Tasks with Heterogeneous AgentsJames Parker, Maria L. Gini. 461-467 [doi]
• Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration ProblemsPierre Rust, Gauthier Picard, Fano Ramparany. 468-474 [doi]
• An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand SystemsWen Shen, Cristina V. Lopes, Jacob W. Crandall. 475-481 [doi]
• Efficient Local Search in Coordination Games on GraphsSunil Simon, Dominik Wojtczak. 482-488 [doi]
• Assigning a Small Agreeable Set of Indivisible Items to Multiple PlayersWarut Suksompong. 489-495 [doi]
• Preserving Privacy in Region Optimal DCOP AlgorithmsTamir Tassa, Roie Zivan, Tal Grinshpoun. 496-502 [doi]
• Nash Equilibria and Their Elimination in Resource GamesNicolas Troquard. 503-509 [doi]
• An Empirical Game-Theoretic Analysis of Price Discovery in Prediction MarketsElaine Wah, Sébastien Lahaie, David M. Pennock. 510-516 [doi]
• Hierarchical Approach to Transfer of Control in Semi-Autonomous SystemsKyle Hollins Wray, Luis Enrique Pineda, Shlomo Zilberstein. 517-523 [doi]
• Coordinating Human-UAV Teams in Disaster ResponseFeng Wu, Sarvapali D. Ramchurn, Xiaoping Chen. 524-530 [doi]
• Efficient Resource Allocation for Protecting Coral Reef EcosystemsYue Yin, Bo An. 531-537 [doi]
• Optimally Protecting ElectionsYue Yin, Yevgeniy Vorobeychik, Bo An, Noam Hazon. 538-545 [doi]
• Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety ConstraintsRuohan Zhang, Yue Yu, Mahmoud El Chamie, Behçet Açikmese, Dana H. Ballard. 546-553 [doi]
• Towards a White Box Approach to Automated Algorithm DesignSteven Adriaensen, Ann Nowé. 554-560 [doi]
• Action Selection for Hammer Shots in CurlingZaheen Farraz Ahmad, Robert C. Holte, Michael Bowling. 561-567 [doi]
• Fast Solving Maximum Weight Clique Problem in Massive GraphsShaowei Cai, Jinkun Lin. 568-574 [doi]
• Packing Graphs with ASP for Landscape SimulationThomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou. 575-581 [doi]
• On the Topology of Genetic AlgorithmsDavid Hofmeyr. 582-588 [doi]
• Truncating Shortest Path Search for Efficient Map-MatchingTakashi Imamichi, Takayuki Osogami, Rudy Raymond. 589-595 [doi]
• Relevance for SAT(ID)Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker. 596-602 [doi]
• Counting Linear Extensions of Sparse PosetsKustaa Kangas, Teemu Hankala, Teppo Mikael Niinimäki, Mikko Koivisto. 603-609 [doi]
• Comparing Search Algorithms Using Sorting and Hashing on Disk and in MemoryRichard E. Korf. 610-616 [doi]
• Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical ModelsJavier Larrosa, Emma Rollon, Rina Dechter. 617-623 [doi]
• FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFsKangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang. 624-630 [doi]
• Heuristics and Really Hard Instances for Subgraph Isomorphism ProblemsCiaran McCreesh, Patrick Prosser, James Trimble. 631-638 [doi]
• Markov Chain Analysis of Noise and Restart in Stochastic Local SearchOle J. Mengshoel, Youssef Ahres, Tong Yu. 639-646 [doi]
• Efficiently Finding Conceptual Clustering Models with Integer Linear ProgrammingAbdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil. 647-654 [doi]
• Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation OptimizationFei Peng, Tuomas Sandholm. 655-661 [doi]
• Improved Heuristic and Tie-Breaking for Optimally Solving SokobanAndré Grahl Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt. 662-668 [doi]
• An Approximation Algorithm for the Subpath Planning ProblemMasoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian. 669-675 [doi]
• External Memory Bidirectional SearchNathan R. Sturtevant, Jingwei Chen. 676-682 [doi]
• Canonical Orderings on GridsNathan R. Sturtevant, Steve Rabin. 683-689 [doi]
• Monte Carlo Tree Search in Continuous Action Spaces with Execution UncertaintyTimothy Yee, Viliam Lisý, Michael H. Bowling. 690-697 [doi]
• Multiple Constraint AcquisitionRobin Arcangioli, Christian Bessiere, Nadjib Lazaar. 698-704 [doi]
• Ranking ConstraintsChristian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh. 705-711 [doi]
• Bias in Algorithm Portfolio Performance EvaluationChris Cameron, Holger H. Hoos, Kevin Leyton-Brown. 712-719 [doi]
• Constraint Acquisition with Recommendation QueriesAbderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf. 720-726 [doi]
• Combining the k-CNF and XOR Phase-TransitionsJeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi. 727-734 [doi]
• Linear Arithmetic Satisfiability via Strategy ImprovementAzadeh Farzan, Zachary Kincaid. 735-743 [doi]
• Constraint Detection in Natural Language Problem DescriptionsZeynep Kiziltan, Marco Lippi 0001, Paolo Torroni. 744-750 [doi]
• Improving Model Counting by Leveraging DefinabilityJean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis. 751-757 [doi]
• Static Symmetry Breaking with the Reflex OrderingJimmy H. M. Lee, Zichen Zhu. 758-765 [doi]
• A Clause Tableau Calculus for MaxSATChu Min Li, Felip Manyà, Joan Ramon Soler. 766-772 [doi]
• Optimizing Molecular Cloning of Multiple PlasmidsThierry Petit, Lolita Petit. 773-779 [doi]
• Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain SamplingSam Snodgrass, Santiago Ontañón. 780-786 [doi]
• Optimizing Simple Tabular Reduction with a Bitwise RepresentationRuiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li. 787-795 [doi]
• Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration TeamworkOfra Amir, Barbara J. Grosz, Krzysztof Z. Gajos. 796-803 [doi]
• Interactive Teaching Strategies for Agent TrainingOfra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz. 804-811 [doi]
• Planning with Task-Oriented Knowledge Acquisition for a Service RobotKai Chen, Fangkai Yang, Xiaoping Chen. 812-818 [doi]
• A Polynomial Time Optimal Algorithm for Robot-Human Search under UncertaintyShaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen. 819-825 [doi]
• Apprenticeship Scheduling: Learning to Schedule from Human ExpertsMatthew C. Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie A. Shah. 826-833 [doi]
• DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant SituationsEun-Sol Kim, Kyoung-woon On, Byoung-Tak Zhang. 834-840 [doi]
• Interactive Martingale BoostingAshish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan. 841-847 [doi]
• Fear and Hope Emerge from Anticipation in Model-Based Reinforcement LearningThomas Moerland, Joost Broekens, Catholijn M. Jonker. 848-854 [doi]
• Predictive Models of Malicious Behavior in Human NegotiationsZahra Nazari, Jonathan Gratch. 855-861 [doi]
• Verbalization: Narration of Autonomous Robot ExperienceStephanie Rosenthal, Sai P. Selvaraj, Manuela M. Veloso. 862-868 [doi]
• Interactive Scheduling of Appliance Usage in the HomeNgoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh. 869-877 [doi]
• Polynomial Datalog Rewritings for Expressive Description Logics with Closed PredicatesShqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus. 878-885 [doi]
• Completion of Disjunctive Logic ProgramsMario Alviano, Carmine Dodaro. 886-892 [doi]
• Query Answering with Transitive and Linear-Ordered DataAntoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom. 893-899 [doi]
• Evaluation of Arguments from Support Relations: Axioms and SemanticsLeila Amgoud, Jonathan Ben-Naim. 900-906 [doi]
• Incomplete Causal Laws in the Situation Calculus Using Free FluentsMarcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña. 907-914 [doi]
• MLNEvgenii Balai, Michael Gelfond. 915-921 [doi]
• Online Agent Supervision in the Situation CalculusBita Banihashemi, Giuseppe De Giacomo, Yves Lespérance. 922-928 [doi]
• Equivalent Stream Reasoning ProgramsHarald Beck, Minh Dao-Tran, Thomas Eiter. 929-935 [doi]
• The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in MetaphysicsChristoph Benzmüller, Bruno Woltzenlogel Paleo. 936-942 [doi]
• Ontology-Mediated Queries Distributing over ComponentsGerald Berger, Andreas Pieris. 943-949 [doi]
• Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped TableauMatteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds. 950-956 [doi]
• Query-Driven Repairing of Inconsistent DL-Lite Knowledge BasesMeghyn Bienvenu, Camille Bourgaux, François Goasdoué. 957-964 [doi]
• First Order-Rewritability and Containment of Conjunctive Queries in Horn Description LogicsMeghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter. 965-971 [doi]
• Automated Synthesis of Timed Failure Propagation GraphsBenjamin Bittner, Marco Bozzano, Alessandro Cimatti. 972-978 [doi]
• ASP for Anytime Dynamic Programming on Tree DecompositionsBernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran. 979-986 [doi]
• Extending the Harper Identity to Iterated Belief ChangeRichard Booth, Jake Chandler. 987-993 [doi]
• Preferential Query Answering over the Semantic Web with Possibilistic NetworksStefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska. 994-1000 [doi]
• Query-Based Entailment and Inseparability for ALC OntologiesElena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. 1001-1007 [doi]
• Knowledge Compilation Meets Communication ComplexitySimone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky. 1008-1014 [doi]
• An ASP Semantics for Default Reasoning with ConstraintsPedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub. 1015-1021 [doi]
• Plan Synthesis for Knowledge and Action BasesDiego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy. 1022-1029 [doi]
• On the Impact of Modal Depth in Epistemic PlanningTristan Charrier, Bastien Maubert, François Schwarzentruber. 1030-1036 [doi]
• Imperfect-Information Games and Generalized PlanningGiuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio. 1037-1043 [doi]
• f Synthesis under Partial ObservabilityGiuseppe De Giacomo, Moshe Y. Vardi. 1044-1050 [doi]
• Investigating the Relationship between Argumentation Semantics via SignaturesPaul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran. 1051-1057 [doi]
• Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source AccessThomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl. 1058-1065 [doi]
• Forgetting in Multi-Agent Modal LogicsLiangda Fang, Yongmei Liu 0001, Hans van Ditmarsch. 1066-1073 [doi]
• Trend-Based Prediction of Spatial ChangeXiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang. 1074-1080 [doi]
• Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical ModelsAnne-Marie George, Nic Wilson, Barry O'Sullivan. 1081-1087 [doi]
• Querying Data Graphs with Arithmetical Regular ExpressionsMaciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek. 1088-1094 [doi]
• On Consensus ExtractionÉric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez. 1095-1101 [doi]
• Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic QueriesVíctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov. 1102-1108 [doi]
• Distributing Knowledge into Simple BasesAdrian Haret, Jean-Guy Mailly, Stefan Woltran. 1109-1115 [doi]
• Epistemic Boolean Games Based on a Logic of Visibility and ControlAndreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber. 1116-1122 [doi]
• Normative Multiagent Systems: The Dynamic GeneralizationXiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su. 1123-1129 [doi]
• Eliminating Disjunctions in Answer Set Programming by Restricted UnfoldingJianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu. 1130-1137 [doi]
• Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information GamesGuifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang. 1138-1144 [doi]
• Question Answering via Integer Programming over Semi-Structured KnowledgeDaniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth. 1145-1152 [doi]
• Conservative Rewritability of Description Logic TBoxesBoris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev. 1153-1159 [doi]
• Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham LogicRoman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev. 1160-1166 [doi]
• Learning Possibilistic Logic Theories from Default RulesOndrej Kuzelka, Jesse Davis, Steven Schockaert. 1167-1173 [doi]
• Answering Metaqueries over Hi (OWL 2 QL) OntologiesMaurizio Lenzerini, Lorenzo Lepore, Antonella Poggi. 1174-1180 [doi]
• Constraint Answer Set Programming versus Satisfiability Modulo TheoriesYuliya Lierler, Benjamin Susman. 1181-1187 [doi]
• Exploring the Context of Locations for Personalized Location RecommendationsXin Liu, Yong Liu, Xiaoli Li 0001. 1188-1194 [doi]
• A Decision Procedure for a Fragment of Linear Time Mu-CalculusYao Liu, Zhenhua Duan, Cong Tian. 1195-1201 [doi]
• Efficient Path Consistency Algorithm for Large Qualitative Constraint NetworksZhiguo Long, Michael Sioutis, Sanjiang Li. 1202-1208 [doi]
• Belief Update for Proper Epistemic Knowledge BasesTim Miller, Christian J. Muise. 1209-1215 [doi]
• Optimal Status Enforcement in Abstract ArgumentationAndreas Niskanen, Johannes Peter Wallner, Matti Järvisalo. 1216-1222 [doi]
• Efficient Representations for the Modal Logic S5Alexandre Niveau, Bruno Zanuttini. 1223-1229 [doi]
• Expressivity of Datalog Variants - Completing the PictureSebastian Rudolph, Michaël Thomazo. 1230-1236 [doi]
• Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis. 1237-1243 [doi]
• Normative Practical Reasoning via Argumentation and DialogueZohreh Shams, Marina De Vos, Nir Oren, Julian Padget. 1244-1250 [doi]
• Efficient Sequential Model-Based Fault-Localization with Partial DiagnosesKostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach. 1251-1257 [doi]
• nc Knowledge Bases: OBDA for the SQL-LiterateJason St. Jacques, David Toman, Grant E. Weddell. 1258-1264 [doi]
• Diagnosability of Discrete-Event Systems with Uncertain ObservationsXingyu Su, Marina Zanella, Alban Grastien. 1265-1271 [doi]
• Sampling-Based Belief RevisionMichael Thielscher. 1272-1278 [doi]
• Efficient Query Answering over Expressive Inconsistent Description LogicsEleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos. 1279-1285 [doi]
• Distributed Autoepistemic Logic and its Application to Access ControlPieter Van Hertum, Marcos Cramer, Bart Bogaerts 0001, Marc Denecker. 1286-1292 [doi]
• Text-Enhanced Representation Learning for Knowledge GraphZhigang Wang, Juan-Zi Li. 1293-1299 [doi]
• On the Representation and Embedding of Knowledge Bases beyond Binary RelationsJianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen, Richong Zhang. 1300-1307 [doi]
• Connecting Qualitative Spatial and Temporal Representations by Propositional ClosureDiedrich Wolter, Jae Hee Lee. 1308-1314 [doi]
• From One Point to a Manifold: Knowledge Graph Embedding for Precise Link PredictionHan Xiao 0005, Minlie Huang, Xiaoyan Zhu. 1315-1321 [doi]
• Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation CalculusLiping Xiong, Yongmei Liu. 1322-1329 [doi]
• Expressive Completeness of Existential Rule Languages for Ontology-Based Query AnsweringHeng Zhang, Yan Zhang, Jia-Huai You. 1330-1337 [doi]
• A Characterization of the Semantics of Logic Programs with AggregatesYuanlin Zhang, Maede Rayatidamavandi. 1338-1344 [doi]
• +(∇, ⊓)-OntologiesYizheng Zhao, Renate A. Schmidt. 1345-1353 [doi]
• Driver Frustration Detection from Audio and Video in the WildIrman Abdic, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer, Björn W. Schuller. 1354-1360 [doi]
• The Complexity of Learning Acyclic CP-NetsEisa Alanazi, Malek Mouhoub, Sandra Zilles. 1361-1367 [doi]
• Change Detection in Multivariate Datastreams: Likelihood and Detectability LossCesare Alippi, Giacomo Boracchi, Diego Carrera, Manuel Roveri. 1368-1374 [doi]
• Cold-Start Recommendations for Audio News Stories Using Matrix FactorizationEhsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman, Alwar Narayanan. 1375-1381 [doi]
• MPMA: Mixture Probabilistic Matrix Approximation for Collaborative FilteringChao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen M. Chu, Li Shang. 1382-1388 [doi]
• A Generalized Matching Pursuit Approach for Graph-Structured SparsityFeng Chen, Baojian Zhou. 1389-1395 [doi]
• Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical EventsTing Chen, Lu-An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang. 1396-1403 [doi]
• ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart HomeYu Chen, Tom Diethe, Peter A. Flach. 1404-1410 [doi]
• Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep LearningYu-An Chung, Hsuan-Tien Lin, Shao-Wen Yang. 1411-1417 [doi]
• Learning Higher-Order Logic Programs through Abstraction and InventionAndrew Cropper, Stephen H. Muggleton. 1418-1424 [doi]
• A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance DataGary Doran, Andrew Latham, Soumya Ray. 1425-1431 [doi]
• Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task ParametrizationsFinale Doshi-Velez, George Konidaris. 1432-1440 [doi]
• EBEK: Exemplar-Based Kernel Preserving EmbeddingAhmed Elbagoury, Rania Ibrahim, Mohamed S. Kamel, Fakhri Karray. 1441-1447 [doi]
• Version Space Reduction Based on Ensembles of Dissimilar Balanced PerceptronsKaren Braga Enes, Saulo Moraes Villela, Raul Fonseca Neto. 1448-1454 [doi]
• Robust Domain Generalisation by Enforcing Distribution InvarianceSarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao. 1455-1461 [doi]
• Copula Mixed-Membership Stochastic BlockmodelXuhui Fan, Richard Yi Da Xu, Longbing Cao. 1462-1468 [doi]
• DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural NetworksJie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low, Tat-Seng Chua. 1469-1475 [doi]
• A Robust Convex Formulation for Ensemble ClusteringJunning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka, Shanfeng Zhu. 1476-1482 [doi]
• Semi-Data-Driven Network CoarseningLi Gao, Jia Wu, Hong Yang, Zhi Qiao, Chuan Zhou, Yue Hu. 1483-1489 [doi]
• Constrained Local Latent Variable DiscoveryTian Gao, Qiang Ji. 1490-1496 [doi]
• Knowledge-Based Sequence Mining with ASPMartin Gebser, Thomas Guyet, René Quiniou, Javier Romero 0003, Torsten Schaub. 1497-1504 [doi]
• Incremental Truncated LSTDClement Gehring, Yangchen Pan, Martha White. 1505-1511 [doi]
• A Distributed and Scalable Machine Learning Approach for Big DataHongliang Guo, Jie Zhang. 1512-1518 [doi]
• Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI GamesXiaoxiao Guo, Satinder P. Singh, Richard L. Lewis, Honglak Lee. 1519-1525 [doi]
• Semi-Supervised Active Learning with Cross-Class Sample TransferYuchen Guo, Guiguang Ding, Yue Gao, Jianmin Wang. 1526-1532 [doi]
• Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using WearablesNils Y. Hammerla, Shane Halloran, Thomas Plötz. 1533-1540 [doi]
• Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge AcquisitionTao Han, Hailong Sun, Yangqiu Song, Yili Fang, Xudong Liu. 1541-1547 [doi]
• Partially Supervised Graph Embedding for Positive Unlabelled Feature SelectionYufei Han, Yun Shen. 1548-1554 [doi]
• Online Bayesian Max-Margin Subspace Multi-View LearningJia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He, Guoping Long. 1555-1561 [doi]
• Tight Policy Regret Bounds for Improving and Decaying BanditsHoda Heidari, Michael Kearns, Aaron Roth. 1562-1570 [doi]
• Bayesian Reinforcement Learning with Behavioral FeedbackTeakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega, Daniel D. Lee. 1571-1577 [doi]
• Grounding Topic Models with Knowledge BasesZhiting Hu, Gang Luo, Mrinmaya Sachan, Eric P. Xing, Zaiqing Nie. 1578-1584 [doi]
• Class-Wise Supervised Hashing with Label Embedding and Active BitsLong-Kai Huang, Sinno Jialin Pan. 1585-1591 [doi]
• Transfer Learning with Active Queries from Source DomainSheng-Jun Huang, Songcan Chen. 1592-1598 [doi]
• Learning Stable Linear Dynamical Systems with the Weighted Least Square MethodWen-bing Huang, Le-le Cao, Fuchun Sun, Deli Zhao, Huaping Liu, Shanshan Yu. 1599-1605 [doi]
• Learning Unified Features from Natural and Programming Languages for Locating Buggy Source CodeXuan Huo, Ming Li, Zhi-Hua Zhou. 1606-1612 [doi]
• Change Detection Using Directional StatisticsTsuyoshi Idé, Dzung T. Phan, Jayant Kalagnanam. 1613-1619 [doi]
• Using Task Features for Zero-Shot Knowledge Transfer in Lifelong LearningDavid Isele, Mohammad Rostami, Eric Eaton. 1620-1626 [doi]
• Multi-Label Informed Feature SelectionLing Jian, Jundong Li, Kai Shu, Huan Liu. 1627-1633 [doi]
• Robust Out-of-Sample Data RecoveryBo Jiang, Chris H. Q. Ding, Bin Luo. 1634-1639 [doi]
• On Structural Properties of MDPs that Bound Loss Due to Shallow PlanningNan Jiang, Satinder P. Singh, Ambuj Tewari. 1640-1647 [doi]
• Constructing Abstraction Hierarchies Using a Skill-Symbol LoopGeorge Konidaris. 1648-1654 [doi]
• Bounds for Learning from Evolutionary-Related Data in the Realizable CaseOndrej Kuzelka, Yuyi Wang, Jan Ramon. 1655-1661 [doi]
• Learning Multi-Step Predictive State RepresentationsLucas Langer, Borja Balle, Doina Precup. 1662-1668 [doi]
• Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human BehaviorsSang-Woo Lee, Chung-yeon Lee, Dong-Hyun Kwak, Jiwon Kim, Jeonghee Kim, Byoung-Tak Zhang. 1669-1675 [doi]
• Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark InformationYoad Lewenberg, Yoram Bachrach, Sukrit Shankar, Antonio Criminisi. 1676-1682 [doi]
• A Relaxed Ranking-Based Factor Model for Recommender System from Implicit FeedbackHuayu Li, Richang Hong, Defu Lian, Zhiang Wu, Meng Wang, Yong Ge. 1683-1689 [doi]
• Adversarial Sequence TaggingJia Li, Kaiser Asif, Hong Wang, Brian D. Ziebart, Tanya Y. Berger-Wolf. 1690-1696 [doi]
• Joint Feature Selection and Structure Preservation for Domain AdaptationJingjing Li, Jidong Zhao, Ke Lu. 1697-1703 [doi]
• Multiple Kernel Clustering with Local Kernel Alignment MaximizationMiaomiao Li, Xinwang Liu, Lei Wang 0001, Yong Dou, Jianping Yin, En Zhu. 1704-1710 [doi]
• Feature Learning Based Deep Supervised Hashing with Pairwise LabelsWu-Jun Li, Sheng Wang, Wang-Cheng Kang. 1711-1717 [doi]
• Multi-View Learning with Limited and Noisy TaggingYingming Li, Ming Yang, Zenglin Xu, Zhongfei (Mark) Zhang. 1718-1724 [doi]
• Graph Quality Judgement: A Large Margin ExpeditionYu-Feng Li, Shao-Bo Wang, Zhi-Hua Zhou. 1725-1731 [doi]
• Sparse Bayesian Content-Aware Collaborative Filtering for Implicit FeedbackDefu Lian, Yong Ge, Nicholas Jing Yuan, Xing Xie, Hui Xiong. 1732-1738 [doi]
• Group-Invariant Cross-Modal Subspace LearningJian Liang, Ran He, Zhenan Sun, Tieniu Tan. 1739-1745 [doi]
• Learning to Detect Concepts from Webly-Labeled Video DataJunwei Liang, Lu Jiang, Deyu Meng, Alexander G. Hauptmann. 1746-1752 [doi]
• Towards Convolutional Neural Networks Compression via Global Error ReconstructionShaohui Lin, Rongrong Ji, Xiaowei Guo, Xuelong Li. 1753-1759 [doi]
• Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe MethodBo Liu, Xiao-Tong Yuan, Shaoting Zhang, Qingshan Liu, Dimitris N. Metaxas. 1760-1766 [doi]
• Supervised Matrix Factorization for Cross-Modality HashingHong Liu, Rongrong Ji, Yongjian Wu, Gang Hua. 1767-1773 [doi]
• Aligning Users across Social Networks Using Network EmbeddingLi Liu, William K. Cheung, Xin Li, Lejian Liao. 1774-1780 [doi]
• Transductive Optimization of Top k PrecisionLi-Ping Liu, Thomas G. Dietterich, Nan Li, Zhi-Hua Zhou. 1781-1787 [doi]
• Natural Supervised HashingQi Liu, Hongtao Lu. 1788-1794 [doi]
• Linear-Time Outlier Detection via SensitivityMario Lucic, Olivier Bachem, Andreas Krause 0001. 1795-1801 [doi]
• 1-Norm MaximizationMinnan Luo, Feiping Nie, Xiaojun Chang, Yi Yang, Alexander G. Hauptmann, Qinghua Zheng. 1802-1808 [doi]
• On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric LearningYong Luo, Yonggang Wen, Dacheng Tao. 1809-1815 [doi]
• Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone ConversationWeizhi Ma, Min Zhang, Yiqun Liu, Shaoping Ma. 1816-1822 [doi]
• Predict Anchor Links across Social Networks via an Embedding ApproachTong Man, Huawei Shen, Shenghua Liu, Xiaolong Jin, Xueqi Cheng. 1823-1829 [doi]
• Efficient Bayesian Clustering for Reinforcement LearningTravis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic. 1830-1838 [doi]
• Soft Margin Consistency Based Scalable Multi-View Maximum Entropy DiscriminationLiang Mao, Shiliang Sun. 1839-1845 [doi]
• Sum-Product-Max Networks for Tractable Decision MakingMazen Melibari, Pascal Poupart, Prashant Doshi. 1846-1852 [doi]
• Asynchronous Accelerated Stochastic Gradient DescentQi Meng, Wei Chen, Jingcheng Yu, Taifeng Wang, Zhiming Ma, Tie-Yan Liu. 1853-1859 [doi]
• Coordinate Discrete Optimization for Efficient Cross-View Image RetrievalYadong Mu, Wei Liu, Cheng Deng, Zongting Lv, Xinbo Gao. 1860-1866 [doi]
• Fast Laplace Approximation for Sparse Bayesian Spike and Slab ModelsSyed Abbas Z. Naqvi, Shandian Zhe, Yuan Qi, Yifan Yang, Jieping Ye. 1867-1973 [doi]
• Subspace Clustering via New Low-Rank Model with Discrete Group Structure ConstraintFeiping Nie, Heng Huang. 1874-1880 [doi]
• Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised ClassificationFeiping Nie, Jing Li, Xuelong Li. 1881-1887 [doi]
• Gated Probabilistic Matrix Factorization: Learning Users' Attention from Missing ValuesShohei Ohsawa, Yachiko Obara, Takayuki Osogami. 1888-1894 [doi]
• Tri-Party Deep Network RepresentationShirui Pan, Jia Wu, Xingquan Zhu, Chengqi Zhang, Yang Wang. 1895-1901 [doi]
• Outlier Detection in Complex Categorical Data by Modeling the Feature Value CouplingsGuansong Pang, Longbing Cao, Ling Chen. 1902-1908 [doi]
• Fast Learning from Distributed Datasets without Entity MatchingGiorgio Patrini, Richard Nock, Stephen Hardy, Tiberio Caetano. 1909-1917 [doi]
• Direct Sparsity Optimization Based Feature Selection for Multi-Class ClassificationHanyang Peng, Yong Fan. 1918-1924 [doi]
• Deep Subspace Clustering with Sparsity PriorXi Peng, Shijie Xiao, Jiashi Feng, Wei-Yun Yau, Zhang Yi. 1925-1931 [doi]
• Self-Paced Boost Learning for ClassificationTe Pi, Xi Li, Zhongfei Zhang, Deyu Meng, Fei Wu, Jun Xiao, Yueting Zhuang. 1932-1938 [doi]
• Parallel Pareto Optimization for Subset SelectionChao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou. 1939-1945 [doi]
• Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random EmbeddingsHong Qian, Yi-Qi Hu, Yang Yu. 1946-1952 [doi]
• Bridging LSTM Architecture and the Neural Dynamics during ReadingPeng Qian, Xipeng Qiu, Xuanjing Huang. 1953-1959 [doi]
• Non-Negative Matrix Factorization with Sinkhorn DistanceWei Qian, Bin Hong, Deng Cai, Xiaofei He, Xuelong Li. 1960-1966 [doi]
• Dependency Clustering of Mixed Data with Gaussian Mixture CopulasVaibhav Rajan, Sakyajit Bhattacharya. 1967-1973 [doi]
• Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive ModelsDaniel P. Robinson, Suchi Saria. 1974-1982 [doi]
• Portfolio Blending via Thompson SamplingWeiwei Shen, Jun Wang. 1983-1989 [doi]
• Adaptive Variance Reducing for Stochastic Gradient DescentZebang Shen, Hui Qian, Tengfei Zhou, Tongzhou Mu. 1990-1996 [doi]
• Diversifying Convex Transductive Experimental Design for Active LearningLei Shi, Yi-Dong Shen. 1997-2003 [doi]
• Improving CNN Performance with Min-Max ObjectiveWeiwei Shi, Yihong Gong, Jinjun Wang. 2004-2010 [doi]
• Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian ProcessHarold Soh. 2011-2017 [doi]
• Fast Structural Binary CodingDongjin Song, Wei Liu, David A. Meyer. 2018-2024 [doi]
• Unsupervised Alignment of Actions in Video with Text DescriptionsYoung Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz. 2025-2031 [doi]
• Distance Based Modeling of Interactions in Structured RegressionIvan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic. 2032-2038 [doi]
• Supervised Heterogeneous Domain Adaptation via Random ForestsSanatan Sukhija, Narayanan Chatapuram Krishnan, Gurkanwal Singh. 2039-2045 [doi]
• Learning Compact Neural Word Embeddings by Parameter Space SharingJun Suzuki, Masaaki Nagata. 2046-2052 [doi]
• A Novel Feature Matching Strategy for Large Scale Image RetrievalHao Tang, Hong Liu. 2053-2059 [doi]
• Learning Using Unselected Features (LUFe)Joseph G. Taylor, Viktoriia Sharmanska, Kristian Kersting, David Weir, Novi Quadrianto. 2060-2066 [doi]
• Constructive Preference Elicitation by Setwise Max-Margin LearningStefano Teso, Andrea Passerini, Paolo Viappiani. 2067-2073 [doi]
• Inference Machines for Nonparametric Filter LearningArun Venkatraman, Wen Sun, Martial Hebert, Byron Boots, J. Andrew Bagnell. 2074-2081 [doi]
• Dynamic Early Stopping for Naive BayesAäron Verachtert, Hendrik Blockeel, Jesse Davis. 2082-2088 [doi]
• Policy Search in Reproducing Kernel Hilbert SpaceNgo Anh Vien, Peter Englert, Marc Toussaint. 2089-2096 [doi]
• Generalized Dictionary for Multitask Learning with BoostingBoyu Wang, Joelle Pineau. 2097-2103 [doi]
• Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data ClusteringDe Wang, Feiping Nie, Heng Huang. 2104-2110 [doi]
• Cost-Saving Effect of Crowdsourcing LearningLu Wang, Zhi-Hua Zhou. 2111-2117 [doi]
• Dealing with Multiple Classes in Online Class Imbalance LearningShuo Wang, Leandro L. Minku, Xin Yao. 2118-2124 [doi]
• Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View LearningShuyang Wang, Zhengming Ding, Yun Fu. 2125-2131 [doi]
• Learning First-Order Logic Embeddings via Matrix FactorizationWilliam Yang Wang, William W. Cohen. 2132-2138 [doi]
• Constrained Preference Embedding for Item RecommendationXin Wang, Congfu Xu, Yunhui Guo, Hui Qian. 2139-2145 [doi]
• Nonparametric Risk and Stability Analysis for Multi-Task Learning ProblemsXuezhi Wang, Junier B. Oliva, Jeff G. Schneider, Barnabás Póczos. 2146-2152 [doi]
• Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral ClusteringYang Wang, Wenjie Zhang, Lin Wu, Xuemin Lin, Meng Fang, Shirui Pan. 2153-2159 [doi]
• Bayesian Optimization of Partition Layouts for Mondrian ProcessesYi Wang, Bin Li, Xuhui Fan, Yang Wang, Fang Chen. 2160-2166 [doi]
• Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical SoundnessYisen Wang, Qingtao Tang, Shu-Tao Xia, Jia Wu, Xingquan Zhu. 2167-2173 [doi]
• ∞ Encoder for HashingZhangyang Wang, Yingzhen Yang, Shiyu Chang, Qing Ling, Thomas S. Huang. 2174-2180 [doi]
• To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary CodesZhe Wang, Ling-Yu Duan, Junsong Yuan, Tiejun Huang, Wen Gao 0001. 2181-2188 [doi]
• Deep Nonlinear Feature Coding for Unsupervised Domain AdaptationPengfei Wei, Yiping Ke, Chi Keong Goh. 2189-2195 [doi]
• Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from AudioFelix Weninger, Fabien Ringeval, Erik Marchi, Björn W. Schuller. 2196-2202 [doi]
• Preference Inference through Rescaling Preference LearningNic Wilson, Mojtaba Montazery. 2203-2209 [doi]
• Budgeted Multi-Armed Bandits with Multiple PlaysYingce Xia, Tao Qin, Weidong Ma, Nenghai Yu, Tie-Yan Liu. 2210-2216 [doi]
• Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression RecognitionLiping Xie, Dacheng Tao, Haikun Wei. 2217-2223 [doi]
• Robust and Sparse Fuzzy K-Means ClusteringJinglin Xu, Junwei Han, Kai Xiong, Feiping Nie. 2224-2230 [doi]
• Weight Features for Predicting Future Model Performance of Deep Neural NetworksYasunori Yamada, Tetsuro Morimura. 2231-2237 [doi]
• i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing SchemaRui Yan. 2238-2244 [doi]
• Unsupervised Human Action Categorization with Consensus Information Bottleneck MethodXiaoqiang Yan, Yangdong Ye, Xueying Qiu. 2245-2251 [doi]
• Modularity Based Community Detection with Deep LearningLiang Yang, Xiaochun Cao, Dongxiao He, Chuan Wang, Xiao Wang, Weixiong Zhang. 2252-2258 [doi]
• Sparsity Conditional Energy Label Distribution Learning for Age EstimationXu Yang, Xin Geng, Deyu Zhou. 2259-2265 [doi]
• Empirical Risk Minimization for Metric Learning Using Privileged InformationXun Yang, Meng Wang, Luming Zhang, Dacheng Tao. 2266-2272 [doi]
• A Unified Framework for Discrete Spectral ClusteringYang Yang, Fumin Shen, Zi Huang, Heng Tao Shen. 2273-2279 [doi]
• Learning by Actively Querying Strong Modal FeaturesYang Yang, De-Chuan Zhan, Yuan Jiang. 2280-2286 [doi]
• Multi-Modal Bayesian Embeddings for Learning Social Knowledge GraphsZhilin Yang, Jie Tang, William W. Cohen. 2287-2293 [doi]
• Greedy Learning of Generalized Low-Rank ModelsQuanming Yao, James T. Kwok. 2294-2300 [doi]
• Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCAQiaomin Ye, Luo Luo, Zhihua Zhang. 2301-2307 [doi]
• Neural Enquirer: Learning to Query Tables in Natural LanguagePengcheng Yin, Zhengdong Lu, Hang Li, Ben Kao. 2308-2314 [doi]
• Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative TransferYusen Zhan, Haitham Bou-Ammar, Matthew E. Taylor. 2315-2321 [doi]
• Unsupervised Feature Learning from Time SeriesQin Zhang, Jia Wu, Hong Yang, Yingjie Tian, Chengqi Zhang. 2322-2328 [doi]
• Collaborative Filtering with Generalized Laplacian Constraint via Overlapping DecompositionQing Zhang, Houfeng Wang. 2329-2335 [doi]
• Large Scale Sparse ClusteringRuqi Zhang, Zhiwu Lu. 2336-2342 [doi]
• Improving DCNN Performance with Sparse Category-Selective Objective FunctionShizhou Zhang, Yihong Gong, Jinjun Wang. 2343-2349 [doi]
• Staleness-Aware Async-SGD for Distributed Deep LearningWei Zhang, Suyog Gupta, Xiangru Lian, Ji Liu 0002. 2350-2356 [doi]
• Self-Adapted Multi-Task ClusteringXianchao Zhang, Xiaotong Zhang, Han Liu. 2357-2363 [doi]
• Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief NetworksYizhe Zhang, Ricardo Henao, Chunyuan Li, Lawrence Carin. 2364-2370 [doi]
• Denoising and Completion of 3D Data via Multidimensional Dictionary LearningZemin Zhang, Shuchin Aeron. 2371-2377 [doi]
• Improving Top-N Recommendation with Heterogeneous LossFeipeng Zhao, Yuhong Guo. 2378-2384 [doi]
• Predictive Collaborative Filtering with Side InformationFeipeng Zhao, Min Xiao, Yuhong Guo. 2385-2391 [doi]
• Incomplete Multi-Modal Visual Data GroupingHandong Zhao, Hongfu Liu, Yun Fu. 2392-2398 [doi]
• Learning Cross-View Binary Identities for Fast Person Re-IdentificationFeng Zheng, Ling Shao. 2399-2406 [doi]
• Fast-and-Light Stochastic ADMMShuai Zheng 0004, James T. Kwok. 2407-2613 [doi]
• Transfer Hashing with Privileged InformationJoey Tianyi Zhou, Xinxing Xu, Sinno Jialin Pan, Ivor W. Tsang, Zheng Qin, Rick Siow Mong Goh. 2414-2420 [doi]
• Model-Based Deep Hand Pose EstimationXingyi Zhou, Qingfu Wan, Wei Zhang, Xiangyang Xue, Yichen Wei. 2421-2427 [doi]
• Probabilistic Rank-One Matrix Analysis with Concurrent RegularizationYang Zhou, Haiping Lu. 2428-2434 [doi]
• Crowdsourcing via Tensor Augmentation and CompletionYao Zhou, Jingrui He. 2435-2441 [doi]
• A Self-Representation Induced ClassifierPengfei Zhu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng, Qinghua Hu. 2442-2448 [doi]
• Stochastic Multiresolution Persistent Homology KernelXiaojin Zhu, Ara Vartanian, Manish Bansal, Duy Nguyen, Luke Brandl. 2449-2457 [doi]
• Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social InfluenceAndrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck. 2458-2464 [doi]
• Managing Overstaying Electric Vehicles in Park-and-Charge FacilitiesArpita Biswas, Ragavendran Gopalakrishnan, Partha Dutta. 2465-2471 [doi]
• A SAT-Based Approach for Mining Association RulesAbdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi. 2472-2478 [doi]
• Taking Up the Gaokao Challenge: An Information Retrieval ApproachGong Cheng, Weixi Zhu, Ziwei Wang, Jianghui Chen, Yuzhong Qu. 2479-2485 [doi]
• A Framework for Integrating Symbolic and Sub-Symbolic RepresentationsKeith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher. 2486-2492 [doi]
• Informed Expectations to Guide GDA Agents in Partially Observable EnvironmentsDustin Dannenhauer, Hector Muñoz-Avila, Michael T. Cox. 2493-2499 [doi]
• A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call RecordsZipei Fan, Ayumi Arai, Xuan Song, Apichon Witayangkurn, Hiroshi Kanasugi, Ryosuke Shibasaki. 2500-2506 [doi]
• Optimal Interdiction of Illegal Network FlowQingyu Guo, Bo An, Yair Zick, Chunyan Miao. 2507-2513 [doi]
• Modifying MCTS for Human-Like General Video Game PlayingAhmed Khalifa, Aaron Isaksen, Julian Togelius, Andy Nealen. 2514-2520 [doi]
• Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational DataZhaobin Kuang, James A. Thomson, Michael Caldwell, Peggy L. Peissig, Ron M. Stewart, David Page. 2521-2528 [doi]
• Predicting Confusion in Information Visualization from Eye Tracking and Interaction DataSébastien Lallé, Cristina Conati, Giuseppe Carenini. 2529-2535 [doi]
• Word Clouds with Latent Variable Analysis for Visual Comparison of DocumentsTuan M. V. Le, Hady Wirawan Lauw. 2536-2543 [doi]
• Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based PhenotypingWonsung Lee, Youngmin Lee, Heeyoung Kim, Il-Chul Moon. 2544-2552 [doi]
• Household Structure Analysis via Hawkes Processes for Enhancing Energy DisaggregationLiangda Li, Hongyuan Zha. 2553-2559 [doi]
• Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural NetworksZhen Li, Yizhou Yu. 2560-2567 [doi]
• Makeup Like a Superstar: Deep Localized Makeup Transfer NetworkSi Liu, Xinyu Ou, Ruihe Qian, Wei Wang, Xiaochun Cao. 2568-2575 [doi]
• Urban Water Quality Prediction Based on Multi-Task Multi-View LearningYe Liu, Yu Zheng, Yuxuan Liang, Shuming Liu, David S. Rosenblum. 2576-2581 [doi]
• Clustering Financial Time Series: How Long Is Enough?Gautier Marti, Sébastien Andler, Frank Nielsen, Philippe Donnat. 2583-2589 [doi]
• Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory NetworksWookhee Min, Bradford W. Mott, Jonathan P. Rowe, Barry Liu, James C. Lester. 2590-2596 [doi]
• How to Build Your Network? A Structural AnalysisAnastasia Moskvina, Jiamou Liu. 2597-2603 [doi]
• Simulating Human Inferences in the Light of New Information: A Formal AnalysisMarco Ragni, Christian Eichhorn, Gabriele Kern-Isberner. 2604-2610 [doi]
• Measuring Performance of Peer Prediction Mechanisms Using Replicator DynamicsVictor Shnayder, Rafael M. Frongillo, David C. Parkes. 2611-2617 [doi]
• DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide LevelXuan Song, Hiroshi Kanasugi, Ryosuke Shibasaki. 2618-2624 [doi]
• Balancing Appearance and Context in Sketch InterpretationYale Song, Randall Davis, Kaichen Ma, Dana L. Penney. 2625-2632 [doi]
• Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film StudiesJakob Suchan, Mehul Bhatt. 2633-2639 [doi]
• Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and ReviewsYunzhi Tan, Min Zhang, Yiqun Liu, Shaoping Ma. 2640-2646 [doi]
• Scene Text Detection in Video by Learning Locally and GloballyShu Tian, Wei-Yi Pei, Ze-Yu Zuo, Xu-Cheng Yin. 2647-2653 [doi]
• Stochastic and-or Grammars: A Unified Framework and Logic PerspectiveKewei Tu. 2654-2660 [doi]
• Dimensionally Guided Synthesis of Mathematical Word ProblemsKe Wang, Zhendong Su. 2661-2668 [doi]
• Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating SurfaceZheng Wang 0007, Ruimin Hu, Yi Yu, Junjun Jiang, Chao Liang, Jinqiao Wang. 2669-2675 [doi]
• On Modeling and Predicting Individual Paper Citation Count over TimeShuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Xiaokang Yang, Stephen M. Chu, Hongyuan Zha. 2676-2682 [doi]
• Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics ApplicationXiao-Feng Xie, Zun-Jing Wang. 2683-2689 [doi]
• Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression PriorJunchi Yan, Shuai Xiao, Changsheng Li, Bo Jin, Xiangfeng Wang, Bin Ke, Xiaokang Yang, Hongyuan Zha. 2690-2696 [doi]
• POISketch: Semantic Place Labeling over User Activity StreamsDingqi Yang, Bin Li, Philippe Cudré-Mauroux. 2697-2703 [doi]
• ST-MVL: Filling Missing Values in Geo-Sensory Time Series DataXiuwen Yi, Yu Zheng, Junbo Zhang, Tianrui Li. 2704-2710 [doi]
• Nonlinear Hierarchical Part-Based Regression for Unconstrained Face AlignmentXiang Yu, Zhe L. Lin, Shaoting Zhang, Dimitris N. Metaxas. 2711-2717 [doi]
• Situation Testing-Based Discrimination Discovery: A Causal Inference ApproachLu Zhang, Yongkai Wu, Xintao Wu. 2718-2724 [doi]
• Maximum Sustainable Yield Problem for Robot Foraging and Construction SystemRuohan Zhang, Zhao Song. 2725-2731 [doi]
• Personalizing EEG-Based Affective Models with Transfer LearningWei-Long Zheng, Bao-Liang Lu. 2732-2739 [doi]
• WikiWrite: Generating Wikipedia Articles AutomaticallySiddhartha Banerjee, Prasenjit Mitra. 2740-2746 [doi]
• A Discriminative Approach to Grounded Spoken Language Understanding in Interactive RoboticsEmanuele Bastianelli, Danilo Croce, Andrea Vanzo, Roberto Basili, Daniele Nardi. 2747-2753 [doi]
• Distraction-Based Neural Networks for Modeling DocumentQian Chen, Xiao-Dan Zhu, Zhen-Hua Ling, Si Wei, Hui Jiang. 2754-2760 [doi]
• Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine TranslationYong Cheng, Shiqi Shen, Zhongjun He, Wei He, Hua Wu, Maosong Sun, Yang Liu. 2761-2767 [doi]
• Neural Network Translation Models for Grammatical Error CorrectionShamil Chollampatt, Kaveh Taghipour, Hwee Tou Ng. 2768-2774 [doi]
• Recognizing Opinion Sources Based on a New Categorization of Opinion TypesLingjia Deng, Janyce Wiebe. 2775-2781 [doi]
• Hashtag Recommendation Using Attention-Based Convolutional Neural NetworkYuyun Gong, Qi Zhang. 2782-2788 [doi]
• Intersubjectivity and Sentiment: From Language to KnowledgeLin Gui, Ruifeng Xu, Yulan He, Qin Lu, Zhongyu Wei. 2789-2795 [doi]
• Parse Tree Fragmentation of Ungrammatical SentencesHoma B. Hashemi, Rebecca Hwa. 2796-2802 [doi]
• Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error CorrectionDuc Tam Hoang, Shamil Chollampatt, Hwee Tou Ng. 2803-2809 [doi]
• Generating Recommendation Evidence Using Translation ModelJizhou Huang, Shiqi Zhao, Shiqiang Ding, Haiyang Wu, Mingming Sun, Haifeng Wang. 2810-2816 [doi]
• Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine TranslationShujian Huang, Huifeng Sun, Chengqi Zhao, Jinsong Su, Xin-Yu Dai, Jiajun Chen. 2817-2823 [doi]
• Bag-of-Embeddings for Text ClassificationPeng Jin, Yue Zhang, Xingyuan Chen, Yunqing Xia. 2824-2830 [doi]
• Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue SystemsHatim Khouzaimi, Romain Laroche, Fabrice Lefèvre. 2831-2837 [doi]
• Joint Models for Extracting Adverse Drug Events from Biomedical TextFei Li, Yue Zhang, Meishan Zhang, Donghong Ji. 2838-2844 [doi]
• StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer ConversationXiang Li, Lili Mou, Rui Yan, Ming Zhang. 2845-2851 [doi]
• Towards Zero Unknown Word in Neural Machine TranslationXiaoqing Li, Jiajun Zhang, Chengqing Zong. 2852-2858 [doi]
• Learning Paraphrase Identification with Structural AlignmentChen Liang, Praveen K. Paritosh, Vinodh Rajendran, Kenneth D. Forbus. 2859-2865 [doi]
• Knowledge Representation Learning with Entities, Attributes and RelationsYankai Lin, Zhiyuan Liu, Maosong Sun. 2866-2872 [doi]
• Recurrent Neural Network for Text Classification with Multi-Task LearningPengfei Liu, Xipeng Qiu, Xuanjing Huang. 2873-2879 [doi]
• Exploring Segment Representations for Neural Segmentation ModelsYijia Liu, Wanxiang Che, Jiang Guo, Bing Qin, Ting Liu. 2880-2886 [doi]
• HC-Search for Incremental ParsingYijia Liu, Wanxiang Che, Bing Qin, Ting Liu. 2887-2893 [doi]
• Automatic Construction and Evaluation of a Large Semantically Enriched WikipediaAlessandro Raganato, Claudio Delli Bovi, Roberto Navigli. 2894-2900 [doi]
• Cross-Lingual Dataless Classification for Many LanguagesYangqiu Song, Shyam Upadhyay, Haoruo Peng, Dan Roth. 2901-2907 [doi]
• Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial LanguageMichael Spranger, Jakob Suchan, Mehul Bhatt. 2908-2914 [doi]
• 1 Regularized Online LearningFei Sun, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng. 2915-2921 [doi]
• Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNNShengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo, Liang Pang, Xueqi Cheng. 2922-2928 [doi]
• Employing External Rich Knowledge for Machine ComprehensionBingning Wang, Shangmin Guo, Kang Liu, Shizhu He, Jun Zhao 0001. 2929-2925 [doi]
• Building Joint Spaces for Relation ExtractionChang Wang 0001, Liangliang Cao, James Fan. 2936-2942 [doi]
• Chinese Song Iambics Generation with Neural Attention-Based ModelQixin Wang, Tianyi Luo, Dong Wang, Chao Xing. 2943-2949 [doi]
• A Bilingual Graph-Based Semantic Model for Statistical Machine TranslationRui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu, Masao Utiyama. 2950-2956 [doi]
• Diverse Image Captioning via GroupTalkZhuhao Wang, Fei Wu, Weiming Lu, Jun Xiao, Xi Li, Zitong Zhang, Yueting Zhuang. 2957-2964 [doi]
• Representation Learning of Knowledge Graphs with Hierarchical TypesRuobing Xie, Zhiyuan Liu, Maosong Sun. 2965-2971 [doi]
• Neural Generative Question AnsweringJun Yin, Xin Jiang, Zhengdong Lu, Lifeng Shang, Hang Li, Xiaoming Li. 2972-2978 [doi]
• Unsupervised Word and Dependency Path Embeddings for Aspect Term ExtractionYichun Yin, Furu Wei, Li Dong, Kaimeng Xu, Ming Zhang, Ming Zhou. 2979-2985 [doi]
• Collaborative Multi-Level Embedding Learning from Reviews for Rating PredictionWei Zhang, Quan Yuan, Jiawei Han, Jianyong Wang. 2986-2992 [doi]
• A Joint Model of Intent Determination and Slot Filling for Spoken Language UnderstandingXiaodong Zhang, Houfeng Wang. 2993-2999 [doi]
• Expert Finding for Community-Based Question Answering via Ranking Metric Network LearningZhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang. 3000-3006 [doi]
• Context-Specific and Multi-Prototype Character RepresentationsXiaoqing Zheng, JiangTao Feng, Mengxiao Lin, Wenqiang Zhang. 3007-3013 [doi]
• Unsupervised Storyline Extraction from News ArticlesDeyu Zhou, Haiyang Xu, Xin-Yu Dai, Yulan He. 3014-3021 [doi]
• Hierarchical Planning: Relating Task and Goal Decomposition with Task SharingRon Alford, Vikas Shivashankar, Mark Roberts, Jeremy Frank, David W. Aha. 3022-3029 [doi]
• Markovian State and Action Abstractions for MDPs via Hierarchical MCTSAijun Bai, Siddharth Srivastava 0001, Stuart Russell 0001. 3029-3039 [doi]
• Which Contingent Events to Observe for the Dynamic Controllability of a PlanArthur Bit-Monnot, Malik Ghallab, Félix Ingrand. 3038-3044 [doi]
• Factored Probabilistic Belief TrackingBlai Bonet, Hector Geffner. 3045-3052 [doi]
• Maintaining Evolving Domain ModelsDaniel Bryce, J. Benton, Michael W. Boldt. 3053-3059 [doi]
• A Branch-and-Price Algorithm for Scheduling Observations on a TelescopeNicolas Catusse, Hadrien Cambazard, Nadia Brauner, Pierre Lemaire, Bernard Penz, Anne-Marie Lagrange, Pascal Rubini. 3060-3066 [doi]
• Improved Solvers for Bounded-Suboptimal Multi-Agent Path FindingLiron Cohen 0002, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig. 3067-3074 [doi]
• Online Symbolic Gradient-Based Optimization for Factored Action MDPsHao Cui, Roni Khardon. 3075-3081 [doi]
• ∃-STRIPS: Existential Quantification in Planning and Constraint SatisfactionGuillem Francès, Hector Geffner. 3082-3088 [doi]
• Learning to Rank for Synthesizing Planning HeuristicsCaelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez. 3089-3095 [doi]
• Robust Repositioning to Counter Unpredictable Demand in Bike Sharing SystemsSupriyo Ghosh, Michael Trick, Pradeep Varakantham. 3096-3102 [doi]
• Generalizing the Edge-Finder Rule for the Cumulative ConstraintVincent Gingras, Claude-Guy Quimper. 3103-3109 [doi]
• Decoupled Strong Stubborn SetsDaniel Gnad, Martin Wehrle, Jörg Hoffmann 0001. 3110-3116 [doi]
• Demand Prediction and Placement Optimization for Electric Vehicle Charging StationsRagavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta, Abhishek Tripathi. 3117-3123 [doi]
• A POMDP Approach to Influence Diagram EvaluationEric A. Hansen, Jinchuan Shi, Arindam Khaled. 3124-3132 [doi]
• Anticipatory TroubleshootingNetantel Hasidi, Roni Stern, Meir Kalech, Shulamit Reches. 3133-3139 [doi]
• Hierarchical Model Predictive Control for Multi-Robot NavigationChao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li. 3140-3146 [doi]
• Batch-Switching Policy IterationShivaram Kalyanakrishnan, Utkarsh Mall, Ritish Goyal. 3147-3153 [doi]
• In Search of Tractability for Partial Satisfaction PlanningMichael Katz, Vitaly Mirkis. 3154-3160 [doi]
• State-Dependent Cost Partitionings for Cartesian Abstractions in Classical PlanningThomas Keller 0001, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller. 3161-3169 [doi]
• Privacy Preserving Plans in Partially Observable EnvironmentsSarah Keren, Avigdor Gal, Erez Karpas. 3170-3176 [doi]
• Sequential Planning for Steering Immune System AdaptationChristian Kroer, Tuomas Sandholm. 3177-3184 [doi]
• Heuristic Subset Selection in Classical PlanningLevi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte. 3185-3191 [doi]
• Learning Predictive State Representations via Monte-Carlo Tree SearchYunlong Liu, Hexing Zhu, Yifeng Zeng, Zongxiong Dai. 3192-3198 [doi]
• Automatic Generation of High-Level State Features for Generalized PlanningDamir Lotinac, Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson. 3199-3205 [doi]
• Planning for a Single Agent in a Multi-Agent Environment Using FONDChristian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg. 3206-3212 [doi]
• Heuristic Planning for PDDL+ DomainsWiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio. 3213-3219 [doi]
• PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor SelectionYash Satsangi, Shimon Whiteson, Frans A. Oliehoek. 3220-3227 [doi]
• Heuristics for Numeric Planning via SubgoalingEnrico Scala, Patrik Haslum, Sylvie Thiébaux. 3228-3234 [doi]
• Hierarchical Finite State Controllers for Generalized PlanningJavier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson. 3235-3241 [doi]
• Correlation Complexity of Classical Planning DomainsJendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert. 3242-3250 [doi]
• Blind Search for Atari-Like Online Planning RevisitedAlexander Shleyfman, Alexander Tuisov, Carmel Domshlak. 3251-3257 [doi]
• Plan Recognition as Planning RevisitedShirin Sohrabi, Anton V. Riabov, Octavian Udrea. 3258-3264 [doi]
• On State-Dominance Criteria in Fork-Decoupled SearchÁlvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann 0001. 3265-3271 [doi]
• Abstraction Heuristics for Symbolic Bidirectional SearchÁlvaro Torralba, Carlos Linares López, Daniel Borrajo. 3272-3278 [doi]
• Goal Recognition Design with Stochastic Agent Action OutcomesChristabel Wayllace, Ping Hou, William Yeoh 0001, Tran Cao Son. 3279-3285 [doi]
• Graph-Based Factorization of Classical Planning ProblemsMartin Wehrle, Silvan Sievers, Malte Helmert. 3286-3292 [doi]
• Structural Symmetries for Fully Observable Nondeterministic PlanningDominik Winterer, Martin Wehrle, Michael Katz 0001. 3293-3299 [doi]
• Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar AlternativesPeng Yu, Jiaying Shen, Peter Z. Yeh, Brian Williams. 3300-3307 [doi]
• Co-Optimizating Multi-Agent Placement with Task Assignment and SchedulingChongjie Zhang, Julie A. Shah. 3308-3314 [doi]
• Commitment Semantics for Sequential Decision Making under Reward UncertaintyQi Zhang, Edmund H. Durfee, Satinder P. Singh, Anna Chen, Stefan J. Witwicki. 3315-3323 [doi]
• Action Recognition with Joints-Pooled 3D Deep Convolutional DescriptorsCongqi Cao, Yifan Zhang, Chunjie Zhang, Hanqing Lu. 3324-3330 [doi]
• 3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher VectorChen Chen, Mengyuan Liu, Baochang Zhang, Jungong Han, Junjun Jiang, Hong Liu. 3331-3337 [doi]
• Clustering-Based Joint Feature Selection for Semantic Attribute PredictionLin Chen, Baoxin Li. 3338-3344 [doi]
• Semi-Supervised Multimodal Deep Learning for RGB-D Object RecognitionYanhua Cheng, Xin Zhao, Rui Cai, Zhiwei Li, Kaiqi Huang, Yong Rui. 3345-3351 [doi]
• Precision Instrument Targeting via Image Registration for the Mars 2020 RoverGary Doran, David R. Thompson, Tara A. Estlin. 3352-3358 [doi]
• Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from VideosMohammed E. Fathy, Azadeh Alavi, Rama Chellappa. 3359-3367 [doi]
• Highly Accurate Gaze Estimation Using a Consumer RGB-D SensorReza Shoja Ghiass, Ognjen Arandjelovic. 3368-3374 [doi]
• Making Robots Proactive through Equilibrium MaintenanceJasmin Grosinger, Federico Pecora, Alessandro Saffiotti. 3375-3381 [doi]
• p-norm Similarity SearchYuchen Guo, Guiguang Ding, Jungong Han, Xiaoming Jin. 3382-3388 [doi]
• Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet ClusteringAllam S. Hassanein, Mohamed E. Hussein, Walid Gomaa. 3389-3395 [doi]
• Online Multi-Object Tracking by Quadratic Pseudo-Boolean OptimizationLong Lan, Dacheng Tao, Chen Gong, Naiyang Guan, Zhigang Luo. 3396-3402 [doi]
• Robust Joint Discriminative Feature Learning for Visual TrackingXiangyuan Lan, Shengping Zhang, Pong C. Yuen. 3403-3410 [doi]
• Saliency Transfer: An Example-Based Method for Salient Object DetectionXin Li, Fan Yang, Leiting Chen, Hongbin Cai. 3411-3417 [doi]
• What Is Where: Inferring Containment Relations from VideosWei Liang, Yibiao Zhao, Yixin Zhu, Song Chun Zhu. 3418-3424 [doi]
• A Stochastic Image Grammar for Fine-Grained 3D Scene ReconstructionXiaobai Liu, Yadong Mu, Liang Lin. 3425-3431 [doi]
• Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot LearningYao Lu. 3432-3438 [doi]
• Geometric Scene Parsing with Hierarchical LSTMZhanglin Peng, Ruimao Zhang, Xiaodan Liang, Xiaobai Liu, Liang Lin. 3439-3445 [doi]
• Incorporating Prototype Theory in Convolutional Neural NetworksBabak Saleh, Ahmed M. Elgammal, Jacob Feldman. 3446-3453 [doi]
• Learning Social Affordance for Human-Robot InteractionTianmin Shu, Michael S. Ryoo, Song Chun Zhu. 3454-3461 [doi]
• Learning to Order Objects Using Haptic and Proprioceptive Exploratory BehaviorsJivko Sinapov, Priyanka Khante, Maxwell Svetlik, Peter Stone. 3462-3468 [doi]
• Crowd Scene Understanding with Coherent Recurrent Neural NetworksHang Su, Yinpeng Dong, Jun Zhu, Haibin Ling, Bo Zhang. 3469-3476 [doi]
• Learning Multi-Modal Grounded Linguistic Semantics by Playing "I Spy"Jesse Thomason, Jivko Sinapov, Maxwell Svetlik, Peter Stone, Raymond J. Mooney. 3477-3483 [doi]
• Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural NetworksJingwen Wang, Jianlong Fu, Yong Xu, Tao Mei. 3484-3490 [doi]
• Visual Tracking with Reliable MemoriesShu Wang, Shaoting Zhang, Wei Liu, Dimitris N. Metaxas. 3491-3497 [doi]
• Object Recognition with Hidden AttributesXiaoyang Wang, Qiang Ji. 3498-3504 [doi]
• Rule-Based Programming of Molecular Robot Swarms for Biomedical ApplicationsInbal Wiesel-Kapah, Gal A. Kaminka, Guy Hachmon, Noa Agmon, Ido Bachelet. 3505-3512 [doi]
• Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process MixturesLawson L. S. Wong, Thanard Kurutach, Tomás Lozano-Pérez, Leslie Pack Kaelbling. 3513-3521 [doi]
• Enforcing Template Representability and Temporal Consistency for Adaptive Sparse TrackingXue Yang, Fei Han, Hua Wang, Hao Zhang. 3522-3529 [doi]
• Synthesizing Robotic Handwriting Motion by Learning from Human DemonstrationsHang Yin, Patricia Alves-Oliveira, Francisco S. Melo, Aude Billard, Ana Paiva. 3530-3537 [doi]
• Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum LearningDingwen Zhang, Deyu Meng, Long Zhao, Junwei Han. 3538-3544 [doi]
• Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-IdentificationYaqing Zhang, Xi Li, Liming Zhao, Zhongfei Zhang. 3545-3551 [doi]
• Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance MetricsXiaoke Zhu, Xiao-Yuan Jing, Fei Wu, Hui Feng. 3552-3559 [doi]
• Contextual Symmetries in Probabilistic Graphical ModelsAnkit Anand, Aditya Grover, Mausam, Parag Singla. 3560-3568 [doi]
• Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT CallsSupratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi. 3569-3576 [doi]
• Incorporating Knowledge into Structural Equation Models Using Auxiliary VariablesBryant Chen, Judea Pearl, Elias Bareinboim. 3577-3583 [doi]
• Solving M-Modes Using Heuristic SearchCong Chen, Changhe Yuan, Chao Chen. 3584-3590 [doi]
• Probabilistic Inference Modulo TheoriesRodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter. 3591-3599 [doi]
• Adaptive Budget Allocation for Maximizing Influence of AdvertisementsDaisuke Hatano, Takuro Fukunaga, Ken-ichi Kawarabayashi. 3600-3608 [doi]
• A Symbolic Closed-Form Solution to Sequential Market Making with InventoryShamin Kinathil, Scott Sanner, Sanmay Das, Nicolás Della Penna. 3609-3615 [doi]
• Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic ProgrammingSteffen Michels, Arjen Hommersom, Peter J. F. Lucas. 3616-3622 [doi]
• Group Decision Making via Probabilistic Belief MergingNico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt. 3623-3629 [doi]
• Probably Approximately Correct Learning in Stochastic Games with Temporal Logic SpecificationsMin Wen, Ufuk Topcu. 3630-3636 [doi]
• Swift: Compiled Inference for Probabilistic Programming LanguagesYi Wu, Lei Li, Stuart Russell, Rastislav Bodík. 3637-3645 [doi]
• Latent Contextual Bandits and their Application to Personalized Recommendations for New UsersLi Zhou, Emma Brunskill. 3646-3653 [doi]
• A Generative Model for Recognizing Mixed Group Activities in Still ImagesZheng Zhou, Kan Li, Xiangjian He, Mengmeng Li. 3654-3661 [doi]
• ATUCAPTS: Automated Tests that a User Cannot Pass Twice SimultaneouslyGarrett Andersen, Vincent Conitzer. 3662-3669 [doi]
• Domain Adaptation for Learning from Label Proportions Using Self-TrainingEhsan Mohammady Ardehaly, Aron Culotta. 3670-3676 [doi]
• Inferring Motif-Based Diffusion Models for Social NetworksQing Bao, William K. Cheung, Jiming Liu. 3677-3683 [doi]
• Non-Objection Inference for Inconsistency-Tolerant Query AnsweringSalem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia. 3684-3690 [doi]
• Multi-Source Iterative Adaptation for Cross-Domain ClassificationHimanshu S. Bhatt, Arun Rajkumar, Shourya Roy. 3691-3697 [doi]
• Timeline Summarization from Social Media with Life Cycle ModelsYi Chang, Jiliang Tang, Dawei Yin, Makoto Yamada, Yan Liu. 3698-3704 [doi]
• HIEDS: A Generic and Efficient Approach to Hierarchical Dataset SummarizationGong Cheng, Cheng Jin, Yuzhong Qu. 3705-3711 [doi]
• Assessing Translation Ability through Vocabulary Ability AssessmentYo Ehara, Yukino Baba, Masao Utiyama, Eiichiro Sumita. 3712-3718 [doi]
• Weakly-Supervised Deep Learning for Customer Review Sentiment ClassificationZiyu Guan, Long Chen, Wei Zhao, Yi Zheng, Shulong Tan, Deng Cai. 3719-3725 [doi]
• Questimator: Generating Knowledge Assessments for Arbitrary TopicsQi Guo, Chinmay Kulkarni, Aniket Kittur, Jeffrey P. Bigham, Emma Brunskill. 3726-3732 [doi]
• Efficient Algorithms for Spanning Tree CentralityTakanori Hayashi, Takuya Akiba, Yuichi Yoshida. 3733-3739 [doi]
• Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative FilteringRuining He, Chunbin Lin, Jianguo Wang, Julian McAuley. 3740-3746 [doi]
• Ordering Concepts Based on Common Attribute IntensityTatsuya Iwanari, Naoki Yoshinaga 0001, Nobuhiro Kaji, Toshiharu Nishina, Masashi Toyoda, Masaru Kitsuregawa. 3747-3753 [doi]
• Real-Time Web Scale Event Summarization Using Sequential Decision MakingChris Kedzie, Fernando Diaz, Kathleen McKeown. 3754-3760 [doi]
• Identifying Key Observers to Find Popular Information in AdvanceTakuya Konishi, Tomoharu Iwata, Kohei Hayashi, Ken-ichi Kawarabayashi. 3761-3767 [doi]
• Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing CampaignsSheng Li, Nikos Vlassis, Jaya Kawale, Yun Fu. 3768-3774 [doi]
• What Does Social Media Say about Your Stress?Huijie Lin, Jia Jia, Liqiang Nie, Guangyao Shen, Tat-Seng Chua. 3775-3781 [doi]
• Learning to Incentivize: Eliciting Effort via Output AgreementYang Liu, Yiling Chen. 3782-3788 [doi]
• Pay Me and I'll Follow You: Detection of Crowdturfing Following Activities in Microblog EnvironmentYuli Liu, Yiqun Liu, Min Zhang, Shaoping Ma. 3789-3796 [doi]
• Item Recommendation for Emerging Online BusinessesChun-Ta Lu, Sihong Xie, Weixiang Shao, LiFang He, Philip S. Yu. 3797-3803 [doi]
• Collaborative Evolution for User Profiling in Recommender SystemsZhongqi Lu, Sinno Jilian Pan, Yong Li, Jie Jiang, Qiang Yang 0001. 3804-3810 [doi]
• Browsing Regularities in Hedonic Content SystemsPing Luo, Ganbin Zhou, Jiaxi Tang, Rui Chen, Zhongjie Yu, Qing He. 3811-3817 [doi]
• Detecting Rumors from Microblogs with Recurrent Neural NetworksJing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha. 3818-3824 [doi]
• Dynamic Task Allocation Algorithm for Hiring Workers that LearnShengying Pan, Kate Larson, Josh Bradshaw, Edith Law. 3825-3831 [doi]
• Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph StructureYingwei Pan, Yehao Li, Ting Yao, Tao Mei, Houqiang Li, Yong Rui. 3832-3838 [doi]
• WebGazer: Scalable Webcam Eye Tracking Using User InteractionsAlexandra Papoutsaki, Patsorn Sangkloy, James Laskey, Nediyana Daskalova, Jeff Huang 0002, James Hays. 3839-3845 [doi]
• Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep NetworksYuxin Peng, Xin Huang, Jinwei Qi. 3846-3853 [doi]
• Practical Linear Models for Large-Scale One-Class Collaborative FilteringSuvash Sedhain, Hung Hai Bui, Jaya Kawale, Nikos Vlassis, Branislav Kveton, Aditya Krishna Menon, Trung Bui, Scott Sanner. 3854-3860 [doi]
• Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and ExperimentsAvi Segal, Ya'akov (Kobi) Gal, Ece Kamar, Eric Horvitz, Alex Bowyer, Grant Miller. 3861-3867 [doi]
• A Framework for Recommending Relevant and Diverse ItemsChaofeng Sha, Xiaowei Wu, Junyu Niu. 3868-3874 [doi]
• Understanding Information Diffusion under InteractionsYuan Su, Xi Zhang, Philip S. Yu, Wen-hua, Xiaofang Zhou, Binxing Fang. 3875-3881 [doi]
• Progressive Comparison for Ranking EstimationRyusuke Takahama, Toshihiro Kamishima, Hisashi Kashima. 3882-3888 [doi]
• Max-Margin DeepWalk: Discriminative Learning of Network RepresentationCunchao Tu, Weicheng Zhang, Zhiyuan Liu, Maosong Sun. 3889-3895 [doi]
• KOGNAC: Efficient Encoding of Large Knowledge GraphsJacopo Urbani, Sourav Dutta, Sairam Gurajada, Gerhard Weikum. 3896-3902 [doi]
• Learning Hostname Preference to Enhance Search RelevanceJingjing Wang, Changsung Kang, Yi Chang, Jiawei Han. 3903-3909 [doi]
• Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating PredictionKeqiang Wang, Wayne Xin Zhao, Hongwei Peng, Xiaoling Wang. 3910-3916 [doi]
• Causality Based Propagation History Ranking in Social NetworksZheng Wang, Chaokun Wang, Jisheng Pei, Xiaojun Ye, Philip S. Yu. 3917-3923 [doi]
• Learning Defining Features for CategoriesBo Xu, Chenhao Xie, Yi Zhang, Yanghua Xiao, Haixun Wang, Wei Wang. 3924-3930 [doi]
• Deep Semantic-Preserving and Ranking-Based Hashing for Image RetrievalTing Yao, Fuchen Long, Tao Mei, Yong Rui. 3931-3937 [doi]
• Modeling the Homophily Effect between Links and Communities for Overlapping Community DetectionHongyi Zhang, Tong Zhao, Irwin King, Michael R. Lyu. 3938-3944 [doi]
• Matrix Factorization+ for Movie RecommendationLili Zhao, Zhongqi Lu, Sinno Jialin Pan, Qiang Yang 0001. 3945-3951 [doi]
• Content-Driven Detection of Cyberbullying on the Instagram Social NetworkHaoti Zhong, Hao Li, Anna Cinzia Squicciarini, Sarah Michele Rajtmajer, Christopher Griffin, David J. Miller 0001, Cornelia Caragea. 3952-3958 [doi]
• Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark SearchLei Zhu, Jialie Shen, Xiaobai Liu, Liang Xie, Liqiang Nie. 3959-3967 [doi]
• Rational-Based Visual Planning MonitorsZohreh Alavi. 3968-3969 [doi]
• Online Fair Division ReduxMartin Aleksandrov. 3970-3971 [doi]
• Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract)Ankit Anand. 3972-3973 [doi]
• Combining Logic and Probability: P-log PerspectiveEvgenii Balai. 3974-3975 [doi]
• Planning under Uncertainty and Temporally Extended GoalsAlberto Camacho. 3976-3977 [doi]
• Bounded Suboptimal Multi-Agent Path Finding Using HighwaysLiron Cohen 0002, Sven Koenig. 3978-3979 [doi]
• Logic-Based Inductive Synthesis of Efficient ProgramsAndrew Cropper. 3980-3981 [doi]
• Transfer Learning for Multiagent Reinforcement Learning SystemsFelipe Leno da Silva, Anna Helena Reali Costa. 3982-3983 [doi]
• An Approach to Cooperation in General-Sum Normal Form GamesSteven Damer. 3984-3985 [doi]
• Self Monitoring, Goal Driven Autonomy AgentsDustin Dannenhauer. 3986-3987 [doi]
• Fast Motion Prediction for Collaborative RoboticsClaudia Pérez-D'Arpino, Julie A. Shah. 3988-3989 [doi]
• Location-Based Activity Recognition with Hierarchical Dirichlet ProcessNegar Ghourchian. 3990-3991 [doi]
• Action Selection Methods for Multi-Agent Navigation in Crowded EnvironmentsJulio Godoy. 3992-3993 [doi]
• Proactivity in RobotsJasmin Grosinger. 3994-3995 [doi]
• Probabilistic Planning with Risk-Sensitive CriterionPing Hou. 3996-3997 [doi]
• Computer-Aided Game Design: Doctoral Consortium Research AbstractAaron Isaksen. 3998-3999 [doi]
• Stochastic Planning in Large Search SpacesBilal Kartal. 4000-4001 [doi]
• Extractive and Abstractive Event Summarization over Streaming Web TextChris Kedzie, Kathleen McKeown. 4002-4003 [doi]
• Machine Learning for Integer ProgrammingElias B. Khalil. 4004-4005 [doi]
• Toward a Robust and Universal Crowd-Labeling FrameworkFaiza Khan Khattak. 4006-4007 [doi]
• Active Inference for Dynamic Bayesian NetworksCaner Komurlu. 4008-4009 [doi]
• Learning Robust Representations for Data AnalyticsSheng Li. 4010-4011 [doi]
• Modelling Satisfiability Problems: Theory and PracticeValentin Mayer-Eichberger. 4012-4013 [doi]
• Solving Hard Subgraph Problems in ParallelCiaran McCreesh. 4014-4015 [doi]
• Semantic Framework for Industrial Analytics and DiagnosticsGulnar Mehdi, Sebastian Brandt, Mikhail Roshchin, Thomas A. Runkler. 4016-4017 [doi]
• Adaptive Sequential Recommendation Using Context TreesFei Mi, Boi Faltings. 4018-4019 [doi]
• On the Synergy of Network Science and Artificial IntelligenceDecebal Constantin Mocanu. 4020-4021 [doi]
• Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns?Banafsheh Rekabdar. 4022-4023 [doi]
• Reactive Policy Checking for Action LanguagesZeynep Gözen Saribatur. 4024-4025 [doi]
• Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and ApplicationsArpit Sharma. 4026-4027 [doi]
• General Statistical Approaches to Procedural Map GenerationSam Snodgrass. 4028-4029 [doi]
• Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract)Xingyu Su. 4030-4031 [doi]
• Integrating Social Network Structure into Online Feature SelectionAntonela Tommasel. 4032-4033 [doi]
• Conceptual Visualization and Navigation Methods for Polyadic Formal Concept AnalysisDiana Troanca. 4034-4035 [doi]
• Automated Narrative Information Extraction Using Non-Linear PipelinesJosep Valls-Vargas. 4036-4037 [doi]
• Reasoning about Space and Change with Answer Set Programming Modulo TheoriesPrzemyslaw Andrzej Walega. 4038-4039 [doi]
• A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong LearningJohn Winder. 4040-4041 [doi]
• BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract)David R. Winer. 4042-4043 [doi]
• Quantitative Path-Planning from Qualitative Language InstructionsDaqing Yi. 4044-4045 [doi]
• Towards Intelligent Visual Understanding under Minimal SupervisionDingwen Zhang. 4046-4049 [doi]
• On Ranking and Choice ModelsShivani Agarwal 0001. 4050-4053 [doi]
• Computational Social Choice: Some Current and New DirectionsHaris Aziz. 4054-4057 [doi]
• Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from DataMeghyn Bienvenu. 4058-4061 [doi]
• Preference Restrictions in Computational Social Choice: Recent ProgressEdith Elkind, Martin Lackner, Dominik Peters. 4062-4065 [doi]
• Boolean Satifiability and Beyond: Algorithms, Analysis, and AI ApplicationsMatti Järvisalo. 4066-4069 [doi]
• Directions in Hybrid Intelligence: Complementing AI Systems with Human IntelligenceEce Kamar. 4070-4073 [doi]
• Open Information Extraction Systems and Downstream ApplicationsMausam. 4074-4077 [doi]
• Plausible Reasoning Based on Qualitative Entity EmbeddingsSteven Schockaert, Shoaib Jameel. 4078-4081 [doi]
• A Hard Look at Soft ConceptsDafna Shahaf. 4082-4085 [doi]
• First-Order Model Counting in a NutshellGuy Van den Broeck. 4086-4089 [doi]
• Sequential Decision Making for Improving Efficiency in Urban EnvironmentsPradeep Varakantham. 4090-4093 [doi]
• Adversarial AIYevgeniy Vorobeychik. 4094-4099 [doi]
• From Non-Convex Aggregates to Monotone Aggregates in ASPMario Alviano, Wolfgang Faber, Martin Gebser. 4100-4194 [doi]
• On the Properties of GZ-Aggregates in Answer Set ProgrammingMario Alviano, Nicola Leone. 4105-4109 [doi]
• Optimal Prosumer Decision-Making Using Factored MDPsAngelos Angelidakis, Georgios Chalkiadakis. 4110-4114 [doi]
• Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged ReportVaishak Belle, Guy Van den Broeck, Andrea Passerini. 4115-4119 [doi]
• Optimal and Adaptive Algorithms for Online BoostingAlina Beygelzimer, Satyen Kale, Haipeng Luo. 4120-4124 [doi]
• Detecting Student Emotions in Computer-Enabled ClassroomsNigel Bosch, Sidney K. D'Mello, Ryan S. Baker, Jaclyn Ocumpaugh, Valerie Shute, Matthew Ventura, Lubin Wang, Weinan Zhao. 4125-4129 [doi]
• Learning Qualitative Spatial Relations for Robotic NavigationAbdeslam Boularias, Felix Duvallet, Jean Oh, Anthony Stentz. 4130-4134 [doi]
• On Broken TrianglesMartin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini. 4135-4139 [doi]
• Sequencing Operator CountsToby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky. 4140-4144 [doi]
• Tabling as a Library with Delimited ControlBenoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke. 4145-4149 [doi]
• Büchi, Lindenbaum, Tarski: A Program Analysis AppetizerVijay D'Silva, Caterina Urban. 4150-4154 [doi]
• Effective Planning with More Expressive LanguagesGuillem Francès, Hector Geffner. 4155-4159 [doi]
• Domain Model Acquisition in the Presence of Static Relations in the LOP SystemPeter Gregory, Stephen Cresswell. 4160-4164 [doi]
• A Nearly-Linear Time Framework for Graph-Structured SparsityChinmay Hegde, Piotr Indyk, Ludwig Schmidt. 4165-4169 [doi]
• Observability, Identifiability and Sensitivity of Vision-Aided Inertial NavigationJoshua Hernandez, Konstantine Tsotsos, Stefano Soatto. 4170-4174 [doi]
• Projection, Inference, and ConsistencyJohn N. Hooker. 4175-4179 [doi]
• The Dependence of Effective Planning Horizon on Model AccuracyNan Jiang, Alex Kulesza, Satinder P. Singh, Richard L. Lewis. 4180-4189 [doi]
• Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood SearchPhilip Kilby, Tommaso Urli. 4185-4189 [doi]
• Deep Neural Decision ForestsPeter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò. 4190-4194 [doi]
• Proximal Gradient Temporal Difference Learning AlgorithmsBo Liu, Ji Liu 0002, Mohammad Ghavamzadeh, Sridhar Mahadevan, Marek Petrik. 4195-4199 [doi]
• Generating Tests for Robotized Painting Using Constraint ProgrammingMorten Mossige, Arnaud Gotlieb, Hein Meling. 4200-4204 [doi]
• A Decision Procedure for (Co)datatypes in SMT SolversAndrew Reynolds, Jasmin Christian Blanchette. 4205-4209 [doi]
• Why Prices Need AlgorithmsTim Roughgarden, Inbal Talgam-Cohen. 4210-4212 [doi]
• Online Bellman Residual and Temporal Difference Algorithms with Predictive Error GuaranteesWen Sun, J. Andrew Bagnell. 4213-4217 [doi]
• Welfare Effects of Market Making in Continuous Double Auctions: Extended AbstractElaine Wah, Mason Wright, Michael P. Wellman. 4218-4222 [doi]
• Improving Topic Model Stability for Effective Document ExplorationYi Yang, Shimei Pan, Yangqiu Song, Jie Lu, Mercan Topkara. 4223-4227 [doi]
• MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT SolversEdward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki. 4228-4233 [doi]
• Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development ApproachC. Anantaram, Sunil Kumar Kopparapu, Chiragkumar Patel, Aditya Mittal. 4234-4235 [doi]
• Practical 3D Tracking Using Low-Cost CamerasRoman Barták, Michal Koutný, David Obdrzálek. 4236-4237 [doi]
• Baby Tartanian8: Winning Agent from the 2016 Annual Computer Poker CompetitionNoam Brown, Tuomas Sandholm. 4238-4239 [doi]
• KBQA: An Online Template Based Question Answering System over FreebaseWanyun Cui, Yanghua Xiao, Wei Wang. 4240-4241 [doi]
• SMACk: An Argumentation Framework for Opinion MiningMauro Dragoni, Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata. 4242-4243 [doi]
• A Virtual Assistant to Help Dysphagia Patients Eat Safely at HomeMichael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman. 4244-4245 [doi]
• The Malmo Platform for Artificial Intelligence ExperimentationMatthew Johnson, Katja Hofmann, Tim Hutton, David Bignell. 4246-4247 [doi]
• A Demonstration of Interactive Task LearningJames Kirk, Aaron Mininger, John E. Laird. 4248-4249 [doi]
• Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-GridSanmukh R. Kuppannagari, Rajgopal Kannan, Charalampos Chelmis, Viktor K. Prasanna. 4250-4251 [doi]
• Eddy: A Graphical Editor for OWL 2 OntologiesDomenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo. 4252-4253 [doi]
• A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and ExplanationChao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Chung-Min Li, Shen-Yu Miao, Keh-Yih Su. 4254-4255 [doi]
• An Intelligent System for Taxi Service Monitoring, Analytics and VisualizationYu Lu, Gim Guan Chua, Huayu Wu, Clement Shi Qi Ong. 4256-4257 [doi]
• An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical PlanningAndrea Marrella, Massimo Mecella, Sebastian Sardiña. 4258-4259 [doi]
• Demo: Assisting Visually Impaired People Navigate IndoorsJ. Pablo Munoz, Bing Li, Xuejian Rong, Jizhong Xiao, Yingli Tian, Aries Arditi. 4260-4261 [doi]
• Klint: Assisting Integration of Heterogeneous KnowledgeJacobo Rouces, Gerard de Melo, Katja Hose. 4262-4263 [doi]
• Thou Shalt ASQFor and Shalt Receive the Semantic AnswerMuhammad Rizwan Saeed, Charalampos Chelmis, Viktor K. Prasanna. 4264-4265 [doi]
• A Tool for Generating Interactive Euler DiagramsFrançois Schwarzentruber. 4266-4267 [doi]
• Interactive Planning-Based Hypothesis Generation with LTS++Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh. 4268-4269 [doi]
• Data-Based Promotion of Tourist Events with Minimal Operational ImpactSrikanth Tamilselvam, Biplav Srivastava, Vishalaksh Aggarwal. 4270-4271 [doi]
• PARecommender: A Pattern-Based System for Route RecommendationFeiyi Tang, Jia Zhu, Yang Cao, Sanli Ma, Yulong Chen, Jing He, Changqin Huang, Gansen Zhao, Yong Tang. 4272-4273 [doi]
• VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional DataDonghan Wang, Madalina Fiterau, Artur Dubrawski. 4274-4275 [doi]
• Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile RobotsShiQi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone. 4276-4277 [doi]