Main Track

Paper ID: 10 - Impartial Peer Review
David Kurokawa (Carnegie Mellon University), Omer Lev(Hebrew University)  Jamie  Morgenstern(Carnegie Mellon University), Ariel D. Procaccia (Carnegie Mellon University)

Paper ID: 13 - Salient Object Detection via Augmented Hypotheses
Nguyen Tam (Singapore Polytechnic)

Paper ID: 17 - Detecting Promotion Campaigns in Community Question Answering
Xin Li (Tsinghua University), Shaoping Ma (Tsinghua University), Xuan Zhu (Samsung R&D Institute China - Beijing), Jiashen Sun (Samsung R&D Institute China - Beijing)

Paper ID: 20 - User Modeling with Neural Network for Review Rating Prediction
Duyu Tang (Harbin Institute of Techonology), Bing  Qin(Harbin Institute of Technology),  Ting  Liu(Harbin Institute of Technology)

Paper ID: 25 - Distance-Bounded Consistent Query Answering
Andreas Pfandler (Vienna University of Technology), Emanuel  Sallinger(Vienna University of Technology)

Paper ID: 35 - Possible and Necessary Allocations via Sequential Mechanisms
Haris Aziz (NICTA and UNSW), Toby  Walsh (NICTA and the University of New South Wales);  Lirong  Xia (Rensselaer Polytechnic Institute); 

Paper ID:38 - Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation
Minh Luan Nguyen(Institute for Infocomm Research, Singapore); Siu Cheung Hui; Alvis C. M. Fong;

Paper ID: 40 - Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection
Chang  Xiaojun(The University of Queensland);  Yi  Yang(University of Queensland,);  Eric  Xing(Carnegie Mellon University);  Alexander  Hauptmann;  Yaoliang  Yu(Carnegie Mellon University);

Paper ID: 49 - Re-Ranking Voting-Based Answers by Discarding User Behavior Biases
Xiaochi Wei (Beijing Institute of Technology), Xin Xin (Beijing Institute of Technology), Xianling Mao (Beijing Institute of Technology)

Paper ID: 51 - Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation
Yaming Sun (Harbin Institute of Technology), Zhenzhou Ji , Xiaolong Wang (Harbin Institute of Technology Shenzhen Schoo)

Paper ID: 52 - A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data
Guangyou Zhou (Chinese Academy of Sciences), JUN  ZHAO (Chinese Academy of Sciences);  XIAO  MIAO (Temple University)

Paper ID: 57 - Efficient, Private, and epsilon-Strategyproof Elicitation of Tournament Voting Rules
Lee David (Stanford University),

Paper ID: 61 - Weakly Supervised RBM for Semantic Segmentation
Yong Li (NLPR, CASIA), Jing  Liu;  Yuhang  Wang, Lu Han Qing (University of Chinese Academy of Sciences)

Paper ID: 63 - Character-based Parsing with Convolutional Neural Network
Zheng Xiaoqing (Fudan University), Haoyuan  Peng;  Yi  Chen (None); 

Paper ID: 67 - Generalizing the single-crossing property on lines and trees to intermediate preferences on median graphs
Adam D Clearwater (The University of Auckland), Clemens  Puppe;  Arkadii  Slinko(The University of Auckland)

Paper ID: 74 - Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering
Djallel Bouneffouf (BC Cancer Agency), Inanc Birol (BC Cancer Agency)

Paper ID: 75 - Recursive Decomposition for Nonconvex Optimization
Abram Friesen (University of Washington), Pedro  Domingos(University of Washington)

Paper ID: 81 - A Fast Local Search for Mnimum Vertex Cover in Massive Graphs
Shaowei Cai (Chinese Academy of Sciences)

Paper ID: 93 - Generalized Rapid Action Value Estimation
Tristan Cazenave (LAMSADE Universite Paris-Dauphine)

Paper ID: 99 - The Adjusted Winner Procedure: Characterizations and Equilibria
Haris Aziz (NICTA and UNSW), Simina Branzei (Aarhus University), Aris Filos-Ratsikas (Aarhus University), Søren Kristoffer Stiil Frederiksen (Aarhus University)

Paper ID: 100 - Linking Heterogeneous Input Features with Pivots for Domain Adaptation
ZHOU GUANGYOU (Stanford University), Zhao  Jun (Tsinghua University);  CAI  LI; 

Paper ID:101 - Equilibria Under the Probabilistic Serial Rule
Haris Aziz(NICTA and UNSW); Serge Gaspers(UNSW and NICTA); Simon Mackenzie(NICTA and UNSW); Nicholas Mattei(NICTA); Nina Narodytska(Carnegie Mellon University); Toby Walsh(NICTA and the University of New South Wales);

Paper ID: 107 - Tractable Classes of Binary CSPs Defined by Excluded Topological Minors
David A Cohen (Royal Holloway University of London), Martin C Cooper(University of Toulouse),  Peter  Jeavons(Oxford University) Stanislav Zivny (University of Oxford)

Paper ID:108 - Action2Activity: Recognizing Complex Activities from Sensor Data
Liu Ye (School of Computing,); Liqiang Li Nie(National University of Singapore); Lei Han; Luming Zhang; David Rosenblum;

Paper ID: 112 - Finding Diverse Solutions of High Quality to Constraint Optimization Problems
Thierry Petit (Worcester Polytechnic Institute), Andrew C Trapp(Worcester Polytechnic Institute); 

Paper ID: 119 - Simple Atom Selection Strategy for Greedy Matrix Completion
Zebang Shen (Zhejiang University), Hui  Qian (Zhejiang University); 

Paper ID: 131 - Large Scale Homophyly Analysis in Twitter using a Twixonomy
Paola Velardi (Sapienza Univ. Rome, Italy)

Paper ID: 133 - Offline Sketch Parsing via Shapeness Estimation
Wu Jie (Shanghai Jiao Tong University), Changhu  Wang(Microsoft Research),  Liqing   Zhang(Shanghai Jiao Tong University), Yong Rui (Microsoft Research Asia)

Paper ID: 139 - Semantic Single Video Segmentation with Robust Graph Representation
Handong Zhao (Northeastern University), Yun  Fu(Northeastern University)

Paper ID: 140 - Exploring Implicit Hierarchical Structure for Recommender Systems
Suhang  Wang(Arizona State University);  Jiliang  Tang(Arizona State University);  Huan  Liu(Arizona State University);  Yilin  Wang(Arizona State Univerity); 

Paper ID:141 - Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity
Venanzi Matteo(University of Southampton); Luke Teacy(University of Southampton); Alex Rogers(University of Southampton); Nick Jennings(University of Southampton);

Paper ID: 144 - Simple Causes of Complexity in Hedonic Games
Dominik  Peters(University of Oxford);  Edith  Elkind(University of Oxford );

Paper ID: 145 - Cross-View Projective Dictionary Learning for Person Re-identification
Sheng Li (Northeastern University),  Ming Shao (Northeastern University), Yun Fu(Northeastern University); 

Paper ID: 152 - Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling
Xingwei  Zhu(Department of CS, Tsinghua University, China);  Zhao-Yan  Ming(Digipen Institute of Technology);  Yu  Hao(Tsinghua University);  Xiaoyan  Zhu(Tsinghua University)

Paper ID:157 - Cross-Domain Collaborative Filtering with Review Text
Xin Xin(Beijing Institute of Technology); Zhirun Liu(Beijing Institute of Technology); Chin-Yew Lin(Microsoft Research Asia); Heyan Huang(Beijing Institute of Technology); Xiaochi Wei(Beijing Institute of Technology);

Paper ID: 158 - Unsupervised Sentiment Analysis for Social Media Images
Yilin  Wang(Arizona State Univerity);  Suhang  Wang ;  Jiliang  Tang(Arizona State University);  Huan  Liu(Arizona State University);  baoxin  li(ASU)

Paper ID: 159 - Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go
Steinmetz Erik (University of Minnesota), Maria L. Gini(University of Minnesota); 

Paper ID: 160 - MORRF : Sampling-Based Multi-Objective Motion Planning
Daqing Yi (Brigham Young University), Michael A Goodrich(Brigham Young University);  Kevin D Seppi(Brigham Young University)

Paper ID: 164 - Joint Learning of Character and Word Embeddings
Lei Xu (Department of CS, Tsinghua University, China);  Xinxiong  Chen(Department of CS, Tsinghua University, China);  Zhiyuan  Liu(Tsinghua University);  Maosong  Sun;  Huanbo  Luan;

Paper ID:171 - Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
Michael Abseher(Vienna University of Technology); Frederico Dusberger(Vienna University of Technology); Nysret Musliu(Vienna University of Technology); Stefan Woltran(Vienna University of Technology);

Paper ID: 181 - Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition
Francis Bisson (Universite de Sherbrooke), Hugo  Larochelle(Université de Sherbrooke);  Froduald  Kabanza(Université de Sherbrooke);

Paper ID: 203 - Word-error correction of continuous speech recognition based on Normalized Relevance Distance
Yohei Fusayasu(Kobe University), Katsuyuki Tanaka(Kobe University), Tetsuya Takiguchi(Kobe University), Yasuo Ariki(Kobe University),

Paper ID: 209 - Solving MDPs with Skew Symmetric Bilinear Utility Functions
Hugo  Gilbert (Sorbonne Universites, UPMC Univ Paris 06);  Olivier  Spanjaard (UPMC);  Paolo  Viappiani (LIP6, Université Pierre et Marie Curie, CNRS);  Paul  Weng (SYSU-CMU Joint Institute of Engineering)

Paper ID: 210 - A Hybrid Neural Model for Type Classification of Entity Mentions
Li  Dong (Beihang University);  Furu  Wei (Microsoft Research);  Hong  Sun (Microsoft);  Ming  Zhou (Microsoft Research);  Ke  Xu (Beihang University); 

Paper ID: 211 - Estimating the Probability of Meeting a Deadline in Hierarchical Plans
Liat  Cohen (Ben-Gurion University);  Solomon  Shimony (Ben-Gurion University of the Negev);  Gera  Weiss (Ben-Gurion University);

Paper ID: 213 - A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models
Chengbin  Peng (KAUST);  Zhihua  Zhang ;  Ka-Chun   Wong ;  Xiangliang   Zhang  ;  David  Keyes ;

Paper ID: 214 - Equilibrium Refinement through Negotiation in Binary Voting
Umberto  Grandi (Université Toulouse 1 Capitole);  Davide  Grossi (University of Liverpool);  Paolo  Turrini (Imperial College London);

Paper ID: 215 - Indirect Causes in Dynamic Bayesian Networks Revisited
Alexander Motzek (Universitat zu Lubeck), Ralf  Moeller (Universitat zu Lubeck);

Paper ID: 218 - Pushdown Multi-Agent System Verification
Aniello Murano (Universita di Napoli Federico II), Giuseppe  Perelli (University of Naples); 

Paper ID: 226 - Social Image Parsing by Cross-Modal Data Refinement
Zhiwu  Lu (Renmin University of China);  Xin  Gao (KAUST);  Liwei  Wang (Peking University);  Songfang  Huang (IBM China Research Lab);

Paper ID: 234 - Integrated Anchor and Social Link Predictions across Social Networks
Jiawei Zhang (University of Illinois at Chicago);  Philip Yu (Universtiy of Illinois at Chicago);

Paper ID: 238 - Syntax-based Deep Matching of Short Texts
Wang Mingxuan (ICT);  Lu  Zhengdong ;  Li  Hang (Huawei Technologies);  Qun  Liu (Institute of Computing Technology, CAS);

Paper ID: 239 - Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue
Xin  Wang (Institute of Artificial Intelligence);  Yunhui  Guo (Zhejiang University);  Congfu  Xu (Zhejiang University);

Paper ID: 245 - Exploiting Symmetries by Planning for a Descriptive Quotient
Mohammad  Abdulaziz (National ICT Australia);  Charles   Gretton (National ICT Australia);  Michael  Norrish (National ICT Australia);

Paper ID: 247 - Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-annotated Tweets
Felipe Bravo-Marquez (University of Waikato), Eibe  Frank (University of Waikato);  Bernhard  Pfahringer (University of Waikato); 

Paper ID: 248 - Mobility Profiling for User Verification with Anonymized Location Data
Miao  Lin (Institute for Infocomm Research);  Hong  Cao (McLaren Applied Technology);  Vincent W. Zheng (Advanced Digital Sciences Center);  Kevin C.  Chang ;  Shonali  Krishnaswamy ;

Paper ID: 249 - Modeling Users' Dynamic Preference for Personalized Recommendation
Xin Liu (Institute for Infocomm Research (I2R), A*STAR)

Paper ID: 251 - Compressive Document Summarization via Sparse Optimization
Jin-ge  Yao (Peking University);  Xiaojun  Wan (Peking University);  Jianguo  Xiao (Peking University);

Paper ID:252 - Representation Learning for Measuring Entity Relatedness with Rich Information
Yu Zhao(Tsinghua University); Zhiyuan Liu(Tsinghua University); Maosong Sun;

Paper ID:255 - Competitive Pricing for Cloud Computing in an Evolutionary Market
Bolei Xu(The University of Nottingham Ningbo China); Tao Qin(Microsoft Research Asia); Guoping Qiu(The University of Nottingham Ningbo China); Tieyan Liu(Microsoft Research Asia);

Paper ID:257 - A Clustering Algorithm for Massive Amount of Texts
Ming Liu(Harbin Institute of Technology); BingQuan Liu(Harbin Institute of Technology); XiangNan Zhao(Harbin Bank); XiaoLong Wang(Harbin Institute of Technology);

Paper ID: 261 - Auxiliary Information Regularized Machine for Multiple Modality Feature Learning
Yang  Yang (Nanjing University);  Han-Jia  Ye (Nanjing University);  De-Chuan  Zhan (Nanjing University);  Yuan  Jiang (Nanjing University); 

Paper ID:264 - Differentially Private Matrix Factorization
Jingyu Hua(Nanjing University); Chang XIA(Department of CS&T, Nanjing University); Sheng Zhong;

Paper ID: 268 - Inferring Painting Style with Multi-task Dictionary Learning
Gaowen  Liu ;  Yan  Yan (DISI, University of Trento);  Elisa  Ricci ;  Yi  Yang (University of Queensland,);  Yahong  Han (Tianjin University);  Nicu  Sebe ;

Paper ID: 271 - Environment-driven social force model: Lévy walk pattern in collective behavior
Danyan  Lv (Southeast University, Nanjing, China);  Zhaofeng  Li (Southeast University);  Yichuan  Jiang (Southeast University);

Paper ID: 284 - What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules
Piotr Skowron (University of Warsaw)

Paper ID: 288 - Music Recommenders: User Evaluation Without Real Users?
Susan  Craw (Robert Gordon University);  Ben  Horsburgh (Robert Gordon University, Aberdeen);  Stewart  Massie (Robert Gordon University, Aberdeen)

Paper ID: 292 - ReACTR: Realtime Algorithm Configuration through Tournament Rankings
Tadhg  Fitzgerald (Insight Center for Data Analytics);  Yuri  Malitsky (IBM Thomas J. Watson Research Center);  Barry  O'Sullivan (University College Cork)

Paper ID: 297 - Non-Myopic Negotiators See What's Best
Yair  Zick (Carnegie-Mellon University);  Yoram  Bachrach (Microsoft Research);  Ian  Kash (Microsoft Research);  Peter  Key (Microsoft);

Paper ID: 300 - Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings
Paolo Viappiani (LIP6, Université Pierre et Marie Curie, CNRS)

Paper ID:301 - ICBS: The Improved Conflict-based Search algorithm for Multi-Agent Pathfinding
Eli Boyarski(Bar-Ilan University); Ariel Felner(Ben-Gurion University of the Negev); Roni Stern(Ben Gurion University); Guni Sharon(Ben-Gurion University); Oded Betzalel(Ben-Gurion University); Solomon Shimony(Ben-Gurion University of the Negev); David Tolpin(University of Oxford);

Paper ID: 312 - Automatic Dominance Breaking for Constraint Optimization Problems
Christopher Mears (Monash University),  Maria  Garcia-de-la-Banda (Monash University);

Paper ID: 313 - Trailer Generation via A Point Process-based Visual Attractiveness Model
Hongteng  Xu (School of ECE);  Yi  Zhen (Georgia Institute of Technology);  Hongyuan  Zha (Georgia Institute of Technology); 

Paper ID: 320 - Classical Planning with Simulations: Results on the Atari Video Games
Nir  Lipovetzky (University of Melbourne);  Miquel  Ramirez (Australian National University);  Hector  Geffner (ICREA & Universitat Pompeu Fabra);

Paper ID:321 - Exploiting k-Degree Locality to Improve Overlapping Community Detection
Hongyi Zhang(The Chinese University of Hong Kong); Michael R Lyu(The Chinese University of Hong Kong); Irwin King(The Chinese University of Hong Kong);

Paper ID: 324 - Reader-Aware Multi-Document Summarization via Sparse Coding
Piji  Li (The Chinese University of Hong Kong);  Lidong  Bing (The Chinese University of Hong Kong);  Wai  Lam (The Chinese University of Hong Kong);  Hang  Li (Huawei Technologies);

Paper ID: 334 - AdaBPR: A Boosting Algorithm for Item Recommendation with Implicit Feedback
Yong  Liu (Nanyang Technological University);  Peilin  Zhao (Institute for Infocomm Research);  Aixin  Sun (Nanyang Technological University);  Chunyan  Miao (Nanyang Technological University);

Paper ID: 335 - Learning Term Embeddings for Hypernymy Identification
Zheng  Yu (East China Normal University);  Haixun  Wang (Google Research);  Xuemin  Lin (University of New South Wales);

Paper ID:337 - Differential Semantics of Intervention in Bayesian Networks
Biao Qin(Renmin University of China);

