IJCAI 2015

646 papers

Modeling Users' Dynamic Preference for Personalized Recommendation

Xin Liu

Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations

Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera

Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering

Liping Jing, Peng Wang, Liu Yang

Differentially Private Matrix Factorization

Jingyu Hua, Chang Xia, Sheng Zhong

A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews

Guang-Neng Hu, Xin-yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen

Music Recommenders: User Evaluation Without Real Users?

Susan Craw, Ben Horsburgh, Stewart Massie

Optimal Greedy Diversity for Recommendation

Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen

MORRF*: Sampling-Based Multi-Objective Motion Planning

Daqing Yi, Michael A. Goodrich, Kevin D Seppi

An Iterative Approach to Synthesize Data Transformation Programs

Bo Wu, Craig A. Knoblock

Multi-Objective POMDPs with Lexicographic Reward Preferences

Kyle Hollins Wray, Shlomo Zilberstein

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning

Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

On the Effective Configuration of Planning Domain Models

Mauro Vallati, Frank Hutter, Lukáš Chrpa, Thomas Leo McCluskey

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals

Jorge Torres, Jorge A. Baier

Simulation-Based Admissible Dominance Pruning

Álvaro Torralba, Jorg Hoffmann

Planning for Stochastic Games with Co-Safe Objectives

Lei Song, Yuan Feng, Lijun Zhang

Deordering and Numeric Macro Actions for Plan Repair

Enrico Scala, Pietro Torasso

Point-Based Planning for Multi-Objective POMDPs

Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek

Models of Action Concurrency in Temporal Planning

Jussi Rintanen

Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games

Santiago Ontanon, Michael Buro

Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions

Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan John Witwicki

Sorting Sequential Portfolios in Automated Planning

Sergio Núñez, Daniel Borrajo, Carlos Linares Lopez

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations

Andrea Micheli, Minh Do, David E. Smith

Exploratory Digraph Navigation Using A*

Fabrice Mayran de Chamisso, Laurent Soulier, Michael Aupetit

Action2Activity: Recognizing Complex Activities from Sensor Data

Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum

Classical Planning with Simulators: Results on the Atari Video Games

Nir Lipovetzky, Miquel Ramirez, Hector Geffner

Metareasoning for Planning Under Uncertainty

Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz

Probabilistic Knowledge-Based Programs

Jérôme Lang, Bruno Zanuttini

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications

Bruno Lacerda, David Parker, Nick Hawes

Optimal Planning with Axioms

Franc Ivankovic, Patrik Haslum

Delete Relaxations for Planning with State-Dependent Action Costs

Florian Geißer, Thomas Keller, Robert Mattmüller

Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes

Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams

Synthesis for LTL and LDL on Finite Traces

Giuseppe De Giacomo, Moshe Vardi

Estimating the Probability of Meeting a Deadline in Hierarchical Plans

Liat Cohen, Solomon Eyal Shimony, Gera Weiss

On the Online Generation of Effective Macro-Operators

Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey

Exploiting Block Deordering for Improving Planners Efficiency

Lukáš Chrpa, Fazlul Hasan Siddiqui

A Privacy Preserving Algorithm for Multi-Agent Planning and Search

Ronen Israel Brafman

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours

Josef Bajada, Maria Fox, Derek Long

Further Connections Between Contract-Scheduling and Ray-Searching Problems

Spyros Angelopoulos

ASAP-UCT: Abstraction of State-Action Pairs in UCT

Ankit Anand, Aditya Grover, Mausam, Parag Singla

Tight Bounds for HTN Planning with Task Insertion

Ron Alford, Pascal Bercher, David W. Aha

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen

Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View

Meysam Aghighi, Christer Bäckström

Exploiting Symmetries by Planning for a Descriptive Quotient

Mohammad Abdulaziz, Michael Norrish, Charles Gretton

An Ontology Matching Approach Based on Affinity-Preserving Random Walks

Chuncheng Xiang, Baobao Chang, Zhifang Sui

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach

Daniil Mirylenka, Andrea Passerini, Luciano Serafini

