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 ApproachZohreh Shams. 4397-4398 [doi]
- Unleashing the Power of Multi-Agent Voting TeamsLeandro Soriano Marcolino. 4399-4400 [doi]
- Feature Selection for Multi-Label LearningNewton Spolaôr, Maria Carolina Monard, Huei Diana Lee. 4401-4402 [doi]
- Rational Architecture = Architecture from a Recommender PerspectiveMarc van Zee. 4403-4404 [doi]
- Quantifying and Improving the Robustness of Trust SystemsDongxia Wang. 4405-4406 [doi]
- The Spatio-Temporal Representation of Natural ReadingLeila Wehbe. 4407-4408 [doi]
- Approximate Algorithms for Stochastic Network DesignXiaoJian Wu. 4409-4410 [doi]
- Inference and Learning for Probabilistic Description LogicsRiccardo Zese. 4411-4412 [doi]
- Improvements of Symmetry Breaking During SearchZichen Zhu. 4413-4415 [doi]
- Activity-Based Scheduling of Science Campaigns for the Rosetta OrbiterSteve A. Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers. 4416-4422 [doi]
- CoBots: Robust Symbiotic Autonomous Mobile Service RobotsManuela M. Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal. 4423 [doi]