Paper ID: 347 - {Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus
Daniele Alfarone (KU Leuven), Jesse  Davis (KU Leuven);

Paper ID:356 - Exploratory Digraph Navigation using A*
Fabrice Mayran de Chamisso(CEA, LIST); Laurent Soulier(CEA, LIST); Micha?l Aupetit(Qatar Computing Research Institute);

Paper ID: 360 - Expressive Logical Combinators for Free
Pierre  Geneves (CNRS);   Alan  Schmitt (Inria)

Paper ID: 363 - Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods
Nhan-Tam  Nguyen (Heinrich-Heine University Dusseldorf);  Dorothea  Baumeister (Universitaet Duesseldorf);  Joerg  Rothe (Universitaet Duesseldorf)

Paper ID: 370 - Online Learning to Rank for Content-Based Image Retrieval
Pengcheng  Wu ;  Steven C. H.   Hoi (SMU);  Peilin  Zhao (Institute for Infocomm Research  (I2R), A*STAR);  Ji  Wan (Institute of Computing Technology, Chinese Academy of Sciences);   Xingyu Gao (Institute of Computing Technology, Chinese Academy of Sciences);  Dayong  Wang ;

Paper ID: 375 - A Multicore Tool for Constraint Solving
Amadini  Roberto (University of Bologna);  Maurizio  Gabbrielli (University of Bologna);  Jacopo  Mauro (University of Bologna)

Paper ID: 376 - A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange
Muddasser  Alam (University of Southampton);  Enrico H Gerding (University of Southmapton);  Alex  Rogers (University of Southampton);  Sarvapali D Ramchurn (ECS - Southampton, UK)

Paper ID: 377 - How Robust is the Wisdom of the Crowds?
Noga  Alon (Tel Aviv University and Microsoft Research);  Michal  Feldman (Tel Aviv University and Microsoft Research);  Omer  Lev (Hebrew University);  Moshe  Tennenholtz (Technion);

Paper ID: 384 - Reasoning with Style
Marti  Bosch (Universitat Politecnica de Catalunya);  Pierre  Geneves (CNRS);  Nabil  Layaida (Inria);

Paper ID: 387 - Welfare Maximization in Fractional Hedonic Games
Haris Aziz (NICTA and UNSW), Serge  Gaspers (UNSW and NICTA);  Joachim   Gudmundsson , Julián Mestre (University of Sydney), Hanjo Täubig (Technische Universität München)

Paper ID: 395 - Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty
Robert  Bredereck (Technische Universitaet Berlin);  Jiehua  Chen (TU Berlin);  Rolf  Niedermeier (TU Berlin);  Toby  Walsh (NICTA and the University of New South Wales);

Paper ID:402 - Optimal mechanism design for partially rational bidders
Zihe Wang(IIIS, Tsinghua University); Pingzhong Tang(Tsinghua University);

Paper ID: 415 - Max-Sum Goes Private
Tamir  Tassa (The Open University);  Roie  Zivan (Ben Gurion University of the Negev, Israel);  Tal  Grinshpoun (Ariel University);

Paper ID:416 - Tracking political elections on social media : Applications and Experience
Danish Contractor(IBM Research); Bhupesh Chawda(IBM Research); Sameep Mehta(IBM Research); L Venkata Subramaniam(IBM Research); Tanveer A Faruquie(IBM Research);

Paper ID: 422 - Personalizing Product Rankings using Collaborative Filtering on Opinion-derived Topic Profiles
Claudiu C Musat (EPFL);  Boi  Faltings (Ecole Polytechnique Federale de Lausanne);

Paper ID: 426 - A Modularity-based Random SAT Instances Generator
Jesús Giráldez-Crú (IIIA - CSIC), Jordi  Levy (IIIA-CSIC)

Paper ID: 429 - Gibbard-Satterthwaite Games
Edith  Elkind (University of Oxford );  Umberto  Grandi (Université Toulouse 1 Capitole);  Francesca  Rossi (University of Padova and Harvard University);  Arkadii  Slinko (The University of Auckland);

Paper ID: 432 - Learning Cooperative Games
Maria F Balcan (Carnegie-Mellon University);  Ariel D. Procaccia (Carnegie Mellon University);  Yair  Zick (Carnegie-Mellon University)

Paper ID: 438 - Emotions in Argumentation: an Empirical Evaluation
Mohamed Sahbi Benlamine (University of Montreal);  Maher  Chaouachi (University of Montreal);  Serena  Villata (Inria Sophia Antipolis);  Elena  Cabrio (Inria Sophia Antipolis);  Claude  Frasson (University of Montreal);  Fabien  Gandon (Inria Sophia Antipolis)

Paper ID: 440 - Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
Frederic Koriche (CRIL-CNRS and Université d'Artois), Jean-Marie JM Lagniez (CRIL-CNRS and Université d'Artois);  Marquis  Pierre (CRIL-CNRS and Université d'Artois);  Samuel  Thomas (CRIL-CNRS and Université d'Artois)

Paper ID:442 - Handling Complex Commands for Service Robot Task Requests
Perera Vittorio(Carnegie Mellon University); Manuela Veloso(Carnegie Mellon University);

Paper ID: 449 - Context-Independent Claim Detection for Argumentation Mining
Marco Lippi (University of Bologna), Paolo Torroni (University of Bologna)

Paper ID: 456 - Cost-optimal and Net-benefit Planning--A Parameterised Complexity View
Meysam  Aghighi (Linköping University);  Christer  Bäckström (Linköping University);

Paper ID: 458 - Building Personal Ad Recommendation Systems for Life-Time Value Optimization with Guarantees
Georgios  Theocharous (Adobe Research);  Philip  Thomas (University of Massachusetts Amherst);  Mohammad  Ghavamzadeh (Adobe);

Paper ID: 462 - Efficient Operations on MDDs for building Constraint Programming Models
Guillaume  Perez (University Nice Sophia Antipolis);  Jean-Charles  Regin (Université de Nice-Sophia Antipolis);

Paper ID: 464 - Coherence Across Components in Cognitive Systems ? One Ontology to Rule Them All
Gregor  Behnke (Ulm University);  Denis  Ponomaryov (Ershov Institute of Informatics Systems);  Marvin Rudiger Georg Schiller (Ulm University);  Pascal  Bercher (Ulm University);  Florian  Nothdurft (Ulm University);  Birte  Glimm (Ulm University);  Susanne  Biundo (Ulm University);

Paper ID: 467 - Medical Synonym Extraction with Concept Space Models
Chang  Wang (IBM Research);  Liangliang  Cao (IBM TJ Waston);

Paper ID: 472 - Combining Eye Movements and EEG to Enhance Emotion Recognition
Yifei  Lu (Shanghai Jiao Tong University);  Wei-Long  Zheng (Shanghai Jiao Tong University);  Bin-Bin  Li (Shanghai Jiao Tong University);  Bao-Liang  Lu (Shanghai Jiao Tong University);

Paper ID: 482 - Maximum Satisfiability using Cores and Correction Sets
Nikolaj  Bjorner (Microsoft Research);  Nina  Narodytska (Carnegie Mellon University); 

Paper ID: 483 - The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages
Denis  Maua (Universidade de Sao Paulo);  Cassio P de Campos (Queen's University Belfast);  Fabio G Cozman (Universidade de Sao Paulo);

Paper ID: 494 - Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories
Marius Pasca (Google Inc.), Hylke  Buisman (Google Inc.); 

Paper ID: 499 - Mixed Discrete-Continuous Heuristic Generative Planning based on Flow Tubes
Enrique  Fernandez-Gonzalez (MIT);  Erez  Karpas (MIT);  Brian C Williams (MIT)

Paper ID: 509 - Tight Bounds for HTN planning with Task Insertion
Ron Alford (ASEE Postdoc at the U.S. Naval Research Lab), Pascal  Bercher (Ulm University);  David  Aha (Naval Research Laboratory);

Paper ID: 510 - Revisiting Gaussian Process Dynamical Models
Jing  Zhao (East China Normal University);  Shiliang  Sun (East China Normal University);

Paper ID: 513 - Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction
Wenbin  Jiang (Institute of Computing Technology, CAS);  Qun  Liu (Institute of Computing Technology, CAS);

Paper ID: 521 - Solving Heads-up Limit Texas Hold'em
Oskari Tammelin; Neil Burch(University of Alberta); Michael Johanson(University of Alberta); Michael Bowling(University of Alberta);

Paper ID: 523 - Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games
Santiago Ontañon Villar (Drexel University, USA), Michael  Buro (University of Alberta)

Paper ID: 529 - Modeling Quantum Entanglements in Quantum Language Models
Mengjiao  Xie (Tianjin University, China);  YueXian  Hou (Tianjin University, China);  Peng  Zhang (Tianjin University, China);  Jingfei  Li (Tianjin University, China);  Wenjie  Li (The Hong Kong Polytechnic University);  Dawei  Song (Tianjin University, China);,

Paper ID: 530 - Adaptive Discriminative Reordering Model for Statistical Machine Translation Based on Structure Learning
Biao  Zhang (Software Institute, Xiamen University);  JinSong  Su (Software Institute, Xiamen University);  JunFeng  Yao

Paper ID: 545 - Spiteful Bidding in the Dollar Auction
Marcin  Waniek (University of Warsaw);  Agata  Niescieruk (Polish-Japanese Academy of IT);  Tomasz P Michalak (University of Oxford/University of Warsaw);  Talal  Rahwan (Masdar Institute of Science and Technology)

Paper ID: 547 - Security Games with Information Leakage: Modeling and Computation
Haifeng  Xu (University of Southern California);  Albert Xin  Jiang (Trinity University);  Arunesh  Sinha (University of Southern California);  Zinovi  Rabinovich (Mobileye Vision Technologies Ltd);  Shaddin  Dughmi (University of Southern California);  Milind  Tambe (University of Southern California)

Paper ID: 550 - Fixing tournaments for kings, chokers, and more
Michael  Kim (Stanford University);  Virginia V Williams (Stanford University)

Paper ID: 554 - Knowledge Base Completion Using Embeddings and Rules
Quan  Wang (Chinese Academy of Sciences);  Bin  Wang (Chinese Academy of Sciences)

Paper ID: 565 - Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation
Fabian  Hadiji (TU Dortmund University);  Martin  Mladenov (TU Dortmund University);  Christian  Bauckhage (University of Bonn and Fraunhofer IAIS);  Kristian  Kersting (TU Dortmund University)

Paper ID:569 - Biclustering gene expressions using factor graphs and the max-sum algorithm
Matteo Denitto(University of Verona); Manuele Bicego(CS Dept. - Univ. of Verona); Alessandro Farinelli(CS Dept., Univ. of Verona);

Paper ID:580 - Inducing Probabilistic Relational Rules from Probabilistic Examples
Luc De Raedt(KU Leuven); Anton Dries(KU Leuven); Ingo Thon(KU Leuven); Guy Van den Broeck(KU Leuven); Mathias Verbeke(KU Leuven);

Paper ID: 589 - Personalized Tour Recommendation based on User Interests and Points of Interest Visit Durations
Kwan Hui  Lim (The University of Melbourne);  Jeffrey  Chan (The University of Melbourne);  Christopher  Leckie (The University of Melbourne);  Shanika  Karunasekera (The University of Melbourne)

Paper ID: 604 - Sorting Sequential Portfolios in Automated Planning
Núñez Sergio (Universidad Carlos III de Madrid), Daniel  Borrajo (Universidad Carlos III de Madrid);  Carlos  Linares López (Universidad Carlos III de Madrid);

Paper ID: 608 - Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem
Long  Tran-Thanh (University of Southampton);  Yingce  Xia (Microsoft Research Asia);  Tao  Qin (Microsoft Research Asia);  Nick  Jennings (University of Southampton)

Paper ID: 614 - Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning
Xuemeng  Song (National University of Singapore);  Liqiang Li Nie (National University of Singapore);  Luming  Zhang ;  Tat-Seng  Chua

Paper ID: 616 - Deep Multimodal Hashing with Orthogonal Regularization
Daixin  Wang (Tsinghua University);  Peng  Cui (Tsinghua University);  Mingdong  Ou ;  Wenwu  Zhu

Paper ID: 620 - Packing Curved Objects
Ignacio Salas (Ecole des Mines de Nantes), Gilles  Chabert (Ecole des Mines de Nantes);

Paper ID: 621 - Optimal Incremental Preference Elicitation during Negotiation
Tim Baarslag (University of Southampton), Enrico H Gerding (University of Southmapton);

Paper ID: 622 - Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Francesco Belardinelli (Université d'Evry, France), Davide  Grossi (University of Liverpool);  Nicolas  Maudet (LIP6, UPMC);

Paper ID: 623 - Model-based Genetic Algorithms for Algorithm Configuration
Carlos  Ansotegui (University of Lleida);  Yuri  Malitsky (IBM Thomas J. Watson Research Center);  Horst  Samulowitz (Thomas J. Watson Research Center, USA);  Meinolf  Sellmann (IBM);  Kevin  Tierney (University of Paderborn)

Paper ID: 635 - A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews
Guang-Neng  Hu (Dept. Computer Sci, Nanjing University);  Xin-Yu  Dai (Nanjing University);   Yunya  Song ;  Shu-Jian  Huang ;  Jia-Jun  Chen ;

Paper ID: 638 - Compositional Program Synthesis from Natural Language and Examples
Mohammad Raza, Sumit  Gulwani (Microsoft Research Redmond);  Natasa  Milic-Frayling (Microsoft Research Cambridge);

Paper ID: 643 - Information Gathering in Networks via Active Exploration
Adish  Singla (ETH Zurich);  Eric  Horvitz ;  Pushmeet  Kohli (Microsoft Research);  Ryen  White (Microsoft Research);  Andreas  Krause (ETH Zurich);

Paper ID:649 - A Study of Human-Agent collaboration for Multi-UAV Coordination in Dynamic Environments
Sarvapali D Ramchurn(ECS - Southampton, UK); Joel E Fischer(University of Nottingham); Yuki Ikuno(University of Southampton); Feng Wu(University of Science and Technology of China); Jack Flann(University of Southampton); Antony Waldock(BAE Systems);

Paper ID:656 - Active Learning from Crowds with Unsure Option
Jinhong Zhong(University of Science and Technology of China); Ke Tang(University of Science and Technology of China); Zhi-Hua Zhou(Nanjing University);

Paper ID: 658 - Simultaneous Abstraction and Equilibrium Finding in Games
Noam Brown (Carnegie Mellon University), Tuomas  Sandholm (CMU);

Paper ID: 661 - Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions
Frans Oliehoek (University of Liverpool), Matthijs  Spaan (Delft University of Technology);  Stefan  Witwicki (Swiss Federal Institute of Technology  (EPFL))

Paper ID: 665 - Personalized Ranking Metric Embedding for Next New POI Recommendation
Shanshan  Feng (Nanyang Technological University);  Xutao Li ;  Yifeng  Zeng (Teesside University);  Gao  Cong ;  Yeow Meng  Chee ;  Quan  Yuan ;

Paper ID:670 - Video Covariance Matrix Logarithm for Human Action Recognition in Videos
Piotr T Bilinski(INRIA); Francois Bremond(INRIA);

Paper ID: 671 - Non-monotone Adaptive Submodular Maximization
Alkis  Gotovos (ETH Zurich);  Amin  Karbasi (Yale University);  Andreas  Krause (ETH Zurich)

Paper ID: 672 - Symbolic model-checking for single resource RB+-ATL
Natasha Alechina (Nottingham University), Brian  Logan (University of Nottngham);  Hoang Nga  Nguyen (University of Nottingham);  Franco  Raimondi (Middlesex University)

Paper ID: 684 - H-Index Manipulation by Merging Articles: Models, Theory, and Experiments
René van Bevern (TU Berlin), Christian  Komusiewicz (TU Berlin);  Rolf  Niedermeier (TU Berlin);  Manuel  Sorge (TU Berlin);  Toby  Walsh (NICTA and the University of New South Wales)

Paper ID: 685 - Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
Martin  Wehrle (University of Basel);  Malte  Helmert (University of Basel);  Alexander  Shleyfman (Technion, Haifa);  Michael  Katz (IBM Haifa Research Lab);

Paper ID: 687 - Network Representation Learning with Rich Text Information
Cheng  Yang (Tsinghua University in PRC);  Zhiyuan  Liu (Tsinghua University);  Deli  Zhao (HTC Beijing);  Maosong  Sun (Tsinghua University in PRC);  Edward  Chang (HTC Beijing)

Paper ID: 688 - Verifying Emergent Properties of Swarms
Alessio Lomuscio (Imperial College London), Panagiotis  Kouvaros (Imperial College London);

Paper ID: 692 - Optimization of probabilistic argumentation with Markov Decision Models
Emmanuel Hadoux (LIP6 / UPMC), Aurelie  Beynier (LIP6, Université Pierre et Marie Curie);  Nicolas  Maudet (LIP6, UPMC);  Paul  Weng (SYSU-CMU Joint Institute of Engineering);  Anthony  Hunter (University College London);

Paper ID: 693 - Saliency Detection with a Deeper Investigation of Light Field
Jun  Zhang (Hefei University of Technology);  Meng  Wang (Hefei University of Technology);  Jun  Gao (Hefei University of Technology);  Yi  Wang (Hefei University of Technology);  Xudong  Zhang (Hefei University of Technology);  Xindong  Wu (Hefei University of Technology)

Paper ID: 695 - Intelligent Agent Supporting Human-Multi-Robot Team Collaboration
Rosenfeld  Ariel (Bar-Ilan University);  Noa  Agmon (Bar-Ilan University);  Oleg  Maksimov (Bar-Ilan University);  Amos  Azaria (CMU);  Sarit  Kraus (Bar-Ilan University);

Paper ID: 702 - The Logic of Qualitative Probability
James Delgrande (School of Computing Science), Bryan  Renne

Paper ID: 705 - A characterization of n-player strongly monotone scheduling mechanisms
Annamaria Kovacs (Goethe University Frankfurt), Angelina  Vidali (Pierre and Marie Curie University-LIP6)

Paper ID: 707 - A Common-Sense Conceptual Categorization System Integrating Proxytypes and the Dual Process of Reasoning
Antonio Lieto (University of Turin and ICAR CNR), Daniele Paolo  Radicioni (University of Turin );  Valentina  Rho (University of Turin );

Paper ID: 709 - The Game-Theoretic Interaction Index on Social Networks With Applications to Link Prediction and Community Detection
Piotr Szczepański, Tomasz P Michalak (University of Oxford/University of Warsaw);  Talal  Rahwan (Masdar Institute of Science and Technology);  Aleksy  Barcz (Warsaw University of Technology)

Paper ID: 712 - Greedy Structure Search for Sum-Product Networks
Aaron Dennis (Brigham Young University), Dan  Ventura (Brigham Young University)

Paper ID: 713 - A Dictatorship Theorem for Cake Cutting
Simina Brânzei (Aarhus University), Peter Bro B Miltersen (Aarhus University)

Paper ID: 718 - Anytime Inference in Probabilistic Logic Programs with Tp-compilation
Jonas Vlasselaer (KU Leuven), Guy  Van den Broeck (KU Leuven);  Angelika  Kimmig (KU Leuven);  Wannes  Meert (KU Leuven);  Luc  De Raedt (KU Leuven)

Paper ID: 720 - Truthful Cake Cutting Mechanisms with Externalities: Do not make them care for others too much!
Minming Li (City University of Hong Kong), Jialin  Zhang (Chinese Academy of Sciences);  Qiang  Zhang (Institute of Informatics)

Paper ID: 727 - Learning to Interpret Natural Language Commands through Human-Robot Dialog
Thomason Jesse (University of Texas at Austin), Shiqi  Zhang (University of Texas at Austin);  Raymond  Mooney (University of Texas at Austin);  Peter  Stone (The University of Texas at Austin)

Paper ID: 729 - Applying Max-sum to Asymmetric Distributed Constraint Optimization
Roie Zivan (Ben Gurion University of the Negev, Israel), Tomer  Parash (Ben Gurion University of the Negev, Israel);  Yarden   Naveh

Paper ID: 735 - Tractable inquiry in information-rich environments
Barbara Dunin-Keplicz, Alina  Strachocka (Institute of Informatics)

Paper ID: 737 - Strategic Candidacy Games with Lazy Candidates
Edith Elkind (University of Oxford ), Svetlana  Obraztsova (Tel Aviv University);  Maria  Polukarov (University of Southampton);  Zinovi  Rabinovich (Mobileye Vision Technologies Ltd)

Paper ID: 740 - Convergence to Equilibria in Strategic Candidacy
Maria  Polukarov (University of Southampton);  Svetlana  Obraztsova (Tel Aviv University);  Zinovi  Rabinovich (Mobileye Vision Technologies Ltd);  Alexander  Kruglui (St.Petersburg State Polytechnical University );  Nick  Jennings (University of Southampton)

Paper ID: 744 - Embedding Semantic Relations into Word Representations
Danushka  Bollegala (University of Liverpool);  Takanori  Maehara (Shizuoka University);  Ken-ichi  Kawarabayashi (National Institute of Informatics)

Paper ID: 754 - Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
Bruno  Lacerda (School of Computer Science);  David  Parker (University of Birmingham);  Nick   Hawes (University of Birmingham)

Paper ID: 755 - Multi-Objective POMDPs with Lexicographic Reward Preferences
Kyle H Wray (University of Massachussetts at Amherst);  Shlomo  Zilberstein (University of Massachusetts Amherst)

Paper ID: 758 - On the Graded Acceptability of Arguments
Davide  Grossi (University of Liverpool);  Sanjay  Modgil (King's College London)

Paper ID: 761 - Toward Estimating Others? Transition Models Under Occlusion for Multi-Robot IRL
Bogert  Kenneth (University of Georgia);  Prashant  Doshi (University of Georgia)

Paper ID: 779 - Mechanism Design and Search Algorithm for Lung Exchange
Suiqian Luo (Tsinghua University), Pingzhong  Tang (Tsinghua University)

Paper ID: 784 - Deordering and Numeric Macro Actions for Plan Repair
Scala Enrico (Research School of Computer Science, ANU), Pietro  Torasso (Universita' degli Studi di Torino)

Paper ID: 786 - SAT is an Effective and Complete Method for Solving Stable Matching Problems with Couples
Joanna  Drummond (University of Toronto);  Andrew Perrault (University of Toronto);  Fahiem   Bacchus (University of Toronto)

Paper ID: 789 - Metareasoning for Planning Under Uncertainty
Christopher  Lin (University of Washington);  Andrey  Kolobov (Microsoft Research);  Ece  Kamar (Microsoft Research);  Eric  Horvitz

Paper ID: 791 - Prior-based Dual Additive Latent Dirichlet Allocation for User-item Connected Documents
Wei  Zhang (Department of Computer and Science);  Jianyong  Wang (Tsinghua University)

Paper ID: 796 - Face clustering in videos with proportion prior
Zhiqiang  Tang (Institute of Automation);  Yifan  Zhang ;  lu  han qing (University of Chinese Academy of Sciences)

Paper ID: 808 - Influence in Classification via Cooperative Game Theory
Amit  Datta (Carnegie Mellon University);  Anupam  Datta (Carnegie Mellon University);  Ariel D. Procaccia (Carnegie Mellon University);  Yair  Zick (Carnegie-Mellon University)

Paper ID: 812 - Automated Rule Selection for Aspect Extraction in Opinion Mining
Qian  Liu (Southeast University, Nanjing, China);  Zhiqiang  Gao (Southeast University);  Bing  Liu (University of Illinois at Chicago);  Yuanlin  Zhang (Texas Tech University)

Paper ID: 823 - Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora
Meiping  Dong ( Department of CS, Tsinghua University, China);  Yang  Liu (Department of CS, Tsinghua University, China);  Maosong  Sun ;

Paper ID:828 - Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery
Yexiang Xue(Cornell University); Stefano Ermon(Stanford University); Carla P Gomes(Cornell University); Bart Selman(Cornell University);

Paper ID: 829 - Optimal Greedy Diversity for Recommendation
Ashkan  Azin (Technicolor Research);  Branislav  Kveton (Adobe Research);  Shlomo  Berkovsky (CSIRO);  Zheng  Wen (Yahoo! Labs)

Paper ID: 830 - Multi-Document Abstractive Summarization Using ILP based Multi-Sentence Compression
Siddhartha  Banerjee (The Pennsylvania State University);  Prasenjit  Mitra (The Pennsylvania State University);  Kazunari   Sugiyama (National University of Singapore)

Paper ID: 834 - Uncovering the Formation of Triadic Closure in Social Networks
Zhanpeng  Fang ( Department of CS, Tsinghua University, China);  Jie  Tang (Tsinghua University);)

Paper ID: 841 - Equilibrium Analysis of Multi-Defender Security Games
Jian  Lou (Vanderbilt University );  Yevgeniy  Vorobeychik (Vanderbilt University)

Paper ID: 842 - Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation
Biao  Liu (Tsinghua University);  Minlie  Huang (Tsinghua University)

Paper ID: 847 - Raising Expectations in GDA Agents Acting in Dynamic Environments
Dustin  Dannenhauer (Lehigh University);  Hector  Munoz-Avila (Lehigh University)

Paper ID: 853 - Incentivizing Peer Grading in MOOCs: An Audit Game Approach
Alejandro  Carbonara (Carnegie Mellon University);  Anupam  Datta (Carnegie Mellon University);  Arunesh  Sinha (University of Southern California);  Yair  Zick (Carnegie-Mellon University)

Paper ID: 861 - Co-Acquisition of Spatial Language Syntax and Semantics
Michael  Spranger (Sony Computer Science Laboratories Inc.);  Luc  Steels

Paper ID: 866 - From Weighted to Unweighted Model Counting
Supratik  Chakraborty (Indian Institute of Technology, Bombay);  Dror  Fried (Rice University);  Kuldeep  Meel (Rice University);  Moshe Y. Vardi (Rice University)

Paper ID: 867 - Building Hierarchies of Concepts via Crowdsourcing
Yuyin  Sun (University of Washington);  Adish  Singla (ETH Zurich);  Dieter  Fox (University of Washington);  Andreas  Krause (ETH Zurich)

Paper ID: 872 - Convolutional Neural Tensor Network Architecture for Community-based Question Answering
Xipeng  Qiu (Fudan University);  Xuanjing  Huang (Fudan University)

Paper ID: 874 - Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model
PengFei  Liu ;  Xipeng  Qiu (Fudan University);  Xuanjing  Huang (Fudan University)

Paper ID: 876 - Selling Reserved Instances in Cloud Computing
Changjun Wang (Chinese Academy of Sciences);  Weidong  Ma (Microsoft Research Asia);  Tao  Qin (Microsoft Research Asia);  Xujin  Chen (Chinese Academy of Sciences);  Xiaodong   Hu (Chinese Academy of Sciences);  Tieyan  Liu (Microsoft Research Asia),

Paper ID: 883 - Multi-Modality Tracker Aggregation: from Generative to Discriminative
Xiaoqin  Zhang (Institute of Intelligent System and Decision);  Xiuzi  Ye ;  Wei  Li

Paper ID:889 - Influence Maximization in Big Network: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation
Wei-Xue Lu(AMSS, Chinese Academy of Sciences); Peng Zhang(Chinese Academy of Sciences); Chuan Zhou(Institute of Information Engineering, CAS); Chunyi Liu(Chinese Academy of Sciences); Li Gao(Institute of Information Engineering, CAS);

Paper ID: 894 - Optimizing Sentence Modeling and Selection for Document Summarization
Wenpeng Yin (University of Munich), Yulong  Pei (Carnegie Mellon University)

Paper ID: 903 - Target-dependent Twitter Sentiment Classification with Rich Automatic Features
Tin  Vo (Singapore University of Technology and Design);  Yue  Zhang (Singapore University of Technology and Design)

Paper ID: 904 - Interplanetary Trajectory Planning with Monte Carlo Tree Search
Daniel  Hennes (European Space Agency);  Dario  Izzo (European Space Agency)

Paper ID: 908 - Deep Learning for Event-Driven Stock Prediction
Xiao  Ding (Harbin Institute of Technology);  Yue  Zhang (Singapore University of Technology and Design);  Ting  Liu (Harbin Institute of Technology);  Junwen  Duan (Harbin Institute of Technology)

Paper ID: 915 - Multi-Pass High-Level Presolving
Kevin  Leo (Faculty of IT, Monash University,);  Guido  Tack (Monash University);

Paper ID: 919 - Interactive Gender Inference with Integer Linear Programming
Shoushan  Li ( Soochow University);  Jingjing  Wang (Soochow University);  Guodong  Zhou (Soochow University)

Paper ID: 927 - Synthesis for LTL and LDL on finite traces
Giuseppe De Giacomo (Sapienza University of Rome), Moshe Y. Vardi (Rice University)

Paper ID: 932 - Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering
Liping  Jing (School of Computer and Information Technology);  Peng  Wang (Beijing Jiaotong University);

Paper ID: 935 - Planning for Stochastic Games with Co-safe Objectives
Lei  Song (University of Technology, Sydney, Australia);  Yuan  Feng (QCIS, University of Technology, Sydney);  Lijun  Zhang ;

Paper ID:936 - Envy-free Sponsored Search Auctions with Budgets
Bo Tang(University of Liverpool); Jinshan Zhang(Dept. of Computer Science);

Paper ID: 943 - On the Effective Configuration of Planning Domain Models
Mauro  Vallati (University of Huddersfield);  Frank  Hutter (Albert-Ludwigs-Universität Freiburg, Germany);  Lukas  Chrpa (University of Huddersfield);  Thomas Leo McCluskey (University of Huddersfield);

Paper ID: 944 - Revenue Maximization Envy-free Pricing for Homogeneous Resources
Gianpiero  Monaco (University of L'Aquila);  Piotr  Sankowski (Institute of Informatics);  Qiang  Zhang (Institute of Informatics)

Paper ID: 945 - Scalable Graph Hashing with Feature Transformation
Qing-Yuan  Jiang (Department of CS&T, Nanjing University);  Wu-Jun  Li (Nanjing University)

Paper ID: 949 - Convolutional Neural Networks for Text Hashing
Jiaming  Xu (Chinese Academy of Sciences);  peng  wang (Institute of Automation of the CAS);  Guanhua  Tian ;  bo  xu ;  Jun  Zhao (NLPR, Chinese Academy of Sciences);  wei hong hao ,

Paper ID: 954 - Modeling Inter- and Intra-Part Deformations for Object Structure Parsing
cai  ling ( Xiamen University);  Rongrong  Ji ( Xiamen University);

Paper ID:955 - Multi-Label Active Learning: Query Type Matters
Sheng-Jun Huang(Nanjing University of Aeronautics and Astrona); Songcan Chen(NUAA); Zhi-Hua Zhou(Nanjing University);

Paper ID:956 - Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities
Florian Brandl(Technische Universit?t M?nchen); Felix Brandt(Technical University of Munich); Christian Geist; Johannes Hofbauer(Technische Universit?t M?nchen);

Paper ID: 969 - Delete Relaxations for Planning with State-Dependent Action Costs
Florian Geiβer (University of Freiburg), Thomas  Keller (University of Freiburg);  Robert  Mattmüller (University of Freiburg);

Paper ID: 980 - Integrating Importance, Non-redundancy and Coherence Graph-based Extractive Summarization
Daraksha  Parveen (Heidelberg Institute for Theoretical Studies);  Michael  Strube (Heidelberg Institute for Theoretical Studies)

Paper ID: 982 - Local Translation Prediction with Global Sentence Representation
Jiajun Zhang (Institute of Automation of the CAS)

Paper ID: 992 - Efficient Model Based Diagnosis with Maximum Satisfiability
Joao Marques-Silva (INESC-ID/IST. University of Lisbon), Mikolas  Janota (INESC-ID);  Alexey  Ignatiev (INESC-ID Lisboa);  Antonio  Morgado (INESC-ID/IST. University of Lisbon)

Paper ID: 993 - Reactive Integrated Motion Planning and Execution
Andreas  Hofmann (Massachusetts Institute of Technology);  Enrique  Fernandez-Gonzalez (MIT);  Justin  Helbert (Massachusetts Institute of Technology);  Scott D Smith (Boeing Corporation);  Brian C Williams (Massachusetts Institute of Technology)

Paper ID: 995 - Efficient and Accurate Set Based Registration of Aerial Images
Arandjelovic Ognjen (Deakin University)

Paper ID:1002 - Cognitive Modelling for Predicting Examinee Performance
Runze Wu(University of Science and Technology of China); Yuping Liu(University of Science and Technology of China); Qi Liu(University of Science and Technology of China); Enhong Chen; Yu Su(Anhui USTC iFLYTEK Co., Ltd.); Zhigang Chen(Anhui USTC iFLYTEK Co., Ltd.); Guoping Hu(Anhui USTC iFLYTEK Co., Ltd.);

Paper ID: 1007 - Probabilistic Inference Based Message-Passing For Resource Constrained DCOPs
Supriyo  Ghosh (Singapore Management University);  Akshat  Kumar (Singapore Management University);  Pradeep  Varakantham (Singapore Management University)

Paper ID: 1009 - A Bargaining Mechanism for One-Way Games
Andres Abeliuk (NICTA), Gerardo  Berbeglia (NICTA and Melbourne Business School);  Pascal  Van Hentenryck (NICTA and Australian National University)

Paper ID: 1016 - An Exact Inference Scheme for MinSAT
Chu-Min  Li (Univ. PIcardie, France);  Felip  Manya (IIIA-CSIC, Spain);

Paper ID: 1018 - Do we criticise (and laugh) in the same way? Multi-lingual automatic detection of satirical news in Twitter
Francesco Barbieri (Universitat Pompeu Fabra ), Horacio  Saggion (Universitat Pompeu Fabra, Barcelona);  Francesco  Ronzano (Universitat Pompeu Fabra, Barcelona);

Paper ID: 1019 - On the Online Generation of Effective Macro-operators
Lukas Chrpa (University of Huddersfield), Mauro  Vallati (University of Huddersfield);  Thomas Leo McCluskey (University of Huddersfield)

Paper ID: 1025 - Tradeoffs between Incentive Mechanisms in Boolean Games
Vadim Levit (Ben-Gurion University of the Negev), Zohar  Komarovsky (Ben-Gurion University of the Negev);  Tal  Grinshpoun (Ariel University);  Amnon  Meisels (Ben-Gurion University of the Negev)

Paper ID:1026 - Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search
Jimmy Lee(The Chinese University of Hong Kong); Zichen Zhu(The Chinese University of Hong Kong);

Paper ID: 1028 - Probabilistic Knowledge-Based Programs
Lang Jéróme (CNRS-LAMSADE), Bruno  Zanuttini (GREYC, Normandie Université);

Paper ID: 1035 - A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality
Yinqing Xu (The Chinese University of Hong Kong), Bei  Shi ;  Wentao  Tian ;  Wai  Lam (The Chinese University of Hong Kong)

Paper ID: 1039 - Bonus or Not? Learn to Reward in Crowdsourcing
Ming Yin (Harvard University), Yiling  Chen (Harvard University)

Paper ID: 1040 - Logic-geometric programming: An optimization-based approach to combined task and motion planning
Marc Toussaint (University of Stuttgart)

Paper ID: 1042 - Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
Andrea Micheli (Fondazione Bruno Kessler, Trento, Italy), Minh  Do (SGT & NASA ARC);  David E Smith (NASA Ames Research Center);

Paper ID: 1050 - Simulation-Based Admissible Dominance Pruning
Alvaro Torralba (Saarland University), Joerg  Hoffmann (Saarland University);

Paper ID:1059 - CEIL: A scalable, resolution limit free approach for detecting communities in large networks
Vishnu Sankar(Indian Institute of Technology, Madras); Balaraman Ravindran(Indian Institute of Technology Madras); Shivashankar S(Ericsson);

Paper ID: 1060 - An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling
Florian Wisser (Vienna University of Technology)

Paper ID: 1068 - A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games
Oskar  Skibski (Kyushu University);  Tomasz P Michalak (University of Oxford/University of Warsaw);  Yuko  Sakurai (Kyushu University);  Makoto  Yokoo (Kyushu University)

Paper ID: 1073 - Maximizing the Coverage of Information Propagation in Social Networks
Zhefeng  Wang (University of Science and Technology of China);  Qi  Liu (University of Science and Technology of China);  Yu  Yang (Simon Fraser University);  Yong  Ge (UNC Charlotte);  Enhong  Chen ;  Biao  Chang (University of Science and Technology of China)

Paper ID:1078 - Multi-Armed Bandits for Adaptive Constraint Propagation
Amine Balafrej(Ecole de Mines de Nantes); Anastasia Paparrizou(Universit? Montpellier, LIRMM-CNRS); Christian Bessiere(CNRS);

Paper ID: 1082 - Further Connections between Contract-Scheduling and Ray-Searching Problems
Spyros Angelopoulos (CNRS and University Pierre et Marie Curie)

Paper ID:1083 - Towards Addressing the Winograd Schema Challenge - Building and Using Needed Tools
Arpit Sharma(Arizona State University); Somak Aditya(Arizona State University); Nguyen H Vo(Arizona State University); Chitta Baral(Arizona State University);

Paper ID: 1086 - Efficiency and complexity of price competition among single-product vendors
Ioannis  Caragiannis (University of Patras);  Xenofontas  Chatzigeorgiou (University of Patras);  Panagiotis  Kanellopoulos (University of Patras);  George A. Krimpas (University of Patras);  Nikos  Protopapas (University of Patras);  Alexandros A. Voudouris (University of Patras),

Paper ID: 1095 - When Schwartz' Conjecture Holds
Matthias Mnich (Bonn University), Yash Raj  Shrestha (ETH Zurich);  Yongjie  Yang (MMCI, Saarland University)

Paper ID: 1098 - Models of Action Concurrency in Temporal Planning
Jussi Rintanen (Aalto University)

Paper ID: 1100 - On Constrained Boolean Pareto Optimization
Chao Qian (Nanjing University), Yang  Yu (Nanjing University);  Zhi-Hua  Zhou (Nanjing University)

Paper ID: 1101 - Structure in Dichotomous Preferences
Edith Elkind (University of Oxford ), Martin  Lackner (TU Vienna); 

Paper ID: 1102 - Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs
Nic  Wilson (University College Cork);  Razak  Abdul (University College Cork);  Radu  Marinescu (IBM Research)

Paper ID: 1112 - Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Francesco Belardinelli (Université d'Evry, France), Davide  Grossi (University of Liverpool);  Alessio  Lomuscio (Imperial College London);

Paper ID:1113 - Combining Preference Elicitation and Search in Multiojbective State-Space Graphs
Nawal Benabbou(LIP6, UPMC); Patrice Perny(LIP6 - UPMC);

Paper ID: 1114 - How to select one preferred assertional-based repair from inconsistent and uncertain Description Logic knowledge bases?
Salem Benferhat (CRIL-CNRS UMR 8188), Zied  Bouraoui (CRIL-CNRS UMR 8188);  Karim   Tabia 

Paper ID: 1115 - Structural Tractability of Shapley and Banzhaf Values in Allocation Games
Gianluigi  Greco (University of Calabria);  Francesco  Lupia (University of Calabria);  Francesco  Scarcello (University of Calabria)

Paper ID:1123 - Algorithmic exam generation
Omer Geiger(Technion - Israel Institute of Techn); Shaul Markovitch(Technion - Israel Institute of Techn);

Paper ID:1124 - Estimating the Margin of Victory of Elections using Sampling
Palash Dey(Indian Institute of Science, Bangalore); Y. Narahari(Indian Institute of Science, Bangalore);

Paper ID: 1128 - Point-Based Planning for Multi-Objective POMDPs
Diederik  Roijers (University of Amsterdam);  Shimon  Whiteson (University of Amsterdam);  Frans  Oliehoek (University of Liverpool)

Paper ID: 1130 - Pushing Forward Marginal MAP with Best-First Search
Radu  Marinescu (IBM Research);  Rina  Dechter (University of California, Irvine);  Alexander  Ihler (ifornia, Irvine);

Paper ID: 1141 - Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
Jeremias  Berg (University of Helsinki);  Paul  Saikko (University of Helsinki);  Matti  Järvisalo (University of Helsinki);

Paper ID: 1143 - Prime Compilation of Non-Clausal Formulae
Alessandro  Previti (University College Dublin);  Alexey  Ignatiev (INESC-ID Lisboa);  Antonio  Morgado (INESC-ID/IST. University of Lisbon);  Joao  Marques-Silva (INESC-ID/IST. University of Lisbon)

Paper ID: 1149 - Literal-Based MCS Extraction
Carlos Mencía (CASL. University College Dublin), Alessandro  Previti (University College Dublin);  Joao  Marques-Silva (INESC-ID/IST. University of Lisbon)

Paper ID: 1157 - Structural Results for Cooperative Decentralized Control Models
Jilles Dibangoye (INSA Lyon), Olivier  Buffet (INRIA);  Olivier  Simonin ;

Paper ID: 1167 - Analysis of Sampling Algorithms for Twitter
Deepan  Palguna (Purdue University);  Vikas  Joshi (IBM India Research Lab);  Venkatesan  Chakaravarthy (IBM Research - India);  Ravi  Kothari (IBM India Research Lab);  L Venkata Subramaniam (IBM Research)

Paper ID: 1174 - Limited Lookahead in Incomplete-Information Games
Christian  Kroer (Carnegie Mellon University);  Tuomas  Sandholm (CMU);

Paper ID: 1179 - Lie on the Fly: Practical Manipulation with Incomplete Information
Lihi  Dery (Ariel University);  Zinovi  Rabinovich (Mobileye Vision Technologies Ltd);  Svetlana  Obraztsova (Tel Aviv University);  Meir  Kalech (Ben-Gurion University of the Negev)

Paper ID: 1187 - Solving QBF by Clause Selection
Mikolas  Janota (INESC-ID);  Joao  Marques-Silva (INESC-ID/IST. University of Lisbon)

Paper ID: 1193 - Regression Model Fitting under Differential Privacy and Model Inversion Attack
Yue  Wang (University of North Carolina at Charlotte);  Cheng  Si (University of Arkansas);  Xintao  Wu (University of Arkansas)

Paper ID: 1197 - A Privacy Preserving Algorithm for Multi-Agent Planning and Search
Brafman Ronen (Department of Computer Science)

Paper ID: 1201 - Optimal Network Security Hardening Using Attack Graph Games
Karel Durkota (Czech Technical University), Viliam  Lisy ;  Branislav  Bosansky (Aarhus University);  Christopher  Kiekintveld (University of Texas at El Paso)

Paper ID: 1203 - Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours
Josef  Bajada (King's College London);  Maria  Fox (King's College London);  Derek  Long (King's College London)

Paper ID: 1213 - Composing and Verifying Commitment-Based Multiagent Protocols
Matteo  Baldoni (Universitá di Torino, Dip. di Informatica);  Cristina  Baroglio (Universitá degli Studi di Torino);  Amit K. Chopra (Lancaster University);  Munindar P Singh (NC State University))

Paper ID: 1216 - Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs
Yue  Yin (University of Chinese Academic of Sciences);  Haifeng  Xu (University of Southern California);  Jiarui  Gan (University of Chinese Academic of Sciences);  Bo  An (Nanyang Technological University);  Albert Xin Jiang (Trinity University)

Paper ID: 1217 - Strategic Network Formation through Intermediaries
Elliot  Anshelevich (Rensselaer Polytechnic Institute);  Onkar  Bhardwaj (Rensselaer Polytechnic Institute);  Koushik  Kar

Paper ID: 1220 - AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand
Mehdi  Samadi (Carnegie Mellon Univeristy);  Partha Pratim Talukdar (Indian Institute of Science);  Manuela  Veloso (Carnegie Mellon University);  Tom  Mitchell (Carnegie Mellon University)

Paper ID: 1223 - Detecting Emotions in Social Media: A Constrained Optimization Approach
Yichen  Wang (Georgia Institute of Technology, USA);  Aditya   Pal (IBM)

Paper ID: 1228 - Nonnegative Matrix Tri-factorization with Graph Regularization for Community Detection in Social Networks
Yulong  Pei (Carnegie Mellon University);  Nilanjan  Chakraborty (Stony Brook University);  Katia  Sycara (Carnegie Mellon University)

Paper ID: 1233 - Active Learning for Coreference Resolution
Mrinmaya Sachan (Carnegie Mellon Univesity) Eduard  Hovy (Carnegie Mellon University, USA)

Paper ID: 1245 - Stick-Breaking Policy Learning in DEC-POMDPs
Miao  Liu (MIT);  Christopher   Amato (University of New Hampshire);  Xuejun  Liao (Duke University);  Jonathan  P. How (MIT);  Lawrence  Carin (Duke University)

Paper ID: 1246 - Smooth UCT Search in Computer Poker
Johannes  Heinrich (University College London);  David  Silver (Google DeepMind)

Paper ID: 1249 - Approximate Nash equilibria with near optimal social welfare
Artur  Czumaj (University of Warwick);  Michail  Fasoulakis (University of Warwick);  Marcin  Jurdzinski (University of Warwick)

Paper ID: 1252 - Maximal Cooperation in Repeated Games on Social Networks
Catherine Moon (Duke University) Vincent  Conitzer (Duke University)

Paper ID: 1253 - Efficient Search with an Ensemble of Heuristics
Mike  Phillips (Carnegie Mellon University);  Venkatraman  Narayanan (Carnegie Mellon University);  Sandip  Aine (Indraprastha Institute of Information Tech.);  Maxim  Likhachev (CMU)

Paper ID: 1259 - Spectrum-based Fault Localisation for Multi-Agent Systems
Lúcio Passos (Faculty of Engineering, University of Porto), Rui  Abreu (Universidade do Porto);  Rosaldo J. F. Rossetti (Faculty of Engineering, University of Porto);

Paper ID: 1280 - Exploiting the Structure of Unsatisfiable Cores in MaxSAT
Carlos Ansotegui (University of Lleida), Frederic  Didier (Google);  Joel  Gabas (University of Lleida);

Paper ID: 1282 - On the Resiliency of Unit Propagation to Max-Resolution
Andre  Abrame (Aix-Marseille University);  Djamal  Habet (Aix-Marseille University) 

Paper ID:1290 - Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally
Pavel Surynek(Charles University Prague);

Paper ID: 1294 - Bootstrapping domain ontologies from Wikipedia: a uniform approach
Daniil  Mirylenka (University of Trento, Italy);  Andrea  Passerini ;  Luciano  Serafini (Fondazione Bruno Kessler);

Paper ID: 1297 - The Complexity of Model Checking Succinct Multiagent Systems
Xiaowei Huang (University of New South Wales)

Paper ID:1308 - Towards Applying Interactive Dynamic Influence Diagrams to Real-Time Strategy Games
Ross Conroy(Teesside University); Yifeng Zeng(Teesside University); Marc Cavazza(Teesside University); Yingke Chen(University of Georgia);

Paper ID: 1316 - An Adaptive Computational Model for Personalized Persuasion
Kang  Yilin (Nanyang Technological University);  Ah-Hwee  Tan (Nanyang Technological University))

Paper ID: 1317 - Optimal Route Search with the Coverage of Users' Preferences
Xuefeng  Chen (University of Electronic Sci.and Tech. );  Yifeng  Zeng (Teesside University);  Xin  Cao (Queen' University Belfast);  Shengchao  Qin (Teesside University);  Marc  Cavazza (Teesside University);  Yanping  Xiang (University of Electronic Sci.and Tech. )

Paper ID: 1320 - Wisdom of Waze
Shoshana  Vasserman (Harvard University);  Michal  Feldman (Tel Aviv University);  Avinatan  Hassidim (Bar Ilan University)

Paper ID: 1322 - Kernel Contraction and Base Dependence: A Theoretical Benchmark for Relevance
Mehrdad  Oveisi (Simon Fraser University);  James  Delgrande (School of Computing Science);  Fred  Popowich (Simon Fraser University);  Francis Jeffry  Pelletier

Paper ID: 1330 - Optimal planning with axioms
Franc  Ivankovic (NICTA and Australian National University);  Patrik  Haslum (Australian National University)

Paper ID: 1333 - Saul: Towards Declarative Learning Based Programming
Parisa  Kordjamshidi (UIUC);  Dan   Roth (University of Illinois at Urbana-Champaign);  Hao  Wu (University of Illinois at Urbana-Champaign);

Paper ID: 1341 - Agile Planning for Real-World Disaster Response
Feng  Wu (University of Science and Technology of China);  Sarvapali D Ramchurn (ECS - Southampton, UK);  Wenchao  Jiang (University of Nottingham);  Joel  Fischer (University of Nottingham);  Tom  Rodden (University of Nottingham);  Nick  Jennings (University of Southampton);,

Paper ID: 1357 - Semi-Universal Portfolios with Transaction Costs
Dingjiang  Huang (East China University of Science and Tech.);  Yan  Zhu (East China University of Science and Tech.);  Bin  Li (Wuhan University );  Shuigeng  Zhou (Fudan University);  Steven C. H.   Hoi (SMU)

Paper ID:1360 - An Iterative Approach to Synthesize Data Transformation Programs
bo wu(University of Southern California); Craig A. Knoblock(University of Southern California);

Paper ID: 1362 - Automated Geometry Theorem Proving for Human-Readable Proofs
Ke  Wang (University of California, Davis);  Zhendong  Su (University of California, Davis);

Paper ID: 1365 - Ranked Voting on Social Networks
Ariel D. Procaccia (Carnegie Mellon University)Nisarg  Shah (Carnegie Mellon University);  Eric  Sodomka (Facebook);

Paper ID: 1367 - Exploiting Block Deordering for Improving Planners Efficiency
Lukas  Chrpa (University of Huddersfield);  Fazlu Hasan Siddiqui (Australian National University);

Paper ID: 1370 - Automatic Generation of Raven's Progressive Matrices
Ke  Wang (University of California, Davis);  Zhendong  Su (University of California, Davis);

Paper ID: 1376 - On the empirical time complexity of random 3-SAT at the phase transition
Zongxu  Mu (University of British Columbia);  Holger H. Hoos (University of British Columbia)

Paper ID: 1383 - Personalized Mathematical Word Problem Generation
Oleksandr  Polozov (University of Washington);  Eleanor  O'Rourke (University of Washington);  Adam M Smith (University of Washington);  Luke  Zettlemoyer (University of Washington);  Sumit  Gulwani (Microsoft Research Redmond);  Zoran  Popovic(University of Washington)

Paper ID:1388 - Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals
Jorge Torres(Pontificia Universidad Cat?lica de Chile); Jorge A. Baier(Pontificia Universidad Cat?lica de Chile);

Paper ID: 1396 - Opportunities or Risks to Reduce Labor Force in Crowdsourcing Translation? Characterizing Cost v.s. Quality in Balance
Rui Yan (University of Pennsylvania)

Paper ID:1401 - Quantifying Robustness of Trust Systems Against Collusive Unfair Rating Attacks Using Information Theory
Dongxia Wang(School of Computer Engineering); Tim Muller(Nanyang Technological Unversity); Jie Zhang(Nanyang Technological University); Yang Liu(Nanyang Technological University);

Paper ID: 1403 - Hamming Compatible Quantization for Hashing
Zhe  Wang (Peking University);  Ling-Yu  Duan (Peking University, China);  Jie  Lin (Institute for Infocomm Research  (I2R));  Xiaofang  Wang (Peking University, China);  Tiejun  Huang (Peking University, China);  Wen  Gao (Peking University, China);

Paper ID:1404 - A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly
Guoping Huang(NLPR, CASIA, Beijing. P.R. China); Jiajun Zhang(Institute of Automation of the CAS); Yu Zhou(Institute of Automation, CAS, P.R. China); Chengqing Zong(Institute of Automation, CAS, P.R. China);

Paper ID: 1412 - Joint POS Tagging and Text Normalization for Informal Text
Chen  Li (University of Texas at Dallas);  Yang  Liu (University of Texas at Dallas)

Paper ID: 1413 - Short and Sparse Text Topic Modeling via Self-Aggregation
Xiaojun  Quan (Institute for Infocomm Research  (I2R));  Chunyu  KIT (City University of Hong Kong);  Yong  Ge (UNC Charlotte);  Sinno Jialin  Pan (Nanyang Technological University)

Paper ID: 1417 - The Right to Obscure: a Mechanism and Initial Evaluation
Eric  Huang (Stanford University);  Jaron  Lanier (Microsoft Research);  Yoav  Shoham (Stanford University)

Paper ID:1419 - Web Page Classification based on Uncorrelated Semi-supervised Intra-view and Inter-view Manifold Discriminant Feature Extraction
Qian Liu(School of Computer, Wuhan University); Jing Xiao-Yuan(Computer of School, Wuhan University); Wu Fei(School of Computer, Wuhan University); Yangping Zhu(School of Computer, Wuhan University);

Paper ID: 1421 - Using External Resources and Joint Learning for BigramWeighting in ILP-Based Multi-Document Summarization
Chen  Li (University of Texas at Dallas);  Yang  Liu (University of Texas at Dallas);  Lin  Zhao (Bosch North American)

Paper ID: 1440 - Towards Domain-Specific SR: A Case Study from Geography
Sen W Shilad (Macalester College);  Isaac  Johnson (University of Minnesota);  Rebecca  Harper (Willamette University);  Huy  Mai (Brandeis University);  Samuel  Horlbeck Olsen (Macalester College);  Benjamin  Mathers (Macalester College);  Laura Souza Vonessen (University of Arizona);  Matthew  Wright (University of Minnesota--Twin Cities);  Hecht  Brent (University of Minnesota)

Paper ID: 1446 - Catch the Black Sheep: Unified Shilling Attack Detection based on Fraudulent Action Propagation
Yongfeng  Zhang (Tsinghua University);  Yunzhi  Tan ;  Min  Zhang (Tsinghua University    );  Yiqun  Liu (Tsinghua University    );  Shaoping  Ma (Tsinghua University)

Paper ID: 1460 - FlashNormalize: Programming by Examples for Text Normalization
Dileep  Kini (University of Illinois at Urbana-Champaign);  Sumit  Gulwani (Microsoft Research Redmond);

Paper ID: 1464 - A Fast Goal Recognition Technique based on Interaction Estimates
Yolanda  Escudero Martin (USRA);  Maria Dolores  Rodriguez Moreno (Universidad de Alcala);  David E Smith (NASA Ames Research Center)

Paper ID: 1466 - Grounding the Meaning of Words through Vision and Interactive Gameplay
Natalie  Parde (University of North Texas);  Adam  Hair (University of North Texas);  Michalis  Papakostas (University of Texas Arlington);  Konstantinos  Tsiakas (University of Texas Arlington);  Maria  Dagioglou (N.C.S.R. Demokritos);  Vangelis  Karkaletsis (N.C.S.R. Demokritos);  Rodney  Nielsen (University of North Texas);

Paper ID: 1476 - ASAP-UCT: Abstraction of State-Action Pairs in UCT
Ankit  Anand (Indian Institute of Technology, Delhi);  Aditya Grover (Indian Institute of Technology, Delhi); Mausam . (Indian Institute of Technology, Delhi);  Parag   Singla (Indian Institute of Technology, Delhi);

Paper ID: 1480 - Adaptive Sharing for Image Classification
Li  Shen (University of Chinese Academy of Sciences);  Gang  Sun (Inst. of Software, Chinese Academy of Science);  Zhouchen  Lin (Peking University);  Qingming  Huang (University of Chinese Academy of Sciences);  Enhua  Wu (Inst. of Software, Chinese Academy of Science);

Paper ID: 1482 - Graph-based Inverse Optimal Control for Robot Manipulation
Arunkumar  Byravan (University of Washington, Seattle);  Monfort  Mathew (University of Illinois at Chicago  (UIC));  Brian  Ziebart (University of Illinois at Chicago  (UIC));  Byron  Boots (Georgia Institute of Technology, USA);  Dieter  Fox (University of Washington);

Paper ID: 1488 - Extending AGM Contraction to Arbitrary Logics
Zhiqiang  Zhuang (Griffith University);  Zhe  Wang (Griffith University);  Kewen  Wang (Griffith University);  James  Delgrande (School of Computing Science)

Paper ID: 1490 - Towards City-scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties
Cen  CHEN (School of Information Systems);  Shih-Fen  Cheng  (School of Information Systems);  Archan  MISRA  (Singapore Management University);  Hoong Chuin  LAU (Singapore Management University)

Paper ID: 1491 - Generalized Transitive Distance with Minimum Spanning Random Forest
Zhiding  Yu (Carnegie Mellon University);  Weiyang  Liu (Peking University);  Wenbo  Liu (Carnegie Mellon University);  Xi  Peng (Institute for Infocomm Research  (I2R), A*STAR);  Zhuo  Hui (Carnegie Mellon Univeristy);  Vijayakumar  Bhagavatula (Carnegie Mellon University);

Paper ID:1497 - An Ontology Matching Approach Based on Affinity-Preserving RandomWalks
xiang chuncheng(GeTao);

Paper ID: 1498 - Portfolio Choices with Orthogonal Bandit Learning
Weiwei  Shen (GE Global Research);  Jun  Wang (Columbia University);  Yu-Gang  Jiang (Fudan University)

Paper ID:1500 - From Raw Sensor Data to Detailed Spatial Knowledge
Peng Zhang(The Australian National University); Jae Hee Lee(The Australian National University); Jochen Renz(The Australian National University);

Paper ID: 1504 - Learning Geographical Hierarchy Feature for Image Location Prediction
Zhang  Xiaoming (Beihang University);  Xia  Hu (Arizona State Univerity)

Paper ID: 1512 - A Deterministic Partition Function Approximation for Exponential Random Graph Models
Wen  Pu (LinkedIn Corp);  Jaesik  Choi (Ulsan National Institute of Science and Tech);  Yunseong  Hwang (UNIST);  Eyal  Amir (University of Illinois at Urbana-Champaign);

Paper ID: 1517 - Exchange of Indivisible Objects with Asymmetry
Zhaohong  Sun (Kyushu University);  Hideaki  Hata (Nara Institute of Science and Technology);  Taiki  Todo (Kyushu University);  Makoto  Yokoo (Kyushu University);

Paper ID: 1520 - Determining Expert Research Areas with Multi-instance Learning of Hierarchical Multi-label Classification Model
Tao  Wu (Purdue University);  Qifan  Wang (Purdue University);  Zhiwei  Zhang (Purdue University);  Luo  Si (Purdue University)

Paper ID:1529 - Personalized Sentiment Classification Based on Latent Individuality of Microblog Users
Kaisong Song(Notheastern University, P. R. China); Shi Feng(Notheastern University, P. R. China); Wei Gao(Qatar Computing Research Institute); Daling Wang(Notheastern University, P. R. China); Ge Yu(Notheastern University, P. R. China); Kam-Fai Wong(The Chinese University of Hong Kong);

Paper ID: 1548 - On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic
Natasha  Alechina (Nottingham University);  Nils  Bulling (Delft University of Technology);  Brian  Logan (University of Nottngham);  Hoang Nga  Nguyen (University of Nottingham)

Paper ID: 1550 - Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
Haodi  Zhang (HKUST);  Fangzhen  Lin (HKUST);

Paper ID: 1553 - Decomposition of the Factor Encoding for CSPs
Chavalit Likitvivatanavong (National University of Singapore) Wei  Xia (National University of Singapore);  Roland  Yap (National University of Singapore)

Paper ID: 1565 - A Simple Probabilistic Extension of Modal Mu-calculus
Wanwei  Liu (National University of Defense Technology);  Lei  Song (University of Technology, Sydney, Australia);  Ji  Wang (National University of Defense Technology);  Lijun  Zhang ;

Paper ID:1581 - On the Consistency of AUC Pairwise Optimization
Gao Wei(Nanjing Univeristy); Zhi-Hua Zhou(Nanjing University);

Paper ID: 1589 - The Power of Local Manipulation Strategies in Assignment Mechanisms
Timo  Mennle (University of Zurich);  Sven  Seuken (University of Zurich);  Michael  Weiss (University of Zurich);  Basil  Philipp (University of Zurich);

Paper ID: 1593 - A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites
Yu  Xiaofeng (HP Labs China);  Junqing  Xie (HP Labs China))

Paper ID: 1595 - On Conceptual Labeling of a Bag of Words
Xiangyan  Sun (Fudan University);  Yanghua  Xiao (Fudan Univ.);  Haixun  Wang (Google Research);  Wei  Wang (Fudan University)

Paper ID:1600 - Scalable Maintenance of Knowledge Discovery in an Ontology Stream
Freddy Lecue(IBM Research - Ireland);

Paper ID: 1601 - An approach for Improving RDF Data with Formal Concept Analysis
Mehwish  Alam (INRIA, Nancy, France);  Aleksey  Buzmakov (INRIA, Nancy, France);  Victor   Codocedo (INRIA, Nancy, France);  Amedeo  Napoli (CNRS);

Paper ID: 1602 - Statistical Regimes and Runtime Prediction
Barry  Hurley (Insight Centre for Data Analytics);  Barry  O'Sullivan (University College Cork)

Paper ID: 1624 - Solving the Station Repacking Problem
Alexandre Fréchette (University of British Columbia), Neil  Newman (University of British Columbia);  Kevin  Leyton-Brown (University of British Columbia)

Paper ID: 1627 - Correcting Covariate Shift with the Frank-Wolfe Algorithm
Junfeng  Wen (University of Alberta);  Russell  Greiner (University of Alberta);  Dale  Schuurmans (University of Alberta);