Abstract is missing.
- Optimal Incremental Preference Elicitation during NegotiationTim Baarslag, Enrico H. Gerding. 3-9 [doi]
- Composing and Verifying Commitment-Based Multiagent ProtocolsMatteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh. 10-17 [doi]
- Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated ImpossibilitiesFlorian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer. 18-24 [doi]
- Efficiency and Complexity of Price Competition Among Single-Product VendorsIoannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris. 25-31 [doi]
- Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median GraphsAdam Clearwater, Clemens Puppe, Arkadii Slinko. 32-38 [doi]
- Learning Behaviors in Agents Systems with Interactive Dynamic Influence DiagramsRoss Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen. 39-45 [doi]
- Structural Results for Cooperative Decentralized Control ModelsJilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin 0001. 46-52 [doi]
- Tractable Inquiry in Information-Rich EnvironmentsBarbara Dunin-Keplicz, Alina Strachocka. 53-60 [doi]
- An Adaptive Computational Model for Personalized PersuasionYilin Kang, Ah-Hwee Tan, Chunyan Miao. 61-67 [doi]
- Tradeoffs between Incentive Mechanisms in Boolean GamesVadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels. 68-74 [doi]
- Environment-Driven Social Force Model: Lévy Walk Pattern in Collective BehaviorDanyan Lv, Zhaofeng Li, Yichuan Jiang. 75-81 [doi]
- The Power of Local Manipulation Strategies in Assignment MechanismsTimo Mennle, Michael Weiss, Basil Philipp, Sven Seuken. 82-89 [doi]
- Revenue Maximization Envy-Free Pricing for Homogeneous ResourcesGianpiero Monaco, Piotr Sankowski, Qiang Zhang. 90-96 [doi]
- Exchange of Indivisible Objects with AsymmetryZhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo. 97-103 [doi]
- Characterization of Scoring Rules with Distances: Application to the Clustering of RankingsPaolo Viappiani. 104-110 [doi]
- Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information TheoryDongxia Wang, Tim Muller, Jie Zhang, Yang Liu. 111-117 [doi]
- Optimal Auctions for Partially Rational BiddersZihe Wang, Pingzhong Tang. 118-124 [doi]
- An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo SamplingFlorian Wisser. 125-131 [doi]
- Agile Planning for Real-World Disaster ResponseFeng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings. 132-138 [doi]
- Optimal Pricing for the Competitive and Evolutionary Cloud MarketBolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu. 139-145 [doi]
- Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials DiscoveryYexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman. 146-155 [doi]
- Emotions in Argumentation: an Empirical EvaluationSahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon. 156-163 [doi]
- Parliamentary Voting Procedures: Agenda Control, Manipulation, and UncertaintyRobert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh. 164-170 [doi]
- Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label PropagationFabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting. 171-177 [doi]
- Semi-Universal Portfolios with Transaction CostsDingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C. H. Hoi. 178-184 [doi]
- Context-Independent Claim Detection for Argument MiningMarco Lippi, Paolo Torroni. 185-191 [doi]
- A Deterministic Partition Function Approximation for Exponential Random Graph ModelsWen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir. 192-200 [doi]
- Bonus or Not? Learn to Reward in CrowdsourcingMing Yin, Yiling Chen. 201-208 [doi]
- Mechanism Design and Implementation for Lung ExchangeSuiqian Luo, Pingzhong Tang. 209-215 [doi]
- Maximal Cooperation in Repeated Games on Social NetworksCatherine Moon, Vincent Conitzer. 216-223 [doi]
- Selling Reserved Instances in Cloud ComputingChangjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu. 224-231 [doi]
- A Multicore Tool for Constraint SolvingRoberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. 232-238 [doi]
- Improving the Effectiveness of SAT-Based Preprocessing for MaxSATJeremias Berg, Paul Saikko, Matti Järvisalo. 239-245 [doi]
- Maximum Satisfiability Using Cores and Correction SetsNikolaj Bjørner, Nina Narodytska. 246-252 [doi]
- Recursive Decomposition for Nonconvex Optimization - IJCAI-15 Distinguished PaperAbram L. Friesen, Pedro M. Domingos. 253-259 [doi]
- Finding Diverse Solutions of High Quality to Constraint Optimization ProblemsThierry Petit, Andrew C. Trapp. 260-267 [doi]
- On the Resiliency of Unit Propagation to Max-ResolutionAndré Abramé, Djamal Habet. 268-274 [doi]
- Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningMichael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran. 275-282 [doi]
- Exploiting the Structure of Unsatisfiable Cores in MaxSATCarlos Ansótegui, Frédéric Didier, Joel Gabàs. 283-289 [doi]
- Multi-Armed Bandits for Adaptive Constraint PropagationAmine Balafrej, Christian Bessière, Anastasia Paparrizou. 290-296 [doi]
- Combining Preference Elicitation and Search in Multiobjective State-Space GraphsNawal Benabbou, Patrice Perny. 297-303 [doi]
- ReACTR: Realtime Algorithm Configuration through Tournament RankingsTadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan. 304-310 [doi]
- Expressive Logical Combinators for FreePierre Genevès, Alan Schmitt. 311-317 [doi]
- Statistical Regimes and Runtime PredictionBarry Hurley 0001, Barry O'Sullivan. 318-324 [doi]
- Solving QBF by Clause SelectionMikolás Janota, Joao Marques-Silva. 325-331 [doi]
- Compiling Constraint Networks into Multivalued Decomposable Decision GraphsFrédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas. 332-338 [doi]
- Filtering Nogoods Lazily in Dynamic Symmetry Breaking During SearchJimmy H. M. Lee, Zichen Zhu. 339-345 [doi]
- Multi-Pass High-Level PresolvingKevin Leo, Guido Tack. 346-352 [doi]
- Decomposition of the Factor Encoding for CSPsChavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap. 353-359 [doi]
- Towards Automatic Dominance Breaking for Constraint Optimization ProblemsChristopher Mears, Maria Garcia de la Banda. 360-366 [doi]
- On the Empirical Time Complexity of Random 3-SAT at the Phase TransitionZongxu Mu, Holger H. Hoos. 367-373 [doi]
- Efficient Operations On MDDs for Building Constraint Programming ModelsGuillaume Perez, Jean-Charles Régin. 374-380 [doi]
- Personalized Mathematical Word Problem GenerationOleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic. 381-388 [doi]
- On Constrained Boolean Pareto OptimizationChao Qian, Yang Yu, Zhi-Hua Zhou. 389-395 [doi]
- Packing Curved ObjectsIgnacio Antonio Salas Donoso, Gilles Chabert. 396-402 [doi]
- Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack ProblemLong Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R. Jennings. 403-410 [doi]
- Probabilistic Inference Based Message-Passing for Resource Constrained DCOPsSupriyo Ghosh, Akshat Kumar, Pradeep Varakantham. 411-417 [doi]
- Collective Biobjective Optimization Algorithm for Parallel Test Paper GenerationMinh Luan Nguyen, Siu Cheung Hui, Alvis Cheuk Ming Fong. 418-424 [doi]
- Max-Sum Goes PrivateTamir Tassa, Roie Zivan, Tal Grinshpoun. 425-431 [doi]
- Applying Max-Sum to Asymmetric Distributed Constraint OptimizationRoie Zivan, Tomer Parash, Yarden Naveh. 432-439 [doi]
- A Bargaining Mechanism for One-Way GamesAndrés Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck. 440-446 [doi]
- Strategic Network Formation through an IntermediaryElliot Anshelevich, Onkar Bhardwaj, Koushik Kar. 447-453 [doi]
- The Adjusted Winner Procedure: Characterizations and EquilibriaHaris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen. 454-460 [doi]
- Welfare Maximization in Fractional Hedonic GamesHaris Aziz, Serge Gaspers, Joachim Gudmundsson, Julián Mestre, Hanjo Täubig. 461-467 [doi]
- Possible and Necessary Allocations via Sequential MechanismsHaris Aziz, Toby Walsh, Lirong Xia. 468-474 [doi]
- Learning Cooperative GamesMaria-Florina Balcan, Ariel D. Procaccia, Yair Zick. 475-481 [doi]
- A Dictatorship Theorem for Cake CuttingSimina Brânzei, Peter Bro Miltersen. 482-488 [doi]
- Simultaneous Abstraction and Equilibrium Finding in GamesNoam Brown, Tuomas Sandholm. 489-496 [doi]
- Incentivizing Peer Grading in MOOCS: An Audit Game ApproachAlejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick. 497-503 [doi]
- Approximate Nash Equilibria with Near Optimal Social WelfareArtur Czumaj, Michail Fasoulakis, Marcin Jurdzinski. 504-510 [doi]
- Influence in Classification via Cooperative Game TheoryAmit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick. 511-517 [doi]
- SAT Is an Effective and Complete Method for Solving Stable Matching Problems with CouplesJoanna Drummond, Andrew Perrault, Fahiem Bacchus. 518-525 [doi]
- Optimal Network Security Hardening Using Attack Graph GamesKarel Durkota, Viliam Lisý, Branislav Bosanský, Christopher Kiekintveld. 526-532 [doi]
- Gibbard-Satterthwaite GamesEdith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko. 533-539 [doi]
- Equilibrium Refinement through Negotiation in Binary VotingUmberto Grandi, Davide Grossi, Paolo Turrini. 540-546 [doi]
- Structural Tractability of Shapley and Banzhaf Values in Allocation GamesGianluigi Greco, Francesco Lupia, Francesco Scarcello. 547-553 [doi]
- Smooth UCT Search in Computer PokerJohannes Heinrich, David Silver. 554-560 [doi]
- Fixing Tournaments for Kings, Chokers, and MoreMichael P. Kim, Virginia Vassilevska Williams. 561-567 [doi]
- A Characterization of n-Player Strongly Monotone Scheduling MechanismsAnnamária Kovács, Angelina Vidali. 568-574 [doi]
- Limited Lookahead in Imperfect-Information GamesChristian Kroer, Tuomas Sandholm. 575-581 [doi]
- Impartial Peer ReviewDavid Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia. 582-588 [doi]
- Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much!Minming Li, Jialin Zhang, Qiang Zhang. 589-595 [doi]
- Equilibrium Analysis of Multi-Defender Security GamesJian Lou, Yevgeniy Vorobeychik. 596-602 [doi]
- When Does Schwartz Conjecture Hold?Matthias Mnich, Yash Raj Shrestha, Yongjie Yang. 603-609 [doi]
- Strategic Candidacy Games with Lazy CandidatesSvetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich. 610-616 [doi]
- Simple Causes of Complexity in Hedonic GamesDominik Peters, Edith Elkind. 617-623 [doi]
- Convergence to Equilibria in Strategic CandidacyMaria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings. 624-630 [doi]
- A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting GamesOskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo. 631-637 [doi]
- The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community DetectionPiotr Lech Szczepanski, Aleksy Stanislaw Barcz, Tomasz Pawel Michalak, Talal Rahwan. 638-644 [doi]
- Solving Heads-Up Limit Texas Hold'emOskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling. 645-652 [doi]
- Envy-Free Sponsored Search Auctions with BudgetsBo Tang, Jinshan Zhang. 653-659 [doi]
- Implementing the Wisdom of WazeShoshana Vasserman, Michal Feldman, Avinatan Hassidim. 660-666 [doi]
- Spiteful Bidding in the Dollar AuctionMarcin Waniek, Agata Niescieruk, Tomasz P. Michalak, Talal Rahwan. 667-673 [doi]
- Security Games with Information Leakage: Modeling and ComputationHaifeng Xu, Albert Xin Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe. 674-680 [doi]
- Computing Optimal Mixed Strategies for Security Games with Dynamic PayoffsYue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang. 681-688 [doi]
- From Weighted to Unweighted Model CountingSupratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi. 689-695 [doi]
- Pushing Forward Marginal MAP with Best-First SearchRadu Marinescu 0002, Rina Dechter, Alexander T. Ihler. 696-702 [doi]
- Indirect Causes in Dynamic Bayesian Networks RevisitedAlexander Motzek, Ralf Möller. 703-709 [doi]
- Differential Semantics of Intervention in Bayesian NetworksBiao Qin. 710-716 [doi]
- Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data SparsityMatteo Venanzi, W. T. Luke Teacy, Alex Rogers, Nick R. Jennings. 717-724 [doi]
- A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text GeneralityYinqing Xu, Bei Shi, Wentao Tian, Wai Lam. 725-732 [doi]
- Model-Based Genetic Algorithms for Algorithm ConfigurationCarlos Ansótegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney. 733-739 [doi]
- ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent PathfindingEli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Solomon Eyal Shimony. 740-746 [doi]
- Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive GraphsShaowei Cai. 747-753 [doi]
- Generalized Rapid Action Value EstimationTristan Cazenave. 754-760 [doi]
- A Fast Goal Recognition Technique Based on Interaction EstimatesYolanda E.-Martín, María D. R-Moreno, David E. Smith. 761-768 [doi]
- Interplanetary Trajectory Planning with Monte Carlo Tree SearchDaniel Hennes, Dario Izzo. 769-775 [doi]
- FlashNormalize: Programming by Examples for Text NormalizationDileep Kini, Sumit Gulwani. 776-783 [doi]
- Efficient Search with an Ensemble of HeuristicsMike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev. 784-791 [doi]
- Compositional Program Synthesis from Natural Language and ExamplesMohammad Raza, Sumit Gulwani, Natasa Milic-Frayling. 792-800 [doi]
- Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of GoErik S. Steinmetz, Maria L. Gini. 801-807 [doi]
- H-Index Manipulation by Merging Articles: Models, Theory, and ExperimentsRené van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh. 808-814 [doi]
- Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with TradeoffsNic Wilson, Abdul Razak, Radu Marinescu. 815-822 [doi]
- Mining Definitions from RDF Annotations Using Formal Concept AnalysisMehwish Alam, Aleksey Buzmakov, Víctor Codocedo, Amedeo Napoli. 823-829 [doi]
- Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic ProfilesClaudiu Cristian Musat, Boi Faltings. 830-836 [doi]
- AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-DemandMehdi Samadi, Partha Pratim Talukdar, Manuela M. Veloso, Tom M. Mitchell. 837-843 [doi]
- Building Hierarchies of Concepts via CrowdsourcingYuyin Sun, Adish Singla, Dieter Fox, Andreas Krause. 844-853 [doi]
- Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent SystemsFrancesco Belardinelli, Davide Grossi, Alessio Lomuscio. 854-860 [doi]
- Formal Analysis of Dialogues on Infinite Argumentation FrameworksFrancesco Belardinelli, Davide Grossi, Nicolas Maudet. 861-867 [doi]
- On the Graded Acceptability of ArgumentsDavide Grossi, Sanjay Modgil. 868-874 [doi]
- A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of ReasoningAntonio Lieto, Daniele P. Radicioni, Valentina Rho. 875-881 [doi]
- A Simple Probabilistic Extension of Modal Mu-calculusWanwei Liu, Lei Song, Ji Wang, Lijun Zhang. 882-888 [doi]
- The Complexity of MAP Inference in Bayesian Networks Specified Through Logical LanguagesDenis Deratani Mauá, Cassio Polpo de Campos, Fábio Gagliardi Cozman. 889-895 [doi]
- Information Gathering in Networks via Active ExplorationAdish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause. 891-988 [doi]
- Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge RepositoriesMarius Pasca, Hylke Buisman. 896-902 [doi]
- Automatic Generation of Raven's Progressive MatricesKe Wang, Zhendong Su. 903-909 [doi]
- From Raw Sensor Data to Detailed Spatial KnowledgePeng Zhang, Jae Hee Lee, Jochen Renz. 910-917 [doi]
- Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan RecognitionFrancis Bisson, Hugo Larochelle, Froduald Kabanza. 918-924 [doi]
- Biclustering Gene Expressions Using Factor Graphs and the Max-Sum AlgorithmMatteo Denitto, Alessandro Farinelli, Manuele Bicego. 925-931 [doi]
- Greedy Structure Search for Sum-Product NetworksAaron W. Dennis, Dan Ventura. 932-938 [doi]
- On the Consistency of AUC Pairwise OptimizationWei Gao, Zhi-Hua Zhou. 939-945 [doi]
- Multi-Label Active Learning: Query Type MattersSheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou. 946-952 [doi]
- Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual InductionWenbin Jiang, Qun Liu, Thepchai Supnithi. 953-959 [doi]
- Mobility Profiling for User Verification with Anonymized Location DataMiao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy. 960-966 [doi]
- Analysis of Sampling Algorithms for TwitterDeepan Subrahmanian Palguna, Vikas Joshi, Venkatesan T. Chakaravarthy, Ravi Kothari, L. Venkata Subramaniam. 967-973 [doi]
- Portfolio Choices with Orthogonal Bandit LearningWeiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha. 974 [doi]
- Medical Synonym Extraction with Concept Space ModelsChang Wang, Liangliang Cao, Bowen Zhou. 989-995 [doi]
- Detecting Emotions in Social Media: A Constrained Optimization ApproachYichen Wang, Aditya Pal. 996-1002 [doi]
- Regression Model Fitting under Differential Privacy and Model Inversion AttackYue Wang 0009, Cheng Si, Xintao Wu. 1003-1009 [doi]
- Correcting Covariate Shift with the Frank-Wolfe AlgorithmJunfeng Wen, Russell Greiner, Dale Schuurmans. 1010-1016 [doi]
- Cognitive Modelling for Predicting Examinee PerformanceRun-ze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu. 1017-1024 [doi]
- Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid ModelRui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu. 1025-1032 [doi]
- Auxiliary Information Regularized Machine for Multiple Modality Feature LearningYang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang. 1033-1039 [doi]
- Discriminative Reordering Model Adaptation via Structural LearningBiao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao. 1040-1046 [doi]
- Revisiting Gaussian Process Dynamical ModelsJing Zhao, Shiliang Sun. 1047-1053 [doi]
- Character-Based Parsing with Convolutional Neural NetworkXiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang. 1054-1060 [doi]
- Active Learning from Crowds with Unsure OptionJinhong Zhong, Ke Tang, Zhi-Hua Zhou. 1061-1068 [doi]
- Symbolic Model Checking for One-Resource RB+-ATLNatasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi. 1069-1075 [doi]
- The Complexity of Model Checking Succinct Multiagent SystemsXiaowei Huang, Qingliang Chen, Kaile Su. 1076-1082 [doi]
- Verifying Emergent Properties of SwarmsPanagiotis Kouvaros, Alessio Lomuscio. 1083-1089 [doi]
- Pushdown Multi-Agent System VerificationAniello Murano, Giuseppe Perelli. 1090-1097 [doi]
- A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy ExchangeMuddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn. 1098-1104 [doi]
- Equilibria Under the Probabilistic Serial RuleHaris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh. 1105-1112 [doi]
- Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory UncertaintiesCen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra. 1113-1119 [doi]
- Estimating the Margin of Victory of an Election Using SamplingPalash Dey, Y. Narahari. 1120-1126 [doi]
- Strategy-Proofness of Scoring Allocation Correspondences for Indivisible GoodsNhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe. 1127-1133 [doi]
- Spectrum-Based Fault Localisation for Multi-Agent SystemsLúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti. 1134-1140 [doi]
- What Do We Elect Committees For? A Voting Committee Model for Multi-Winner RulesPiotr Krzysztof Skowron. 1141-1148 [doi]
- Algorithmic Exam GenerationOmer Geiger, Shaul Markovitch. 1149-1155 [doi]
- The Right to Obscure: A Mechanism and Initial EvaluationEric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham. 1156-1162 [doi]
- A New Input Method for Human Translators: Integrating Machine Translation Effectively and ImperceptiblyGuoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong. 1163-1169 [doi]
- Combining Eye Movements and EEG to Enhance Emotion RecognitionYifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu. 1170-1176 [doi]
- Handling Complex Commands as Service Robot Task RequestsVittorio Perera, Manuela M. Veloso. 1177-1183 [doi]
- A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic EnvironmentsSarvapali D. Ramchurn, Joel E. Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock. 1184-1192 [doi]
- Automated Geometry Theorem Proving for Human-Readable ProofsKe Wang, Zhendong Su. 1193-1199 [doi]
- Offline Sketch Parsing via Shapeness EstimationJie Wu, Changhu Wang, Liqing Zhang, Yong Rui. 1200-1207 [doi]
- Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence CompressionSiddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama. 1208-1214 [doi]
- Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in TwitterFrancesco Barbieri, Francesco Ronzano, Horacio Saggion. 1215-1221 [doi]
- Embedding Semantic Relations into Word RepresentationsDanushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi. 1222-1228 [doi]
- Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated TweetsFelipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer. 1229-1235 [doi]
- Joint Learning of Character and Word EmbeddingsXinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huan-Bo Luan. 1236-1242 [doi]
- A Hybrid Neural Model for Type Classification of Entity MentionsLi Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu. 1243-1249 [doi]
- Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel CorporaMeiping Dong, Yang Liu, Huan-Bo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang. 1250-1256 [doi]
- Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance DistanceYohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki. 1257-1262 [doi]
- Joint POS Tagging and Text Normalization for Informal TextChen Li 0013, Yang Liu 0004. 1263-1269 [doi]
- Reader-Aware Multi-Document Summarization via Sparse CodingPiji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao. 1270-1276 [doi]
- Incorporating Domain and Sentiment Supervision in Representation Learning for Domain AdaptationBiao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu. 1277-1283 [doi]
- Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram ModelPengfei Liu, Xipeng Qiu, Xuanjing Huang. 1284-1290 [doi]
- Automated Rule Selection for Aspect Extraction in Opinion MiningQian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang. 1291-1297 [doi]
- Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive SummarizationDaraksha Parveen, Michael Strube 0001. 1298-1304 [doi]
- Convolutional Neural Tensor Network Architecture for Community-Based Question AnsweringXipeng Qiu, Xuanjing Huang. 1305-1311 [doi]
- An Active Learning Approach to Coreference ResolutionMrinmaya Sachan, Eduard H. Hovy, Eric P. Xing. 1312-1318 [doi]
- Towards Addressing the Winograd Schema Challenge - Building and Using a Semantic Parser and a Knowledge Hunting ModuleArpit Sharma, Nguyen Ha Vo, Somak Aditya, Chitta Baral. 1319-1325 [doi]
- On Conceptual Labeling of a Bag of WordsXiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang 0009. 1326-1332 [doi]
- Modeling Mention, Context and Entity with Neural Networks for Entity DisambiguationYaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang. 1333-1339 [doi]
- User Modeling with Neural Network for Review Rating PredictionDuyu Tang, Bing Qin, Ting Liu, Yuekui Yang. 1340-1346 [doi]
- Target-Dependent Twitter Sentiment Classification with Rich Automatic FeaturesDuy-Tin Vo, Yue Zhang. 1347-1353 [doi]
- Syntax-Based Deep Matching of Short TextsMingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu. 1354-1361 [doi]
- Modeling Quantum Entanglements in Quantum Language ModelsMengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song. 1362-1368 [doi]
- Convolutional Neural Networks for Text HashingJiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao 0001, Fangyuan Wang, Hongwei Hao. 1369-1375 [doi]
- Compressive Document Summarization via Sparse OptimizationJin-ge Yao, Xiaojun Wan, Jianguo Xiao. 1376-1382 [doi]
- Optimizing Sentence Modeling and Selection for Document SummarizationWenpeng Yin, Yulong Pei. 1383-1389 [doi]
- Learning Term Embeddings for Hypernymy IdentificationZheng Yu, Haixun Wang, Xuemin Lin, Min Wang. 1390-1397 [doi]
- Local Translation Prediction with Global Sentence RepresentationJiajun Zhang, Dakun Zhang, Jie Hao. 1398-1404 [doi]
- Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected DocumentsWei Zhang, Jianyong Wang. 1405-1411 [doi]
- Representation Learning for Measuring Entity Relatedness with Rich InformationYu Zhao, Zhiyuan Liu, Maosong Sun. 1412-1418 [doi]
- Linking Heterogeneous Input Features with Pivots for Domain AdaptationGuangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu. 1419-1425 [doi]
- A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel DataGuangyou Zhou, Tingting He, Jun Zhao 0001, Wensheng Wu. 1426-1433 [doi]
- Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific CorpusDaniele Alfarone, Jesse Davis. 1434-1441 [doi]
- Coherence Across Components in Cognitive Systems - One Ontology to Rule Them AllGregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo. 1442-1449 [doi]
- How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?Salem Benferhat, Zied Bouraoui, Karim Tabia. 1450-1456 [doi]
- Scalable Maintenance of Knowledge Discovery in an Ontology StreamFreddy Lécué. 1457-1463 [doi]
- Bootstrapping Domain Ontologies from Wikipedia: A Uniform ApproachDaniil Mirylenka, Andrea Passerini, Luciano Serafini. 1464-1470 [doi]
- An Ontology Matching Approach Based on Affinity-Preserving Random WalksChuncheng Xiang, Baobao Chang, Zhifang Sui. 1471-1478 [doi]
- Exploiting Symmetries by Planning for a Descriptive QuotientMohammad Abdulaziz, Michael Norrish, Charles Gretton. 1479-1486 [doi]
- Cost-Optimal and Net-Benefit Planning - A Parameterised Complexity ViewMeysam Aghighi, Christer Bäckström. 1487-1493 [doi]
- On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent LogicNatasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen. 1494-1501 [doi]
- Tight Bounds for HTN Planning with Task InsertionRon Alford, Pascal Bercher, David W. Aha. 1502-1508 [doi]
- ASAP-UCT: Abstraction of State-Action Pairs in UCTAnkit Anand, Aditya Grover, Mausam, Parag Singla. 1509-1515 [doi]
- Further Connections Between Contract-Scheduling and Ray-Searching ProblemsSpyros Angelopoulos. 1516-1522 [doi]
- Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous BehavioursJosef Bajada, Maria Fox, Derek Long. 1523-1529 [doi]
- A Privacy Preserving Algorithm for Multi-Agent Planning and SearchRonen I. Brafman. 1530-1536 [doi]
- Exploiting Block Deordering for Improving Planners EfficiencyLukás Chrpa, Fazlul Hasan Siddiqui. 1537-1543 [doi]
- On the Online Generation of Effective Macro-OperatorsLukás Chrpa, Mauro Vallati, Thomas Leo McCluskey. 1544-1550 [doi]
- Estimating the Probability of Meeting a Deadline in Hierarchical PlansLiat Cohen, Solomon Eyal Shimony, Gera Weiss. 1551-1557 [doi]
- Synthesis for LTL and LDL on Finite TracesGiuseppe De Giacomo, Moshe Y. Vardi. 1558-1564 [doi]
- Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow TubesEnrique Fernández-González, Erez Karpas, Brian C. Williams. 1565-1572 [doi]
- Delete Relaxations for Planning with State-Dependent Action CostsFlorian Geißer, Thomas Keller 0001, Robert Mattmüller. 1573-1579 [doi]
- Optimal Planning with AxiomsFranc Ivankovic, Patrik Haslum. 1580-1586 [doi]
- Optimal Policy Generation for Partially Satisfiable Co-Safe LTL SpecificationsBruno Lacerda, David Parker 0001, Nick Hawes. 1587-1593 [doi]
- Probabilistic Knowledge-Based ProgramsJérôme Lang, Bruno Zanuttini. 1594-1600 [doi]
- Metareasoning for Planning Under UncertaintyChristopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz. 1601-1609 [doi]
- Classical Planning with Simulators: Results on the Atari Video GamesNir Lipovetzky, Miquel Ramírez, Hector Geffner. 1610-1616 [doi]
- Action2Activity: Recognizing Complex Activities from Sensor DataYe Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum. 1617-1623 [doi]
- Exploratory Digraph Navigation Using AFabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit. 1624-1630 [doi]
- Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable DurationsAndrea Micheli, Minh Do, David E. Smith. 1631-1637 [doi]
- Sorting Sequential Portfolios in Automated PlanningSergio Núñez, Daniel Borrajo, Carlos Linares López. 1638-1644 [doi]
- Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value FunctionsFrans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan J. Witwicki. 1645-1651 [doi]
- Adversarial Hierarchical-Task Network Planning for Complex Real-Time GamesSantiago Ontañón, Michael Buro. 1652-1658 [doi]
- Models of Action Concurrency in Temporal PlanningJussi Rintanen. 1659-1665 [doi]
- Point-Based Planning for Multi-Objective POMDPsDiederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek. 1666-1672 [doi]
- Deordering and Numeric Macro Actions for Plan RepairEnrico Scala, Pietro Torasso. 1673-1681 [doi]
- Planning for Stochastic Games with Co-Safe ObjectivesLei Song, Yuan Feng, Lijun Zhang. 1682-1688 [doi]
- Simulation-Based Admissible Dominance PruningÁlvaro Torralba, Jörg Hoffmann 0001. 1689-1695 [doi]
- Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State GoalsJorge Torres, Jorge A. Baier. 1696-1703 [doi]
- On the Effective Configuration of Planning Domain ModelsMauro Vallati, Frank Hutter, Lukás Chrpa, Thomas Leo McCluskey. 1704-1711 [doi]
- Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical PlanningMartin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz 0001. 1712-1718 [doi]
- Multi-Objective POMDPs with Lexicographic Reward PreferencesKyle Hollins Wray, Shlomo Zilberstein. 1719-1725 [doi]
- An Iterative Approach to Synthesize Data Transformation ProgramsBo Wu, Craig A. Knoblock. 1726-1732 [doi]
- MORRF*: Sampling-Based Multi-Objective Motion PlanningDaqing Yi, Michael A. Goodrich, Kevin D. Seppi. 1733-1741 [doi]
- Optimal Greedy Diversity for RecommendationAzin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen. 1742-1748 [doi]
- Music Recommenders: User Evaluation Without Real Users?Susan Craw, Ben Horsburgh, Stewart Massie. 1749-1755 [doi]
- A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and ReviewsGuang-Neng Hu, Xin-Yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen. 1756-1762 [doi]
- Differentially Private Matrix FactorizationJingyu Hua, Chang Xia, Sheng Zhong. 1763-1770 [doi]
- Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative FilteringLiping Jing, Peng Wang, Liu Yang. 1771-1777 [doi]
- Personalized Tour Recommendation Based on User Interests and Points of Interest Visit DurationsKwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera. 1778-1784 [doi]
- Modeling Users' Dynamic Preference for Personalized RecommendationXin Liu. 1785-1791 [doi]
- A Boosting Algorithm for Item Recommendation with Implicit FeedbackYong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao. 1792-1798 [doi]
- Simple Atom Selection Strategy for Greedy Matrix CompletionZebang Shen, Hui Qian, Tengfei Zhou, Song Wang. 1799-1805 [doi]
- Personalized Ad Recommendation Systems for Life-Time Value Optimization with GuaranteesGeorgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh. 1806-1812 [doi]
- Exploring Implicit Hierarchical Structures for Recommender SystemsSuhang Wang, Jiliang Tang, Yilin Wang, Huan Liu. 1813-1819 [doi]
- Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website RevenueXin Wang, Yunhui Guo, Congfu Xu. 1820-1826 [doi]
- Cross-Domain Collaborative Filtering with Review TextXin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo. 1827-1834 [doi]
- Inducing Probabilistic Relational Rules from Probabilistic ExamplesLuc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke. 1835-1843 [doi]
- Saul: Towards Declarative Learning Based ProgrammingParisa KordJamshidi, Dan Roth, Hao Wu. 1844-1851 [doi]
- Anytime Inference in Probabilistic Logic Programs with Tp-CompilationJonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt. 1852-1858 [doi]
- Knowledge Base Completion Using Embeddings and RulesQuan Wang, Bin Wang, Li Guo. 1859-1866 [doi]
- Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRLKenneth D. Bogert, Prashant Doshi. 1867-1873 [doi]
- Graph-Based Inverse Optimal Control for Robot ManipulationArunkumar Byravan, Mathew Monfort, Brian D. Ziebart, Byron Boots, Dieter Fox. 1874-1880 [doi]
- Reactive Integrated Motion Planning and ExecutionAndreas G. Hofmann, Enrique Fernández-González, Justin Helbert, Scott D. Smith, Brian C. Williams. 1881-1887 [doi]
- Weakly Supervised RBM for Semantic SegmentationYong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma. 1888-1894 [doi]
- Grounding the Meaning of Words through Vision and Interactive GameplayNatalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen. 1895-1901 [doi]
- Intelligent Agent Supporting Human-Multi-Robot Team CollaborationAriel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus. 1902-1908 [doi]
- Co-Acquisition of Syntax and Semantics - An Investigation in Spatial LanguageMichael Spranger, Luc Steels. 1909-1915 [doi]
- Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-OptimallyPavel Surynek. 1916-1922 [doi]
- Learning to Interpret Natural Language Commands through Human-Robot DialogJesse Thomason, ShiQi Zhang, Raymond J. Mooney, Peter Stone. 1923-1929 [doi]
- Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion PlanningMarc Toussaint. 1930-1936 [doi]
- Multi-Modality Tracker Aggregation: From Generative to DiscriminativeXiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye. 1937-1944 [doi]
- Tractable Classes of Binary CSPs Defined by Excluded Topological MinorsDavid A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny. 1945-1951 [doi]
- A Modularity-Based Random SAT Instances GeneratorJesús Giráldez-Cru, Jordi Levy. 1952-1958 [doi]
- An Exact Inference Scheme for MinSATChu Min Li, Felip Manyà. 1959-1965 [doi]
- Efficient Model Based Diagnosis with Maximum SatisfiabilityJoão Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado. 1966-1972 [doi]
- Literal-Based MCS ExtractionCarlos Mencía, Alessandro Previti, João Marques-Silva. 1973-1979 [doi]
- Prime Compilation of Non-Clausal FormulaeAlessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva. 1980-1988 [doi]
- Solving MDPs with Skew Symmetric Bilinear Utility FunctionsHugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng. 1989-1995 [doi]
- Non-Monotone Adaptive Submodular MaximizationAlkis Gotovos, Amin Karbasi, Andreas Krause. 1996-2003 [doi]
- Optimization of Probabilistic Argumentation with Markov Decision ModelsEmmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter. 2004-2010 [doi]
- Stick-Breaking Policy Learning in Dec-POMDPsMiao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How. 2011-2018 [doi]
- Structure in Dichotomous PreferencesEdith Elkind, Martin Lackner. 2019-2025 [doi]
- Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting RulesDavid Timothy Lee. 2026-2032 [doi]
- Lie on the Fly: Iterative Voting Center with Manipulative VotersLihi Naamani Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech. 2033-2039 [doi]
- Ranked Voting on Social NetworksAriel D. Procaccia, Nisarg Shah 0001, Eric Sodomka. 2040-2046 [doi]
- Non-Myopic Negotiators See What's BestYair Zick, Yoram Bachrach, Ian A. Kash, Peter Key. 2047-2054 [doi]
- How Robust Is the Wisdom of the Crowds?Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz. 2055-2061 [doi]
- Uncovering the Formation of Triadic Closure in Social NetworksZhanpeng Fang, Jie Tang. 2062-2068 [doi]
- Personalized Ranking Metric Embedding for Next New POI RecommendationShanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan. 2069-2075 [doi]
- Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread EstimationWeixue Lu, Peng Zhang, Chuan Zhou, Chun-Yi Liu, Li Gao. 2076-2082 [doi]
- Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social NetworksYulong Pei, Nilanjan Chakraborty, Katia P. Sycara. 2083-2089 [doi]
- A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block ModelsChengbin Peng, Zhihua Zhang, Ka Chun Wong, Xiangliang Zhang, David Keyes. 2090-2096 [doi]
- CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large NetworksVishnu Sankar, Balaraman Ravindran, S. Shivashankar. 2097-2103 [doi]
- Maximizing the Coverage of Information Propagation in Social NetworksZhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang. 2104-2110 [doi]
- Network Representation Learning with Rich Text InformationCheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Y. Chang. 2111-2117 [doi]
- Optimal Route Search with the Coverage of Users' PreferencesYifeng Zeng, XueFeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang. 2118-2124 [doi]
- Integrated Anchor and Social Link Predictions across Social NetworksJiawei Zhang, Philip S. Yu. 2125-2132 [doi]
- Groupwise Registration of Aerial ImagesOgnjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh. 2133-2139 [doi]
- Heroic versus Collaborative AI for the ArtsMark d'Inverno, Jon McCormack. 2138-2444 [doi]
- Video Covariance Matrix Logarithm for Human Action Recognition in VideosPiotr Bilinski, François Brémond. 2140-2147 [doi]
- Modeling Inter- and Intra-Part Deformations for Object Structure ParsingLing Cai, Rongrong Ji, Wei Liu, Gang Hua. 2148-2154 [doi]
- Cross-View Projective Dictionary Learning for Person Re-IdentificationSheng Li, Ming Shao, Yun Fu. 2155-2161 [doi]
- Inferring Painting Style with Multi-Task Dictionary LearningGaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe. 2162-2168 [doi]
- Social Image Parsing by Cross-Modal Data RefinementZhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen. 2169-2175 [doi]
- Salient Object Detection via Augmented HypothesesTam Van Nguyen, Jose Sepulveda. 2176-2182 [doi]
- Adaptive Sharing for Image ClassificationLi Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu. 2183-2190 [doi]
- Face Clustering in Videos with Proportion PriorZhiQiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu. 2191-2197 [doi]
- Trailer Generation via a Point Process-Based Visual Attractiveness ModelHongteng Xu, Yi Zhen, Hongyuan Zha. 2198-2204 [doi]
- Generalized Transitive Distance with Minimum Spanning Random ForestZhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar. 2205-2211 [doi]
- Saliency Detection with a Deeper Investigation of Light FieldJun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu. 2212-2218 [doi]
- Semantic Single Video Segmentation with Robust Graph RepresentationHandong Zhao, Yun Fu. 2219-2226 [doi]
- Reasoning with StyleMartí Bosch, Pierre Genevès, Nabil Layaïda. 2227-2233 [doi]
- Semantic Concept Discovery for Large-Scale Zero-Shot Event DetectionXiaojun Chang, Yi Yang, Alexander G. Hauptmann, Eric P. Xing, Yaoliang Yu. 2234-2240 [doi]
- Raising Expectations in GDA Agents Acting in Dynamic EnvironmentsDustin Dannenhauer, Héctor Muñoz-Avila. 2241-2247 [doi]
- Scalable Graph Hashing with Feature TransformationQing-Yuan Jiang, Wu-Jun Li. 2248-2254 [doi]
- Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature ExtractionXiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yang-Ping Zhu, Songcan Chen. 2255-2261 [doi]
- Distance-Bounded Consistent Query AnsweringAndreas Pfandler, Emanuel Sallinger. 2262-2269 [doi]
- Short and Sparse Text Topic Modeling via Self-AggregationXiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan. 2270-2276 [doi]
- Personalized Sentiment Classification Based on Latent Individuality of Microblog UsersKaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong. 2277-2283 [doi]
- Online Learning to Rank for Content-Based Image RetrievalJi Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li. 2284-2290 [doi]
- Deep Multimodal Hashing with Orthogonal RegularizationDaixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu 0001. 2291-2297 [doi]
- Hamming Compatible Quantization for HashingZhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao. 2298-2304 [doi]
- Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification ModelTao Wu, Qifan Wang, Zhiwei Zhang, Luo Si. 2305-2312 [doi]
- Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral ClusteringDjallel Bouneffouf, Inanç Birol. 2313-2319 [doi]
- Tracking Political Elections on Social Media: Applications and ExperienceDanish Contractor, Bhupesh Chawda, Sameep Mehta, L. Venkata Subramaniam, Tanveer A. Faruquie. 2320-2326 [doi]
- Deep Learning for Event-Driven Stock PredictionXiao Ding, Yue Zhang, Ting Liu, Junwen Duan. 2327-2333 [doi]
- Large Scale Homophily Analysis in Twitter Using a TwixonomyStefano Faralli, Giovanni Stilo, Paola Velardi. 2334-2340 [doi]
- Interactive Gender Inference with Integer Linear ProgrammingShoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi. 2341-2347 [doi]
- Detecting Promotion Campaigns in Community Question AnsweringXin Li, Yiqun Liu, Min Zhang 0006, Shaoping Ma, Xuan Zhu, Jiashen Sun. 2348-2354 [doi]
- VRCA: A Clustering Algorithm for Massive Amount of TextsMing Liu, Lei Chen, Bingquan Liu, Xiaolong Wang. 2355-2361 [doi]
- Towards Domain-Specific Semantic Relatedness: A Case Study from GeographyShilad Sen, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent Hecht. 2362-2370 [doi]
- Interest Inference via Structure-Constrained Multi-Source Multi-Task LearningXuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua. 2371-2377 [doi]
- Unsupervised Sentiment Analysis for Social Media ImagesYilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li. 2378-2379 [doi]
- Re-Ranking Voting-Based Answers by Discarding User Behavior BiasesXiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang. 2380-2386 [doi]
- A Unified Probabilistic Model of User Activities and Relations on Social Networking SitesXiaofeng Yu, Junqing Xie, Shuai Wang. 2387-2393 [doi]
- Exploiting k-Degree Locality to Improve Overlapping Community DetectionHongyi Zhang, Michael R. Lyu, Irwin King. 2394-2400 [doi]
- Learning Geographical Hierarchy Features for Social Image Location PredictionXiaoming Zhang, Xia Hu, Zhoujun Li. 2401-2407 [doi]
- Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action PropagationYongfeng Zhang, Yunzhi Tan, Min Zhang 0006, Yiqun Liu, Tat-Seng Chua, Shaoping Ma. 2408-2414 [doi]
- Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy ModelingXingwei Zhu, Zhaoyan Ming, Yu Hao, Xiaoyan Zhu. 2415-2423 [doi]
- Artificial Intelligence in the ConcertgebouwAndreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer. 2424-2430 [doi]
- Kinetic Imaginations: Exploring the Possibilities of Combining AI and DanceAlexander Berman, Valencia James. 2431 [doi]
- Computational Invention of Cadences and Chord Progressions by Conceptual Chord-BlendingManfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger. 2445-2451 [doi]
- Slogans Are Not Forever: Adapting Linguistic Expressions to the NewsLorenzo Gatti, Gözde Özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava. 2452-2458 [doi]
- Pseudo-Supervised Training Improves Unsupervised Melody SegmentationStefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten. 2459-2465 [doi]
- Swarm Systems in the Visualization of Consumption PatternsCatarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado. 2466-2472 [doi]
- Evolving Ambiguous ImagesPenousal Machado, Adriano Vinhas, João Correia, Anikó Ekárt. 2473-2479 [doi]
- The Scaffolded Sound BeehiveAnneMarie Maes. 2480-2481 [doi]
- Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss ConstraintFrançois Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou. 2482-2488 [doi]
- Generating all Possible Palindromes from Ngram CorporaAlexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet. 2489-2495 [doi]
- Haiku Generator that Reads Blogs and Illustrates Them with Sounds and ImagesRafal Rzepka, Kenji Araki. 2496-2502 [doi]
- Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel?Andreza Sartori, Yan Yan, Gözde Özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe. 2503-2509 [doi]
- Aesthetic Visual Quality Evaluation of Chinese HandwritingsRongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao. 2510-2516 [doi]
- Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback LoopsJosep Valls-Vargas, Jichen Zhu, Santiago Ontañón. 2517-2523 [doi]
- Learning to Rap Battle with Bilingual Recursive Neural NetworksDekai Wu, Karteek Addanki. 2524-2530 [doi]
- Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement LearningNing Xie, Tingting Zhao, Feng Tian, Xiao-hua Zhang, Masashi Sugiyama. 2531-2539 [doi]
- Online Fair Division: Analysing a Food Bank ProblemMartin Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh. 2540-2546 [doi]
- A Personalised Thermal Comfort Model Using a Bayesian NetworkFrederik Auffenberg, Sebastian Stein, Alex Rogers. 2547-2553 [doi]
- Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic AnalysisSambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala. 2554-2560 [doi]
- Batch Reinforcement Learning for Smart Home Energy ManagementHeider Berlink, Anna H. R. Costa. 2561-2567 [doi]
- Reasoning about Connectivity ConstraintsChristian Bessière, Emmanuel Hebrard, George Katsirelos, Toby Walsh. 2568-2574 [doi]
- Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing DataXi C. Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar. 2575-2581 [doi]
- α-min: A Compact Approximate Solver For Finite-Horizon POMDPsYann Dujardin, Tom Dietterich, Iadine Chades. 2582-2588 [doi]
- When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal FishingFei Fang, Peter Stone, Milind Tambe. 2589-2595 [doi]
- Modeling Multi-Attribute Demand for Sustainable Cloud Computing with CopulaeMaryam Ghasemi, Benjamin Lubin. 2596-2602 [doi]
- On the Balance of Meter Deployment Cost and NILM AccuracyXiaohong Hao, Bangsheng Tang, Yongcai Wang. 2603-2609 [doi]
- Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity CostsKeiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga. 2610-2616 [doi]
- Secure Routing in Wireless Sensor Networks via POMDPsAthirai Aravazhi Irissappane, Jie Zhang, Frans A. Oliehoek, Partha Sarathi Dutta. 2617-2623 [doi]
- Approximately Stable Pricing for Coordinated Purchasing of ElectricityAndrew Perrault, Craig Boutilier. 2624-2631 [doi]
- Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording SegmentationJosé Francisco Ruiz-Muñoz, Mauricio Orozco-Alzate, Germán Castellanos-Domínguez. 2632-2638 [doi]
- Abstract Routing Models and Abstractions in the Context of Vehicle RoutingRené Schönfelder, Martin Leucker. 2639-2645 [doi]
- Copula Graphical Models for Wind Resource EstimationKalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly. 2646-2654 [doi]
- Fast Combinatorial Algorithm for Optimizing the Spread of CascadesXiaoJian Wu, Daniel Sheldon, Shlomo Zilberstein. 2655-2661 [doi]
- Optimal Electric Vehicle Charging Station PlacementYanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan. 2662-2668 [doi]
- A Crowdfunding Model for Green Energy InvestmentRonghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia P. Sycara. 2669-2676 [doi]
- A MaxSAT Algorithm Using Cardinality Constraints of Bounded SizeMario Alviano, Carmine Dodaro, Francesco Ricca. 2677-2683 [doi]
- Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming PerspectiveMario Alviano, Wolfgang Faber. 2684-2690 [doi]
- Combining Existential Rules and Description LogicsAntoine Amarilli, Michael Benedikt. 2691-2697 [doi]
- Bidirectional Constraints for Exchanging Data: Beyond Monotone QueriesMarcelo Arenas, Gabriel Diéguez, Jorge Pérez 0001. 2698-2705 [doi]
- First-Order Rewritability of Temporal Ontology-Mediated QueriesAlessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. 2706-2712 [doi]
- Multi-Agent Only Knowing on Planet KripkeGuillaume Aucher, Vaishak Belle. 2713-2719 [doi]
- Combining Existential Rules and Transitivity: Next StepsJean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher. 2720-2726 [doi]
- Dealing with Generic Contrariness in Structured ArgumentationPietro Baroni, Massimiliano Giacomin, Beishui Liao. 2727-2733 [doi]
- AGM Meets Abstract Argumentation: Expansion and Revision for Dung FrameworksRingo Baumann, Gerhard Brewka. 2734-2740 [doi]
- Answer Update for Rule-Based Stream ReasoningHarald Beck, Minh Dao-Tran, Thomas Eiter. 2741-2747 [doi]
- Epistemic Quantified Boolean Logic: Expressiveness and Completeness ResultsFrancesco Belardinelli, Wiebe van der Hoek. 2748-2754 [doi]
- Only Knowing Meets Common KnowledgeVaishak Belle, Gerhard Lakemeyer. 2755-2761 [doi]
- ALLEGRO: Belief-Based Programming in Stochastic Dynamical DomainsVaishak Belle, Hector J. Levesque. 2762-2769 [doi]
- Probabilistic Inference in Hybrid Domains by Weighted Model IntegrationVaishak Belle, Andrea Passerini, Guy Van den Broeck. 2770-2776 [doi]
- Compatible-Based Conditioning in Interval-Based Possibilistic LogicSalem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich. 2777-2783 [doi]
- Partial Grounded FixpointsBart Bogaerts 0001, Joost Vennekens, Marc Denecker. 2784-2790 [doi]
- Complexity Results in Epistemic PlanningThomas Bolander, Martin Holm Jensen, François Schwarzentruber. 2791-2797 [doi]
- Policies that Generalize: Solving Many Planning Problems with the Same PolicyBlai Bonet, Hector Geffner. 2798-2804 [doi]
- On the Entailment Problem for a Logic of TypicalityRichard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak. 2805-2811 [doi]
- The Complexity of Subsumption in Fuzzy ELStefan Borgwardt, Marco Cerami, Rafael Peñaloza. 2812-2818 [doi]
- Temporal Query Answering in the Description Logic ELStefan Borgwardt, Veronika Thost. 2819-2825 [doi]
- Reasonable Highly Expressive Query Languages - IJCAI-15 Distinguished Paper (Honorary Mention)Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph. 2826-2832 [doi]
- Logic Program Termination Analysis Using Atom SizesMarco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna. 2833-2839 [doi]
- On the Undecidability of the Situation Calculus Extended with Description Logic OntologiesDiego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski. 2840-2846 [doi]
- Verification of Generalized Inconsistency-Aware Knowledge and Action BasesDiego Calvanese, Marco Montali, Ario Santoso. 2847-2853 [doi]
- Probabilistic Belief Contraction Using ArgumentationKinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar. 2854-2860 [doi]
- Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference DistributionsArthur Choi, Guy Van den Broeck, Adnan Darwiche. 2861-2868 [doi]
- An Algebra of Granular Temporal Relations for Qualitative ReasoningQuentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau. 2869-2875 [doi]
- Extension Enforcement in Abstract Argumentation as an Optimization ProblemSylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis. 2876-2882 [doi]
- Controlled Query Evaluation for Datalog and OWL 2 Profile OntologiesBernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov. 2883-2889 [doi]
- Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic LogicSofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock. 2890-2896 [doi]
- Fixed-Parameter Tractable Reductions to SAT for PlanningRonald de Haan, Martin Kronegger, Andreas Pfandler. 2897-2903 [doi]
- The Logic of Qualitative ProbabilityJames P. Delgrande, Bryan Renne. 2904-2910 [doi]
- On the Aggregation of Argumentation FrameworksJérôme Delobelle, Sébastien Konieczny, Srdjan Vesic. 2911-2917 [doi]
- Combining Existential Rules with the Power of CP-TheoriesTommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martínez, Gerardo I. Simari, Oana Tifrea-Marciuska. 2918-2925 [doi]
- An Extension-Based Approach to Belief Revision in Abstract ArgumentationMartin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran. 2926-2932 [doi]
- The Cube of Opposition: A Structure Underlying Many Knowledge Representation FormalismsDidier Dubois, Henri Prade, Agnès Rico. 2933-2939 [doi]
- Modular Systems with PreferencesAlireza Ensan, Eugenia Ternovska. 2940-2947 [doi]
- A Logic for Reasoning about Justified Uncertain BeliefsTuan-Fang Fan, Churn-Jung Liau. 2948-2954 [doi]
- On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation CalculusLiangda Fang, Yongmei Liu, Ximing Wen. 2955-2963 [doi]
- Epistemic Equilibrium LogicLuis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su. 2964-2970 [doi]
- The Combined Approach to Query Answering Beyond the OWL 2 ProfilesCristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks. 2971-2977 [doi]
- Computing Social Behaviours Using Agent ModelsPaolo Felli, Tim Miller, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg. 2978-2984 [doi]
- On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical FrameworksSarah Alice Gaggl, Sebastian Rudolph, Hannes Strass. 2985-2991 [doi]
- Polynomial Rewritings for Linear Existential RulesGeorg Gottlob, Marco Manna, Andreas Pieris. 2992-2998 [doi]
- Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the RescueGeorg Gottlob, Andreas Pieris. 2999-3007 [doi]
- Group Decision Making via Weighted Propositional Logic: Complexity and Islands of TractabilityGianluigi Greco, Jérôme Lang. 3008-3014 [doi]
- Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxesVíctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002. 3015-3021 [doi]
- A Modification of the Halpern-Pearl Definition of CausalityJoseph Y. Halpern. 3022-3033 [doi]
- Efficient Query Rewriting in the Description Logic EL and BeyondPeter Hansen 0002, Carsten Lutz, Inanç Seylan, Frank Wolter. 3034-3040 [doi]
- Merging in the Horn FragmentAdrian Haret, Stefan Rümmele, Stefan Woltran. 3041-3047 [doi]
- Schema.org as a Description LogicAndré Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter. 3048-3054 [doi]
- Modelling the Persuadee in Asymmetric Argumentation Dialogues for PersuasionAnthony Hunter. 3055-3061 [doi]
- Trust-Sensitive Belief RevisionAaron Hunter, Richard Booth. 3062-3068 [doi]
- Simplifying A Logic Program Using Its ConsequencesJianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan. 3069-3075 [doi]
- On Forgetting Postulates in Answer Set ProgrammingJianmin Ji, Jia-Huai You, Yisong Wang. 3076-3083 [doi]
- Efficient Semantic Features for Automated Reasoning over Large TheoriesCezary Kaliszyk, Josef Urban, Jirí Vyskocil. 3084-3090 [doi]
- Computing Horn Rewritings of Description Logics OntologiesMark Kaminski, Bernardo Cuenca Grau. 3091-3097 [doi]
- Efficient Paraconsistent Reasoning with Ontologies and RulesTobias Kaminski, Matthias Knorr, João Leite. 3098-3105 [doi]
- Query Rewriting for Existential Rules with Compiled PreorderMélanie König, Michel Leclère, Marie-Laure Mugnier. 3106-3112 [doi]
- Automatic Verification of Partial Correctness of Golog ProgramsNaiqi Li, Yongmei Liu. 3113-3119 [doi]
- Ontology-Mediated Queries with Closed PredicatesCarsten Lutz, Inanç Seylan, Frank Wolter. 3120-3126 [doi]
- Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with EqualityBoris Motik, Yavor Nenov, Robert Piro, Ian Horrocks. 3127-3133 [doi]
- Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of DependenceMehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier. 3134-3140 [doi]
- A Top-Down Compiler for Sentential Decision DiagramsUmut Oztok, Adnan Darwiche. 3141-3148 [doi]
- On the Parameterized Complexity of Belief RevisionAndreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran. 3149-3155 [doi]
- Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency MeasuresNico Potyka, Matthias Thimm. 3156-3163 [doi]
- Did You Know? - Mining Interesting Trivia for Entities from WikipediaAbhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg. 3164-3170 [doi]
- Realizability of Three-Valued Semantics for Abstract Dialectical FrameworksJörg Pührer. 3171-3177 [doi]
- Execution Monitoring as Meta-Games for General Game-Playing RobotsDavid Rajaratnam, Michael Thielscher. 3178-3185 [doi]
- Membership Constraints in Formal Concept AnalysisSebastian Rudolph, Christian Sacarea, Diana Troanca. 3186-3192 [doi]
- Characterization of the Expressivity of Existential Rule QueriesSebastian Rudolph, Michaël Thomazo. 3193-3199 [doi]
- Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic SynthesisSebastian Sardiña, Nicolás D'Ippolito. 3200-3206 [doi]
- Qualitative Reasoning about Directions in Semantic SpacesSteven Schockaert, Jae Hee Lee. 3207-3213 [doi]
- Belief Revision and Progression of Knowledge Bases in the Epistemic Situation CalculusChristoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco. 3214-3220 [doi]
- MergeXplain: Fast Computation of Multiple Conflicts for DiagnosisKostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz. 3221-3228 [doi]
- Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial NetworksMichael Sioutis, Sanjiang Li, Jean-François Condotta. 3229-3235 [doi]
- Characterizability in Belief RevisionGyörgy Turán, Jon Yaggie. 3236-3242 [doi]
- Efficiently Finding Conditional Instruments for Causal InferenceBenito van der Zander, Johannes Textor, Maciej Liskiewicz. 3243-3249 [doi]
- AGM Revision of Beliefs about Action and TimeMarc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre. 3250-3256 [doi]
- A Complete Epistemic Planner without the Epistemic Closed World AssumptionHai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu. 3257-3263 [doi]
- Query Understanding through Knowledge-Based ConceptualizationZhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen. 3264-3270 [doi]
- Computation and Complexity of Preference Inference Based on Hierarchical ModelsNic Wilson, Anne-Marie George, Barry O'Sullivan. 3271-3277 [doi]
- Verification of Knowledge-Based Programs over Description Logic ActionsBenjamin Zarrieß, Jens Claßen. 3278-3284 [doi]
- Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and BeyondHaodi Zhang, Fangzhen Lin. 3285-3291 [doi]
- First-Order Disjunctive Logic Programming vs Normal Logic ProgrammingYi Zhou. 3292-3298 [doi]
- Extending AGM Contraction to Arbitrary LogicsZhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande. 3299-3307 [doi]
- Learning Regular Languages via Alternating AutomataDana Angluin, Sarah Eisenstat, Dana Fisman. 3308-3314 [doi]
- Maximum Entropy Semi-Supervised Inverse Reinforcement LearningJulien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh. 3315-3321 [doi]
- A Graph Kernel Based on the Jensen-Shannon Representation AlignmentLu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai 0001, Edwin R. Hancock. 3322-3328 [doi]
- An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From DataAndré da Motta Salles Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup. 3329-3336 [doi]
- Count-Based Frequency Estimation with Bounded MemoryMarc G. Bellemare. 3337-3344 [doi]
- Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement LearningHaitham Bou-Ammar, Eric Eaton, José-Marcio Luna, Paul Ruvolo. 3345-3351 [doi]
- Reinforcement Learning from Demonstration through ShapingTim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé. 3352-3358 [doi]
- Compressed Spectral Regression for Efficient Nonlinear Dimensionality ReductionDeng Cai. 3359-3365 [doi]
- Policy Shaping with Human TeachersThomas Cederborg, Ishaan Grover, Charles L. Isbell, Andrea Lockerd Thomaz. 3366-3372 [doi]
- A Space Alignment Method for Cold-Start TV Show RecommendationsShiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas S. Huang. 3373-3379 [doi]
- Direct Policy Iteration with DemonstrationsJessica Chemali, Alessandro Lazaric. 3380-3386 [doi]
- Model Metric Co-Learning for Time Series ClassificationHuanhuan Chen, Fengzhen Tang, Peter Tiño, Anthony G. Cohn, Xin Yao. 3387-3394 [doi]
- Training-Efficient Feature Map for Shift-Invariant KernelsXixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu. 3395-3401 [doi]
- Mirror Representation for Modeling View-Specific Transform in Person Re-IdentificationYing-Cong Chen, Wei-Shi Zheng, Jianhuang Lai. 3402-3408 [doi]
- Efficient Generalized Conditional Gradient with Gradient Sliding for Composite OptimizationYiu-ming Cheung, Jian Lou. 3409-3415 [doi]
- Robust Learning for Repeated Stochastic Games via Meta-GamingJacob W. Crandall. 3416-3422 [doi]
- Learning Efficient Logical Robot Strategies Involving Composable ObjectsAndrew Cropper, Stephen H. Muggleton. 3423-3429 [doi]
- Optimal Bayesian Hashing for Efficient Face RecognitionQi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang. 3430-3437 [doi]
- Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative InformationCheng Deng, Zongting Lv, Wei Liu, JunZhou Huang, Dacheng Tao, Xinbo Gao. 3438-3444 [doi]
- Intersecting Manifolds: Detection, Segmentation, and LabelingShay Deutsch, Gérard G. Medioni. 3445-3452 [doi]
- Deep Low-Rank Coding for Transfer LearningZhengming Ding, Ming Shao, Yun Fu. 3453-3459 [doi]
- Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning CurvesTobias Domhan, Jost Tobias Springenberg, Frank Hutter. 3460-3468 [doi]
- Topic Modeling with Document Relative SimilaritiesJianguang Du, Jing Jiang, Dandan Song, Lejian Liao. 3469-3475 [doi]
- Robust Multiple Kernel K-means Using L21-NormLiang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen. 3476-3482 [doi]
- Crowdsourced Semantic Matching of Multi-Label AnnotationsLei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato. 3483-3489 [doi]
- Random Feature Mapping with Signed Circulant Matrix ProjectionChang Feng, Qinghua Hu, Shizhong Liao. 3490-3496 [doi]
- Quiet: Faster Belief Propagation for Images and Related ApplicationsYasuhiro Fujiwara, Dennis Shasha. 3497-3503 [doi]
- Potential Based Reward Shaping for Hierarchical Reinforcement LearningYang Gao, Francesca Toni. 3504-3510 [doi]
- Pre-release Prediction of Crowd Opinion on Movies by Label Distribution LearningXin Geng, Peng Hou. 3511-3517 [doi]
- Multitask Coactive LearningRobby Goetschalckx, Alan Fern, Prasad Tadepalli. 3518-3524 [doi]
- Multi-Label Structure Learning with Ising Model SelectionAndré Ricardo Gonçalves, Fernando J. Von Zuben, Arindam Banerjee. 3525-3531 [doi]
- Bi-Parameter Space Partition for Cost-Sensitive SVMBin Gu, Victor S. Sheng, Shuo Li. 3532-3539 [doi]
- Online Robust Low Rank Matrix RecoveryXiaojie Guo. 3540-3546 [doi]
- Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity MatrixXiaojie Guo. 3547-3553 [doi]
- Active Imitation Learning of Hierarchical PoliciesMandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern. 3554-3560 [doi]
- Identification of Time-Dependent Causal Model: A Gaussian Process TreatmentBiwei Huang, Kun Zhang, Bernhard Schölkopf. 3561-3568 [doi]
- A New Simplex Sparse Learning Model to Measure Data Similarity for ClusteringJin Huang, Feiping Nie, Heng Huang. 3569-3575 [doi]
- Scalable Gaussian Process Regression Using Deep Neural NetworksWen-bing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Y. Chang. 3576-3582 [doi]
- Training-Time Optimization of a Budgeted BoosterYi Huang, Brian Powers, Lev Reyzin. 3583-3589 [doi]
- Robust Dictionary Learning with Capped l1-NormWenhao Jiang, Feiping Nie, Heng Huang. 3590-3596 [doi]
- Fast Cross-Validation for Incremental LearningPooria Joulani, András György, Csaba Szepesvári. 3597-3604 [doi]
- Bayesian Active Learning for Posterior Estimation - IJCAI-15 Distinguished PaperKirthevasan Kandasamy, Jeff G. Schneider, Barnabás Póczos. 3605-3611 [doi]
- Collaborative Place ModelsBerk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara. 3612-3618 [doi]
- Symbol Acquisition for Probabilistic High-Level PlanningGeorge Konidaris, Leslie Pack Kaelbling, Tomás Lozano-Pérez. 3619-3627 [doi]
- Data Sparseness in Linear SVMXiang Li, Huaimin Wang, Bin Gu, Charles X. Ling. 3628-3634 [doi]
- Multi-Label Classification with Feature-Aware Non-Linear Label Space TransformationXin Li 0013, Yuhong Guo. 3635-3642 [doi]
- Multi-Task Model and Feature Joint LearningYa Li, Xinmei Tian, Tongliang Liu, Dacheng Tao. 3643-3649 [doi]
- Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization PerspectiveYitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen. 3650-3656 [doi]
- Mixed Error Coding for Face Recognition with Mixed OcclusionsRonghua Liang, Xiao-Xin Li. 3657-3663 [doi]
- Density Corrected Sparse Recovery when R.I.P. Condition Is BrokenMing Lin, Zhen-zhong Lan, Alexander G. Hauptmann. 3664-3670 [doi]
- Regularizing Flat Latent Variables with Hierarchical StructuresRongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge. 3671-3677 [doi]
- Robust Kernel Dictionary Learning Using a Whole Sequence Convergent AlgorithmHuaping Liu, Jie Qin, Hong Cheng, Fuchun Sun. 3678-3684 [doi]
- Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event SequencesDixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang 0001. 3685-3691 [doi]
- Between Imitation and Intention LearningJames MacGlashan, Michael L. Littman. 3692-3698 [doi]
- Optimizing Locally Linear Classifiers with Supervised Anchor Point LearningXue Mao, Zhouyu Fu, Ou Wu, Weiming Hu. 3699-3706 [doi]
- Using A* for Inference in Probabilistic Classifier ChainsDeiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz. 3707-3713 [doi]
- Introspective ForecastingLoizos Michael. 3714-3720 [doi]
- EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene DetectionAdway Mitra, Chiranjib Bhattacharyya, Soma Biswas. 3721-3727 [doi]
- Image Feature Learning for Cold Start Problem in Display AdvertisingKaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang. 3728-3734 [doi]
- Inverse Reinforcement Learning in Relational DomainsThibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes. 3735-3741 [doi]
- On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan SchedulingFrank Neumann, Carsten Witt. 3742-3748 [doi]
- Weakly Supervised Matrix Factorization for Noisily Tagged Image ParsingYulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen. 3749-3755 [doi]
- Graph Invariant KernelsFrancesco Orsini, Paolo Frasconi, Luc De Raedt. 3756-3762 [doi]
- EigenGP: Gaussian Process Models with Adaptive EigenfunctionsHao Peng, Yuan Qi. 3763-3769 [doi]
- Scalable Probabilistic Tensor Factorization for Binary and Count DataPiyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin. 3770-3776 [doi]
- Nonparametric Independence Testing for Small Sample SizesAaditya Ramdas, Leila Wehbe. 3777-3783 [doi]
- Data Compression for Learning MRF ParametersKhaled S. Refaat, Adnan Darwiche. 3784-3790 [doi]
- Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive LearningSai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran. 3791-3797 [doi]
- Deep Linear Coding for Fast Graph ClusteringMing Shao, Sheng Li, Zhengming Ding, Yun Fu. 3798-3804 [doi]
- Semi-Orthogonal Multilinear PCA with Relaxed StartQiquan Shi, Haiping Lu. 3805-3811 [doi]
- A Geometric Theory of Feature Selection and Distance-Based MeasuresKilho Shin, Adrian Pino Angulo. 3812-3819 [doi]
- Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling ApproachYangqiu Song, Shusen Wang, Haixun Wang. 3820-3826 [doi]
- Equivalence Results between Feedforward and Recurrent Neural Networks for SequencesAlessandro Sperduti. 3827-3833 [doi]
- Polytree-Augmented Classifier Chains for Multi-Label ClassificationLu Sun, Mineichi Kudo. 3834-3840 [doi]
- Sketch the Storyline with CHARCOAL: A Non-Parametric ApproachSiliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang. 3841-3848 [doi]
- Convergence of Common Proximal Methods for L1-Regularized Least SquaresShaozhe Tao, Daniel Boley, Shuzhong Zhang. 3849-3855 [doi]
- Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision ProcessesNicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan. 3856-3864 [doi]
- Online Learning of k-CNF Boolean FunctionsJoel Veness, Marcus Hutter, Laurent Orseau, Marc G. Bellemare. 3865-3873 [doi]
- Feature Selection from Microarray Data via an Ordered Search with Projected MarginSaulo Moraes Villla, Saul de Castro Leite, Raul Fonseca Neto. 3874-3881 [doi]
- Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar RelationsChenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang. 3882-3889 [doi]
- Semantic Topic Multimodal Hashing for Cross-Media RetrievalDi Wang, Xinbo Gao, Xiumei Wang, Lihuo He. 3890-3896 [doi]
- An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector MachinesDi Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye. 3897-3903 [doi]
- Learning to Hash on Partial Multi-Modal DataQifan Wang, Luo Si, Bin Shen. 3904-3910 [doi]
- Ranking Preserving Hashing for Fast Similarity SearchQifan Wang, Zhiwei Zhang, Luo Si. 3911-3917 [doi]
- A Soft Version of Predicate Invention Based on Structured SparsityWilliam Yang Wang, Kathryn Mazaitis, William W. Cohen. 3918-3924 [doi]
- Discriminative Unsupervised Dimensionality ReductionXiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang. 3925-3931 [doi]
- A Joint Optimization Framework of Sparse Coding and Discriminative ClusteringZhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S. Huang. 3932-3938 [doi]
- Imaging Time-Series to Improve Classification and ImputationZhiguang Wang, Tim Oates. 3939-3945 [doi]
- Quantized Correlation Hashing for Fast Cross-Modal SearchBotong Wu, Qiang Yang 0010, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang. 3946-3952 [doi]
- Multi-Graph-View Learning for Complicated Object ClassificationJia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang. 3953-3959 [doi]
- Thompson Sampling for Budgeted Multi-Armed BanditsYingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu. 3960-3966 [doi]
- Perception Evolution Network Adapting to the Emergence of New Sensory ReceptorYoulu Xing, Furao Shen, Jinxi Zhao. 3967-3973 [doi]
- Multi-view Self-Paced Learning for ClusteringChang Xu, Dacheng Tao, Chao Xu. 3974-3980 [doi]
- Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating ComparisonJingwei Xu, Yuan Yao, Hanghang Tong, XianPing Tao, Jian Lu. 3981-3987 [doi]
- Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace SearchYan Yan, Mingkui Tan, Ivor W. Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi. 3988-3994 [doi]
- Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity RecognitionJianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiaoli Li, Shonali Krishnaswamy. 3995-4001 [doi]
- Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix CompletionQuanming Yao, T. Kwok James. 4002-4008 [doi]
- Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov ModelsChao Yuan. 4009-4016 [doi]
- Matrix Factorization with Scale-Invariant ParametersGuangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang. 4017-4024 [doi]
- A Direct Boosting Approach for Semi-supervised ClassificationShaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang. 4025-4032 [doi]
- Increasingly Cautious Optimism for Practical PAC-MDP ExplorationLiangpeng Zhang, Ke Tang, Xin Yao. 4033-4040 [doi]
- Towards Class-Imbalance Aware Multi-Label LearningMin-Ling Zhang, Yu-Kun Li, Xu-Ying Liu. 4041-4047 [doi]
- Solving the Partial Label Learning Problem: An Instance-Based ApproachMin-Ling Zhang, Fei Yu. 4048-4054 [doi]
- Multi-Task Multi-View Clustering for Non-Negative DataXianchao Zhang, Xiaotong Zhang, Han Liu. 4055-4061 [doi]
- Semi-Supervised Multi-Label Learning with Incomplete LabelsFeipeng Zhao, Yuhong Guo. 4062-4068 [doi]
- Self-Adaptive Hierarchical Sentence ModelHan Zhao, Zhengdong Lu, Pascal Poupart. 4069-4076 [doi]
- Dual-Regularized Multi-View Outlier DetectionHandong Zhao, Yun Fu. 4077-4083 [doi]
- Mobile Query Recommendation via Tensor Function LearningZhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang. 4084-4090 [doi]
- Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable ClustersXiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka. 4091-4097 [doi]
- MUVIR: Multi-View Rare Category DetectionDawei Zhou, Jingrui He, K. Seluk Candan, Hasan Davulcu. 4098-4104 [doi]
- Recovery of Corrupted Multiple Kernels for ClusteringPeng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen. 4105-4111 [doi]
- Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence MinimizationPeng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen. 4112-4118 [doi]
- Supervised Representation Learning: Transfer Learning with Deep AutoencodersFuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He. 4119-4125 [doi]
- Adaptive Dropout Rates for Learning with Corrupted FeaturesJingwei Zhuo, Jun Zhu, Bo Zhang. 4126-4133 [doi]
- Evolving Families of ShapesFilipe Assunção, João Correia, Pedro Martins, Penousal Machado. 4134-4135 [doi]
- Max Order: A Tale of CreativityFiammetta Ghedini, François Pachet, Pierre Roy. 4136-4137 [doi]
- Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music GenerationQi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng. 4138-4139 [doi]
- Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song RecordingsMathieu Ramona, Giordano Cabral, François Pachet. 4140-4142 [doi]
- Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti. 4143-4147 [doi]
- The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract)Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling. 4148-4152 [doi]
- Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract)Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen. 4153-4187 [doi]
- Data Complexity of Query Answering in Description Logics (Extended Abstract)Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. 4163-4167 [doi]
- Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)Karthik Dinakar, Rosalind W. Picard, Henry Lieberman. 4168-4172 [doi]
- Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran. 4173-4177 [doi]
- The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract)Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra. 4178-4182 [doi]
- kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract)Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave. 4183-4187 [doi]
- Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract)Micah Hodosh, Peter Young, Julia Hockenmaier. 4188-4192 [doi]
- Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract)Cristina Bosco, Viviana Patti, Andrea Bolioli. 4188 [doi]
- Measuring and Recommending Time-Sensitive Routes from Location-based DataHsun-Ping Hsieh, Cheng-Te Li, Shou-de Lin. 4193-4196 [doi]
- Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract)Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown. 4197-4201 [doi]
- Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract)Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi. 4202-4206 [doi]
- Norms as a Basis for Governing Sociotechnical Systems: Extended AbstractMunindar P. Singh. 4207-4211 [doi]
- Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended AbstractYale Song, Randall Davis. 4212-4216 [doi]
- On the Testability of BDI Agent Systems (Extended Abstract)Michael Winikoff, Stephen Cranefield. 4217-4221 [doi]
- Inapproximability of Treewidth and Related Problems (Extended Abstract)Yu Wu, Per Austrin, Toniann Pitassi, David Liu. 4222-4228 [doi]
- Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract)Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria. 4229-4233 [doi]
- Using Social Media to Enhance Emergency Situation Awareness: Extended AbstractJie Yin, Sarvnaz Karimi, Andrew Lampert, Mark A. Cameron, Bella Robinson, Robert Power. 4234-4239 [doi]
- When Are Description Logic Knowledge Bases Indistinguishable?Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. 4240-4246 [doi]
- Description Logic Based Dynamic Systems: Modeling, Verification, and SynthesisDiego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo. 4247-4253 [doi]
- Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract)Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet. 4254-4260 [doi]
- Trust-Guided Behavior Adaptation Using Case-Based ReasoningMichael W. Floyd, Michael Drinkwater, David W. Aha. 4261-4267 [doi]
- Adapting to User Preference Changes in Interactive RecommendationNegar Hariri, Bamshad Mobasher, Robin Burke. 4268-4274 [doi]
- Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial AuctionsPiotr Krysta, Orestis Telelis, Carmine Ventre. 4275-4281 [doi]
- How to Define Certain AnswersLeonid Libkin. 4282-4288 [doi]
- Firefly Monte Carlo: Exact MCMC with Subsets of DataDougal Maclaurin, Ryan Prescott Adams. 4289-4295 [doi]
- Matching and Grokking: Approaches to Personalized CrowdsourcingPeter Organisciak, Jaime Teevan, Susan T. Dumais, Robert C. Miller, Adam Tauman Kalai. 4296-4302 [doi]
- Heuristics for Cost-Optimal Classical Planning Based on Linear ProgrammingFlorian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet. 4303-4309 [doi]
- Reasoning with Probabilistic OntologiesFabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese. 4310-4316 [doi]
- Examples and Tutored Problems: Adaptive Support Using Assistance ScoresAmir Shareghi Najar, Antonija Mitrovic, Bruce M. McLaren. 4317-4323 [doi]
- Max Is More than Min: Solving Maximization Problems with Heuristic SearchRoni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml. 4324-4330 [doi]
- Speedy versus Greedy SearchChristopher Makoto Wilt, Wheeler Ruml. 4331-4338 [doi]
- Online Fair DivisionMartin Aleksandrov. 4339-4340 [doi]
- Expressive Rule-Based Stream ReasoningHarald Beck. 4341-4342 [doi]
- Graph Construction for Semi-Supervised LearningLilian Berton, Alneu de Andrade Lopes. 4343-4344 [doi]
- Stochastic Density Ratio Estimation and Its Application to Feature SelectionIgor Braga. 4345-4346 [doi]
- Encoding and Combining Knowledge to Speed up Reinforcement LearningTim Brys. 4347-4348 [doi]
- A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based SystemsJoel Luis Carbonera, Mara Abel. 4349-4350 [doi]
- Distribution of UCT and Its RamificationsMarc Yu-San Chee. 4351-4352 [doi]
- A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale GraphsAlejandro Corbellini. 4353-4354 [doi]
- Models for Conditional Preferences as extensions of CP-netsCristina Cornelio. 4355-4356 [doi]
- Information Extraction of Texts in the Biomedical DomainViviana Cotik. 4357-4358 [doi]
- Learning Efficient Logic ProgramsAndrew Cropper. 4359-4360 [doi]
- RoTuEl: A Semi-Automated Method for Labeling Political TweetsWilton de Paula Filho, Ana Cristina Bicharra Garcia. 4361-4362 [doi]
- Bipartite Graph for Topic ExtractionThiago de Paulo Faleiros, Alneu de Andrade Lopes. 4363-4364 [doi]
- Statistical Relational Learning Towards Modelling Social Media UsersGolnoosh Farnadi. 4365-4366 [doi]
- On the Static Analysis for SPARQL Queries Using Modal LogicNicola Guido. 4367-4368 [doi]
- Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent SystemsAthirai Aravazhi Irissappane. 4369-4370 [doi]
- Artificial Prediction Markets for Online PredictionFatemeh Jahedpari. 4371-4372 [doi]
- Multi-Robot Exploration with Communication RestrictionsElizabeth A. Jensen. 4373-4374 [doi]
- Diagnosis of Technical SystemsRoxane Koitz, Franz Wotawa. 4375-4376 [doi]
- Abstract Argumentation Frameworks - From Theoretical Insights to Practical ImplicationsThomas Linsbichler. 4377-4378 [doi]
- Flexible Scheduling for an Agile Earth-Observing SatellliteAdrien Maillard. 4379-4380 [doi]
- Towards More Practical Reinforcement LearningTravis Mandel. 4381-4382 [doi]
- Using Small Humanoid Robots to Detect Autism in ToddlersMarie D. Manner. 4383-4384 [doi]
- Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological InformationYoko Nakajima. 4385-4386 [doi]
- Advances in Nonparametric Hypothesis TestingAaditya Ramdas. 4387-4388 [doi]
- Efficient Methods for Multi-Objective Decision-Theoretic PlanningDiederik Marijn Roijers. 4389-4390 [doi]
- Automated Agents for Advice ProvisionAriel Rosenfeld. 4391-4392 [doi]
- Dynamic Execution of Temporal Plans with Sensing Actions and Bounded RiskPedro Henrique Santana, Brian Charles Williams. 4393-4394 [doi]
- An Intelligent and Unified Framework for Multiple Robot and Human Coalition FormationSayan D. Sen. 4395-4396 [doi]
- Normative Practical Reasoning: An Argumentation-Based Approach