Scalable Maintenance of Knowledge Discovery in an Ontology Stream

Freddy Lecue

How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases?

Salem Benferhat, Zied Bouraoui, Karim Tabia

Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All

Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Pascal Bercher, Florian Nothdurft

Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus

Daniele Alfarone, Jesse Davis

A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data

Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu

Linking Heterogeneous Input Features with Pivots for Domain Adaptation

Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu

Representation Learning for Measuring Entity Relatedness with Rich Information

Yu Zhao, Zhiyuan Liu, Maosong Sun

Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents

Wei Zhang, Jianyong Wang

Local Translation Prediction with Global Sentence Representation

Jiajun Zhang, Dakun Zhang, Jie Hao

Learning Term Embeddings for Hypernymy Identification

zheng Yu, Haixun Wang, Xuemin Lin, Min Wang

Optimizing Sentence Modeling and Selection for Document Summarization

Wenpeng Yin, Yulong Pei

Compressive Document Summarization via Sparse Optimization

Jin-ge Yao, Xiaojun Wan, Jianguo Xiao

Convolutional Neural Networks for Text Hashing

Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao

Modeling Quantum Entanglements in Quantum Language Models

Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li

Syntax-Based Deep Matching of Short Texts

Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu

Target-Dependent Twitter Sentiment Classification with Rich Automatic Features

Duy-Tin Vo, Yue Zhang

User Modeling with Neural Network for Review Rating Prediction

Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang

Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation

Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji

On Conceptual Labeling of a Bag of Words

Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang

Towards Addressing the Winograd Schema Challenge — Building and Using a Semantic Parser and a Knowledge Hunting Module

Arpit Sharma, Nguyen H Vo, Somak Aditya, Chitta Baral

An Active Learning Approach to Coreference Resolution

Mrinmaya Sachan, Eduard Hovy, Eric P. Xing

Convolutional Neural Tensor Network Architecture for Community-Based Question Answering

Xipeng Qiu, Xuanjing Huang

Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization

Daraksha Parveen, Michael Strube

Automated Rule Selection for Aspect Extraction in Opinion Mining

Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang

Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model

Pengfei Liu, Xipeng Qiu, Xuanjing Huang

Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation

Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu

Reader-Aware Multi-Document Summarization via Sparse Coding

Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao

Joint POS Tagging and Text Normalization for Informal Text

Chen Li, Yang Liu

Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance

Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki

Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora

Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha

A Hybrid Neural Model for Type Classification of Entity Mentions

Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu

Joint Learning of Character and Word Embeddings

Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huanbo Luan

Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets

Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer

Embedding Semantic Relations into Word Representations

Danushka Bollegala, Takanori Maehara, Ken-Ichi Kawarabayashi

Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter

Francesco Barbieri, Francesco Ronzano, Horacio Saggion

Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression

Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama

Offline Sketch Parsing via Shapeness Estimation

Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui

Automated Geometry Theorem Proving for Human-Readable Proofs

Ke Wang, Zhendong Su

A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments

Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann

Handling Complex Commands as Service Robot Task Requests

Vittorio Perera, Manuela Veloso

Combining Eye Movements and EEG to Enhance Emotion Recognition

Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu

A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly

Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong

The Right to Obscure: A Mechanism and Initial Evaluation

Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham

Algorithmic Exam Generation

Omer Geiger, Shaul Markovitch

What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules

Piotr Krzysztof Skowron

Spectrum-Based Fault Localisation for Multi-Agent Systems

Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti

Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods

Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe

Estimating the Margin of Victory of an Election Using Sampling

Palash Dey, Y. Narahari

Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties

Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra

Equilibria Under the Probabilistic Serial Rule

Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska

A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange

Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn

Pushdown Multi-Agent System Verification

Aniello Murano, Giuseppe Perelli

Verifying Emergent Properties of Swarms

Panagiotis Kouvaros, Alessio Lomuscio

The Complexity of Model Checking Succinct Multiagent Systems

Xiaowei Huang, Qingliang Chen, Kaile Su

Symbolic Model Checking for One-Resource RB+-ATL

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi