International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
7/27/2015
19:00
21:30
Openning
7/28/2015
08:30
09:30
Invited9
7/28/2015
09:30
09:40
Transition1
7/28/2015
09:40
10:40
7/28/2015
09:40
10:40
7/28/2015
09:40
10:40
7/28/2015
09:40
10:40
Distinguished Paper Distinguished Paper Distinguished Paper Main1
7/28/2015
09:40
10:40
7/28/2015
09:40
7/28/2015
Room ID
Session Title
Paper ID
Paper track ID
Paper Title
Paper Type
Panel ID
long
81
long
83
long
85
long
37
long
38
long
39
short
43
short
44
short
45
long
50
short
51
short
52
long
53
Alireza Ensan, Eugenia Ternovska
long
61
Sofie de Clercq, Steven Schockaert, Martine de Cock, Ann Nowe
long
63
long
65
short
16
Authors/Speaker
IJCAI 2015 Openning LB
Computers and Thought Award Transition
Invited9
9
Computers and Thought Award
Prof. Ariel Procaccia
GH
Distinguished Paper Track
Main75
75
Abram Friesen, Pedro Domingos
GH
Distinguished Paper Track
ML112
112
Recursive Decomposition for Nonconvex Optimization Bayesian Active Learning for Posterior Estimation
GH
Distinguished Paper Track
KR297
297
Reasonable Highly Expressive Query Languages
LB1
Game Theory 1
Main144
144
Simple Causes of Complexity in Hedonic Games
Main1
LB1
Game Theory 1
Main99
99
10:40
Main1
LB1
Game Theory 1
Main10
10
The Adjusted Winner Procedure: Characterizations and Equilibria Impartial Peer Review
09:40
10:40
Main76
LB2
Planning 1
Main784
784
7/28/2015
09:40
10:40
Main76
LB2
Planning 1
Main456
456
7/28/2015
09:40
10:40
Main76
LB2
Planning 1
Main1019
1019
7/28/2015
09:40
10:40
Main3
LB3
Relational Learning
Main718
718
7/28/2015
09:40
10:40
Main3
LB3
Relational Learning
Main554
554
7/28/2015
09:40
10:40
Main3
LB3
Relational Learning
Main580
580
7/28/2015
09:40
10:40
Main3
LB3
Relational Learning
Main1333
1333
7/28/2015
09:40
10:40
KR1
LP
KR Track: Aggregations
KR66
66
7/28/2015
09:40
10:40
KR1
LP
KR Track: Aggregations
KR126
126
7/28/2015
09:40
10:40
KR1
LP
KR Track: Aggregations
KR224
224
7/28/2015
09:40
10:40
ML1
R1
ML Track: Deep Learning 1
ML56
56
Deordering and Numeric Macro Actions for Plan Repair Cost-optimal and Net-benefit Planning--A Parameterised Complexity View On the Online Generation of Effective Macrooperators Anytime Inference in Probabilistic Logic Programs with Tp-compilation Knowledge Base Completion Using Embeddings and Rules Inducing Probabilistic Relational Rules from Probabilistic Examples Saul: Towards Declarative Learning Based Programming Modular Systems with Preferences Multilateral Negotiation in Boolean Games with Incomplete Information using Generalized Possibilistic Logic Computing social behaviours using agent models Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos Pierre Bourhis, Markus Krotzsch, Sebastian Rudolph Dominik Peters, Edith Elkind Haris Aziz, Simina Branzei, Aris Filos-Ratsikas, Soren Kristoffer Stiil Frederiksen David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia Scala Enrico, Pietro Torasso Meysam Aghighi, Christer Backstrom Lukas Chrpa, Mauro Vallati, Thomas Leo McCluskey Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc de Raedt Quan Wang, Bin Wang Luc de Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke Parisa Kordjamshidi, Dan Roth, Hao Wu
Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg Jian-Bo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiaoli Li, Priyadarsini Krishnaswamy Shonali
Page 1
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/28/2015
09:40
10:40
ML1
R1
ML Track: Deep Learning 1
ML249
249
7/28/2015
09:40
10:40
ML1
R1
ML Track: Deep Learning 1
ML250
250
7/28/2015
09:40
10:40
ML1
R1
ML Track: Deep Learning 1
ML514
514
7/28/2015
09:40
10:40
AIA1
R2
AIA15
15
7/28/2015
09:40
10:40
AIA1
R2
AI&Arts: Visual Arts, Music, Language AI&Arts: Visual Arts, Music, Language
AIA20
20
AIA44
44
CS33
33
7/28/2015
09:40
10:40
AIA1
R2
7/28/2015
09:40
10:40
CS2
R3
AI&Arts: Visual Arts, Music, Language CS Track: Machine learning
7/28/2015
09:40
10:40
CS2
R3
CS Track: Machine learning
CS87
87
7/28/2015
09:40
10:40
CS2
R3
CS Track: Machine learning
CS92
92
7/28/2015
09:40
10:40
CS2
R3
CS Track: Machine learning
CS100
100
7/28/2015
10:40
11:10
Poster1
7/28/2015
11:10
12:10
Sist1
Sister Track: Games, Probability and Ontologies
Sist1
1
Sist4
4
Sist6
6
Main550
Paper Title
Speeding up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves Perception Evolution Network Adapting to the Emergence of New Sensory Receptor Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences Looking at Mondrian's Victory Boogie-Woogie: What do I feel? Computational invention of cadences and chord progressions by conceptual chord-blending
Slogans are not forever: Adapting Linguistic Expressions to the News Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data Copula Graphical Models for Wind Resource Estimation On the Balance of Meter Deployment Cost and NILM Accuracy Modeling Multi-Attribute Demand for Sustainable Cloud Computing With Copulae
GH
Andreza Sartori, Yan Yan, Gozde Ozbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos, Emilios Cambouropoulos, Mihai Codescu, Marco Schorlemmer, Kai-Uwe Kuehnberger Lorenzo Gatti, Gozde Ozbal, Marco Guerini, Oliviero Stock, Carlo Strapparava Xi Chen, Faghmous James, Ankush Khandelwal, Vipin Kumar Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O’Reilly Xiaohong Hao, Bangsheng Tang, Yongcai Wang Maryam Ghasemi, Benjamin Lubin
550
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko Minming Li, Jialin Zhang, Qiang Zhang
Sist1
GH
7/28/2015
11:10
12:10
Sist1
GH
7/28/2015
11:10
12:10
Main4
LB1
Sister Track: Games, Probability and Ontologies Sister Track: Games, Probability and Ontologies Game Theory 2
7/28/2015
11:10
12:10
Main4
LB1
Game Theory 2
Main429
429
Gibbard Satterthwaite Games
7/28/2015
11:10
12:10
Main4
LB1
Game Theory 2
Main720
720
Truthful Cake Cutting Mechanisms with Externalities: Do not make them care for others too much! Automated Rule Selection for Aspect Extraction in Opinion Mining
Main5
Alessandro Sperduti
Piotr Krysta, Orestis Telelis and Carmine Ventre
12:10
12:10
Youlu Xing, Furao Shen, Jinxi Zhao
Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions (from AAMAS'13) Reasoning with Probabilistic Ontologies (from RR'13) Firefly Monte Carlo: Exact MCMC with Subsets of Data (from UAI'14) Fixing tournaments for kings, chokers, and more
11:10
11:10
Tobias Domhan, Tobias Springenberg, Frank Hutter
Paper Type
Panel ID
short
17
long
18
long
19
long
9
long
10
long
11
short
1
long
2
long
3
short
4
long
87
long
89
long
91
long
40
long
41
long
42
long
46
Coffee and Poster 1
7/28/2015
7/28/2015
Authors/Speaker
LB2
Natural Language Processing 1
Main812
812
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma and Riccardo Zese Dougal Maclaurin and Ryan Adams Michael Kim
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
Page 2
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/28/2015
11:10
12:10
Main5
LB2
Main791
791
Main1412
1412
Main830
830
LB3
Natural Language Processing 1 Natural Language Processing 1 Natural Language Processing 1 Multiagent Systems 1
7/28/2015
11:10
12:10
Main5
LB2
7/28/2015
11:10
12:10
Main5
LB2
7/28/2015
11:10
12:10
Main6
Main363
363
7/28/2015
11:10
12:10
Main6
LB3
Multiagent Systems 1
Main284
284
7/28/2015
11:10
12:10
Main6
LB3
Multiagent Systems 1
Main101
101
7/28/2015
11:10
12:10
Main6
LB3
Multiagent Systems 1
Main1124
1124
7/28/2015
11:10
12:10
KR2
LP
KR25
25
7/28/2015
11:10
12:10
KR2
LP
KR98
98
7/28/2015
11:10
12:10
KR2
LP
KR106
106
7/28/2015
11:10
12:10
KR2
LP
KR132
132
7/28/2015
11:10
12:10
Main7
R1
KR Track: DL and Ontologies 1 KR Track: DL and Ontologies 1 KR Track: DL and Ontologies 1 KR Track: DL and Ontologies 1 Recommender Systems 1
Main140
140
7/28/2015
11:10
12:10
Main7
R1
Recommender Systems 1
Main119
119
7/28/2015
11:10
12:10
Main7
R1
Recommender Systems 1
Main589
589
7/28/2015
11:10
12:10
ML2
R2
ML Track: New Problems
ML35
35
Efficient Query Rewriting in the Description Logic EL and Beyond Query Rewriting for Existential Rules with Compiled Preorder The Combined Approach to Query Answering Beyond the OWL 2 Profiles Exploring Implicit Hierarchical Structure for Recommender Systems Simple Atom Selection Strategy for Greedy Matrix Completion Personalized Tour Recommendation based on User Interests and Points of Interest Visit Durations Collaborative Place Models
7/28/2015
11:10
12:10
ML2
R2
ML Track: New Problems
ML105
105
Introspective Forecasting
7/28/2015
11:10
12:10
ML2
R2
ML Track: New Problems
ML438
438
7/28/2015
11:10
12:10
ML2
R2
ML Track: New Problems
ML558
558
7/28/2015
11:10
12:10
Main70
R3
Heuristic Search 1
Main159
159
7/28/2015
11:10
12:10
Main70
R3
Heuristic Search 1
Main1102
1102
Sketch the Storyline with CHARCOAL: a Nonparametric Approach Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go Computing Possibly Optimal Solutions for MultiObjective Constraint Optimisation with Tradeoffs
Paper Title
Prior-based Dual Additive Latent Dirichlet Allocation for User-item Connected Documents Joint POS Tagging and Text Normalization for Informal Text Multi-Document Abstractive Summarization Using ILP based Multi-Sentence Compression Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules Equilibria Under the Probabilistic Serial Rule Estimating the Margin of Victory of Elections using Sampling Polynomial Rewritings for Linear Existential Rules
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Wei Zhang, Jianyong Wang Chen Li, Yang Liu Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama Nhan-Tam Nguyen, Dorothea Baumeister, Joerg Rothe Piotr Skowron Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh Palash Dey, Y. Narahari Georg Gottlob, Marco Manna, Andreas Pieris Peter Hansen, Carsten Lutz, Inanc Seylan, Frank Wolter Mélanie König, Michel Leclere, Marie-Laure Mugnier Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo C. Cuenca Grau, Ian Horrocks Suhang Wang, Jiliang Tang, Huan Liu, Yilin Wang Zebang Shen, Hui Qian Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara Loizos Michael Siliang Tang, Wu Fei, Si Li, Zhongfei Zhang Yangqiu Song, Shusen Wang, Haixun Wang Steinmetz Erik, Maria L. Gini Nic Wilson, Razak Abdul, Radu Marinescu
Paper Type
Panel ID
long
47
short
48
short
49
long
54
long
55
short
56
short
57
long
67
short
69
long
71
short
73
long
20
long
21
long
22
short
12
long
13
short
14
long
15
long
5
short
6
Page 3
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/28/2015
11:10
12:10
Main70
R3
Heuristic Search 1
Main93
93
7/28/2015
11:10
12:10
Main70
R3
Heuristic Search 1
Main1253
1253
7/28/2015
12:10
12:30
Poster2
Poster 2
7/28/2015
12:30
14:00
Lunch1
Lunch
7/28/2015
14:00
15:00
Invited1
LB
Invited1
7/28/2015
14:00
15:00
Invited2
R
7/28/2015
15:00
15:10
Transition2
7/28/2015
15:10
16:30
Jnl1
GH
7/28/2015
15:10
16:30
Jnl1
GH
15:10
16:30
Jnl1
GH
7/28/2015
15:10
16:30
Jnl1
GH
15:10
16:30
Jnl1
Authors/Speaker
Generalized Rapid Action Value Estimation
Tristan Cazenave
Efficient Search with an Ensemble of Heuristics
Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev
1
Towards General Artificial Intelligence
Dr. Julien Cornebise
Invited2
2
Consciousness in Biological and Artificial Brains
Christof Koch
Journal Track: Natural Language Processing Journal Track: Natural Language Processing
Journal17
17
Erik Cambria, Bjorn Schuller, Yunqing Xia
Journal18
18
Journal Track: Natural Language Processing Journal Track: Natural Language Processing
Journal19
19
Journal20
20
Journal Track: Natural Language Processing
Journal21
New Avenues in Opinion Mining and Sentiment Analysis [Extended Abstract] Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended abstract) Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification [Extended Abstract] Enhanced SenticNet with Affective Labels for Concept-based Opinion Mining [Extended Abstract] Learning Cooperative Games Influence in Classification via Cooperative Game Theory Simultaneous Abstraction and Equilibrium Finding in Games Solving Heads-up Limit Texas Hold'em
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick Noam Brown, Tuomas Sandholm
Invited Talk 1: Julien Cornebise Invited Talk 2: Christof Koch
Paper Type short
Panel ID 7
long
8
Long
81
long
82
long
83
long
84
long
85
long
37
long
38
long
39
long
40
long
44
long
45
long
46
long
47
Transition
7/28/2015
7/28/2015
Paper Title
GH
21
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi Cristina Bosco, Viviana Patti, Andrea Bolioli Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria
Soujanya Poria, Erik Cambria, Newton Howard, Amir Hussain
7/28/2015
15:10
16:30
Main8
LB1
Game Theory 3
Main432
432
7/28/2015
15:10
16:30
Main8
LB1
Game Theory 3
Main808
808
7/28/2015
15:10
16:30
Main8
LB1
Game Theory 3
Main658
658
7/28/2015
15:10
16:30
Main8
LB1
Game Theory 3
Main521
521
7/28/2015
15:10
16:30
ML-ISC1
LB2
ML-ISC1
1
Learning in the Model Space for Temporal Data
7/28/2015
15:10
16:30
ML-ISC1
LB2
ML-ISC2
2
15:10
16:30
ML-ISC1
LB2
ML-ISC3
3
Fast Spatio-temporal Analysis via Low Rank Tensor Learning Languages for Mining and Learning
Yan Liu
7/28/2015 7/28/2015
15:10
16:30
ML-ISC1
LB2
ML Track: Invited Sister Conference Presentations 1 ML Track: Invited Sister Conference Presentations 1 ML Track: Invited Sister Conference Presentations 1 ML Track: Invited Sister Conference Presentations 1
ML-ISC4
4
Learning as Interpretation
Stephen Muggleton
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Maria F Balcan, Ariel D. Procaccia, Yair Zick
Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling Peter Tino
Luc De Raedt
Page 4
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/28/2015
15:10
16:30
Main10
LB3
Web Mining 1
Main152
152
7/28/2015
15:10
16:30
Main10
LB3
Web Mining 1
Main1446
1446
7/28/2015
15:10
16:30
Main10
LB3
Web Mining 1
Main17
17
7/28/2015
15:10
16:30
Main10
LB3
Web Mining 1
Main1504
1504
7/28/2015
15:10
16:30
KR3
LP
KR40
40
7/28/2015
15:10
16:30
KR3
LP
KR123
123
7/28/2015
15:10
16:30
KR3
LP
KR Track: DL and Ontologies 2 KR Track: DL and Ontologies 2 KR Track: DL and Ontologies 2
KR133
133
7/28/2015
15:10
16:30
KR3
LP
7/28/2015
15:10
16:30
Main11
R1
7/28/2015
15:10
16:30
Main11
R1
7/28/2015
15:10
16:30
Main11
R1
7/28/2015
15:10
16:30
Main11
R1
7/28/2015
15:10
16:30
Main11
R1
7/28/2015
15:10
16:30
ML3
R2
7/28/2015
15:10
16:30
ML3
R2
7/28/2015
15:10
16:30
ML3
R2
7/28/2015
15:10
16:30
ML3
R2
7/28/2015
15:10
16:30
ML3
R2
KR Track: DL and Ontologies 2 Natural Language Processing 2 Natural Language Processing 2 Natural Language Processing 2 Natural Language Processing 2 Natural Language Processing 2 ML Track: Transfer Learning and Multi-task Learning ML Track: Transfer Learning and Multi-task Learning ML Track: Transfer Learning and Multi-task Learning ML Track: Transfer Learning and Multi-task Learning ML Track: Transfer Learning and Multi-task Learning
Paper Title
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling Catch the Black Sheep: Unified Shilling Attack Detection based on Fraudulent Action Propagation Detecting Promotion Campaigns in Community Question Answering Learning Geographical Hierarchy Feature for Image Location Prediction The Complexity of Subsumption in Fuzzy EL Efficient Paraconsistent Reasoning with Ontologies and Rules First-Order Rewritability of Ontology-Mediated Temporal Queries
Authors/Speaker
Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Shaoping Ma Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun Zhang Xiaoming, Xia Hu Stefan Borgwardt, Marco Cerami, Rafael Penaloza Tobias Kaminski, Matthias Knorr, Joao Leite Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev Diego Calvanese, Marco Montali, Ario Santoso
KR260
260
Main823
823
Main874
874
Main252
252
Main982
982
Main164
164
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model Representation Learning for Measuring Entity Relatedness with Rich Information Local Translation Prediction with Global Sentence Representation Joint Learning of Character and Word Embeddings
ML78
78
Multi-Task Model and Feature Joint Learning
Lei Xu, Xinxiong Chen, Zhiyuan Liu, Maosong Sun, Huanbo Luan Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao
ML106
106
Deep Low-Rank Coding for Transfer Learning
Zhengming Ding, Ming Shao, Yun Fu
ML142
142
Xianchao Zhang, Xiaotong Zhang, Han Liu
ML174
174
Multi-task Multi-view Clustering for Non-negative Data Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes Multi-task Multi-dimensional Hawkes Processes for Modeling Event Sequences
ML340
340
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Meiping Dong, Yang Liu, Maosong Sun PengFei Liu, Xipeng Qiu, Xuanjing Huang Yu Zhao, Zhiyuan Liu, Maosong Sun Jiajun Zhang
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha
Paper Type
Panel ID
long
52
long
53
long
54
long
55
short
62
short
64
long
66
long
68
long
19
long
20
short
21
long
22
short
23
long
9
long
10
short
11
short
12
short
13
Page 5
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/28/2015
15:10
16:30
ML3
R2
7/28/2015
15:10
16:30
ML4
R3
Session Title
Paper ID
Paper track ID
ML Track: Transfer Learning and Multi-task Learning ML Track: Matrix Completion
ML350
350
Multitask Coactive Learning
Robby Goetschalckx, Alan Fern, Prasad Tadepalli
ML230
230
Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective Matrix Factorization with Scale-Invariant Parameters Accelerated Inexact Soft-Impute for Fast LargeScale Matrix Completion Scalable Probabilistic Tensor Factorization for Binary and Count Data
Yitan Li, Linli Xu, Fei Tian, Liang Jiang
Xiaowei Huang
Paper Title
Authors/Speaker
7/28/2015
15:10
16:30
ML4
R3
ML Track: Matrix Completion
ML311
311
7/28/2015
15:10
16:30
ML4
R3
ML Track: Matrix Completion
ML414
414
7/28/2015
15:10
16:30
ML4
R3
ML Track: Matrix Completion
ML473
473
7/28/2015
16:30
17:00
Poster3
7/28/2015
17:00
18:00
Main71
GH
Main1297
1297
7/28/2015
17:00
18:00
Main71
GH
Main218
218
The Complexity of Model Checking Succinct Multiagent Systems Pushdown Multi-Agent System Verification
7/28/2015
17:00
18:00
Main71
GH
Main688
688
Verifying Emergent Properties of Swarms
Alessio Lomuscio, Panagiotis Kouvaros
7/28/2015
17:00
18:00
Main71
GH
Model Verification/Model Checking Model Verification/Model Checking Model Verification/Model Checking Model Verification/Model Checking
Main672
672
Symbolic model-checking for single resource RB+ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Constraints, Satisfiability, and Search 1 Constraints, Satisfiability, and Search 1
Main1078
1078
Main608
608
Amine Balafrej, Anastasia Paparrizou, Christian Bessiere Long Tran-Thanh, Yingce Xia, Tao Qin, Nick Jennings
Constraints, Satisfiability, and Search 1
Main1383
Multi-Armed Bandits for Adaptive Constraint Propagation Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem Personalized Mathematical Word Problem Generation
17:00
18:00
Main73
LB1
7/28/2015
17:00
18:00
Main73
LB1
17:00
18:00
Main73
Piyush Rai, Changwei Hu, Lawrence Carin
Panel ID
short
14
long
1
long
2
long
3
long
4
Long
89
Short
90
Short
91
Short
92
Short
41
long
42
long
43
long
48
long
49
short
50
short
51
long
56
Coffee and Poster 3
7/28/2015
7/28/2015
Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang Quanming Yao, James Kwok
Paper Type
LB1
1383
7/28/2015
17:00
18:00
Main13
LB2
Social Networks 1
Main1317
1317
7/28/2015
17:00
18:00
Main13
LB2
Social Networks 1
Main377
377
7/28/2015
17:00
18:00
Main13
LB2
Social Networks 1
Main834
834
7/28/2015
17:00
18:00
Main13
LB2
Social Networks 1
Main234
234
7/28/2015
17:00
18:00
Main14
LB3
Vision and Perception 1
Main796
796
Optimal Route Search with the Coverage of Users' Preferences How Robust is the Wisdom of the Crowds? Uncovering the Formation of Triadic Closure in Social Networks Integrated Anchor and Social Link Predictions across Social Networks Face clustering in videos with proportion prior
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Aniello Murano, Giuseppe Perelli
Oleksandr Polozov, Eleanor O’Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovi Xuefeng Chen, Yifeng Zeng, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz Zhanpeng Fang, Jie Tang Jiawei Zhang, Philip Yu Zhiqiang Tang, Yifan Zhang, lu Han Qing
Page 6
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/28/2015
17:00
18:00
Main14
LB3
Vision and Perception 1
Main1491
1491
7/28/2015
17:00
18:00
Main14
LB3
Vision and Perception 1
Main693
693
7/28/2015
17:00
18:00
KR4
LP
KR41
41
7/28/2015
17:00
18:00
KR4
LP
KR42
42
7/28/2015
17:00
18:00
KR4
LP
KR82
82
7/28/2015
17:00
18:00
KR4
LP
KR101
101
7/28/2015
17:00
18:00
Main15
R1
Main779
779
7/28/2015
17:00
18:00
Main15
R1
Main876
876
7/28/2015
17:00
18:00
Main15
R1
Main1252
1252
7/28/2015
17:00
18:00
ML5
R2
ML186
186
7/28/2015
17:00
18:00
ML5
R2
ML214
214
7/28/2015
17:00
18:00
ML5
R2
ML279
279
7/28/2015
17:00
18:00
ML5
R2
ML475
475
7/28/2015
17:00
18:00
ML6
R3
ML138
138
7/28/2015
17:00
18:00
ML6
R3
ML227
227
7/28/2015
17:00
18:00
ML6
R3
KR Track: DL and Ontologies 3 KR Track: DL and Ontologies 3 KR Track: DL and Ontologies 3 KR Track: DL and Ontologies 3 Auctions And Market-Based Systems Auctions And Market-Based Systems Auctions And Market-Based Systems ML Track: High-Dimensional Data 1 ML Track: High-Dimensional Data 1 ML Track: High-Dimensional Data 1 ML Track: High-Dimensional Data 1 ML Track: Online Learning and Sequential Data 1 ML Track: Online Learning and Sequential Data 1 ML Track: Online Learning and Sequential Data 1
ML299
299
7/28/2015
17:00
18:00
ML6
7/28/2015
18:00
19:00
Poster4
7/29/2015
08:30
10:10
7/29/2015
08:30
10:10
Paper Title
Authors/Speaker
Generalized Transitive Distance with Minimum Spanning Random Forest Saliency Detection with a Deeper Investigation of Light Field Temporal Query Answering in the Description Logic EL Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies Combining Existential Rules and Description Logics
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, Vijayakumar Bhagavatula Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu Stefan Borgwardt, Veronika Thost
Mechanism Design and Search Algorithm for Lung Exchange Selling Reserved Instances in Cloud Computing
Suiqian Luo, Pingzhong Tang
Maximal Cooperation in Repeated Games on Social Networks Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction Semi-Orthogonal Multilinear PCA with Relaxed Start Feature Selection from Microarray Data via an Ordered Search with Projected Margin Discriminative Unsupervised Dimensionality Reduction Model Metric Co-learning for Time Series Classification Imaging Time-Series to Improve Classification and Imputation On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling Unsupervised Condition Monitoring Using Segmental Hidden Markov Models
Georg Gottlob, Andreas Pieris Bernardo C Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov Antoine Amarilli, Michael Benedikt
Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tieyan Liu Catherine Moon, Vincent Conitzer Deng Cai Qiquan Shi, Haiping Lu Saulo Villela, Saul C. Leite, Raul Fonseca Neto Xiaoqian Wang, Feiping Nie, Heng Huang Huanhuan Chen, Fengzhen Tang, Peter Tino, Anthony Cohn, Xin Yao Zhiguang Wang, Tim Oates
Paper Type
Panel ID
long
57
long
58
long
70
short
72
long
74
short
76
long
24
long
25
long
26
short
15
long
16
short
17
long
18
long
5
long
6
short
7
short
8
Frank Neumann, Carsten Witt
R3
ML Track: Online Learning and Sequential Data 1 Poster 4
ML418
418
Ind1
GH
Industry Session 1
Ind1
1
Alibaba Group Holding Limited
91
Ind1
GH
Industry Session 1
Ind2
2
Microsoft Corporation
92
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Chao Yuan
Page 7
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main35
35
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main1320
1320
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main1216
1216
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main705
705
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main545
545
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main1217
1217
7/29/2015
08:30
10:10
Main16
LB1
Game Theory 4
Main1201
1201
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main313
313
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main226
226
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main145
145
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main954
954
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main1480
1480
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main13
13
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main670
670
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main268
268
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main139
139
7/29/2015
08:30
10:10
Main18
LB2
Vision and Perception 2
Main995
995
7/29/2015
08:30
10:10
AIA2
LB3
AIA10
10
7/29/2015
08:30
10:10
AIA2
LB3
AIA28
28
7/29/2015
08:30
10:10
AIA2
LB3
AI&Arts: Music, Dance, Language, Visual Arts AI&Arts: Music, Dance, Language, Visual Arts AI&Arts: Music, Dance, Language, Visual Arts
AIA33
33
Paper Title
Possible and Necessary Allocations via Sequential Mechanisms Wisdom of Waze Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs A characterization of n-player strongly monotone scheduling mechanisms Spiteful Bidding in the Dollar Auction Strategic Network Formation through Intermediaries Optimal Network Security Hardening Using Attack Graph Games Trailer Generation via A Point Process-based Visual Attractiveness Model Social Image Parsing by Cross-Modal Data Refinement Cross-View Projective Dictionary Learning for Person Re-identification Modeling Inter- and Intra-Part Deformations for Object Structure Parsing Adaptive Sharing for Image Classification Salient Object Detection via Augmented Hypotheses Video Covariance Matrix Logarithm for Human Action Recognition in Videos Inferring Painting Style with Multi-task Dictionary Learning Semantic Single Video Segmentation with Robust Graph Representation Efficient and Accurate Set Based Registration of Aerial Images Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning Heroic vs Collaborative AI for the Arts Kinetic imaginations: Exploring the possibilities of combining AI and dance
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Haris Aziz, Toby Walsh, Lirong Xia Shoshana Vasserman, Michal Feldman, Avinatan Hassidim Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang Annamaria Kovacs, Angelina Vidali Marcin Waniek, Agata Niescieruk, Tomasz P Michalak, Talal Rahwan Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar Karel Durkota, Viliam Lisy, Branislav Bosansky, Christopher Kiekintveld Hongteng Xu, Yi Zhen, Hongyuan Zha Zhiwu Lu, Xin Gao, Liwei Wang, Songfang Huang Sheng Li, Ming Shao, Yun Fu Cai Ling, Rongrong Ji Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu Nguyen Tam Piotr T Bilinski, Francois Bremond Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Nicu Sebe Handong Zhao, Yun Fu Arandjelovic Ognjen Ning Xie, Tingting Zhao, Feng Tian, Xiaohua Zhang, Masashi Sugiyama Jon McCormack, Mark d’Inverno Alexander Berman, Valencia James
Paper Type
Panel ID
short
42
long
43
long
44
short
45
short
46
short
47
long
48
short
53
short
54
short
55
short
56
short
57
short
58
short
59
short
60
short
61
short
62
long
71
long
72
long
73
Page 8
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/29/2015
08:30
10:10
AIA2
LB3
7/29/2015
08:30
10:10
AIA2
LB3
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
KR5
LP
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML7
R1
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
ML8
R2
Session Title
Paper ID
Paper track ID
AI&Arts: Music, Dance, Language, Visual Arts AI&Arts: Music, Dance, Language, Visual Arts KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning
AIA36
36
AIA52
52
KR19
19
KR32
32
KR136
136
KR166
166
KR189
189
KR261
261
KR Track: Uncertainty reasoning KR Track: Uncertainty reasoning ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Reinforcement Learning 1 ML Track: Multi-label Learning ML Track: Multi-label Learning
Paper Title
Authors/Speaker
Pseudo-supervised training improves unsupervised melody segmentation Learning to Rap Battle with Bilingual Recursive Neural Networks A Logic for Reasoning about Justified Uncertain Beliefs Probabilistic Reasoning with Inconsistent Beliefs using Inconsistency Measures The cube of opposition - A structure underlying many knowledge representation formalisms Probabilistic belief contraction using argumentation Probabilistic Inference in Hybrid Domains by Weighted Model Integration Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions Compatible-based conditioning in interval-based possibilistic logic The Logic of Qualitative Probability
Stefan Lattner, Maarten Grachten, Carlos E. Cancino Chacon Dekai Wu, Karteek Addanki
Jacob Crandall
Thomas Cederborg, Ishaan Grover, Charles L. Isbell Jr., Andrea Thomaz Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes Deiner Mena, Elena Montanes, Jose R. Quevedo, Juan J. del Coz Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato
KR320
320
KR702
702
ML354
354
ML327
327
ML511
511
ML604
604
Robust Learning for Repeated Stochastic Games via Meta-Gaming Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning Symbol Acquisition for Probabilistic High-Level Planning Between Imitation and Intention Learning
ML623
623
Policy Shaping With Human Teachers
ML641
641
Active Imitation Learning of Hierarchical Policies
ML668
668
ML139
139
ML211
211
Inverse Reinforcement Learning in Relational Domains Using A* for Inference in Probabilistic Classifier Chains Crowdsourced Semantic Matching of Multi-Label Annotations
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Tuan-Fang Fan, Churn-Jung Liau Nico Potyka, Matthias Thimm Didier Dubois, Henri Prade, Agnčs Rico Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar Vaishak Belle, Andrea Passerini, Guy Van den Broeck Arthur Choi, Guy Van den Broeck, Adnan Darwiche Salem Benferhat, Amelie Levray, Karim Tabia, Vladik Kreinovich James Delgrande, Bryan Renne
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez James MacGlashan, Michael L. Littman
Paper Type
Panel ID
long
74
long
75
short
83
short
84
short
85
short
86
long
87
short
88
short
89
long
90
short
28
long
29
long
30
short
31
short
32
short
33
long
34
long
13
short
14
Page 9
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
ML8
R2
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
08:30
10:10
Jnl2
R3
7/29/2015
10:10
10:40
Poster5
7/29/2015
10:40
12:10
Ind2
7/29/2015
10:40
12:10
Ind2
GH
7/29/2015
10:40
12:10
Sist2
LB1
7/29/2015
10:40
12:10
Sist2
LB1
7/29/2015
10:40
12:10
Sist2
LB1
7/29/2015
10:40
12:10
Sist2
LB1
7/29/2015
10:40
12:10
Main19
7/29/2015
10:40
12:10
Main19
Session Title
Paper ID
Paper track ID
ML Track: Multi-label Learning ML Track: Multi-label Learning ML Track: Multi-label Learning ML Track: Multi-label Learning ML Track: Multi-label Learning Journal Track: Reasoning, Learning & Social Media Journal Track: Reasoning, Learning & Social Media
ML263
263
ML306
306
ML427
427
ML458
458
ML478
478
Journal1
1
Journal2
2
Industry Session 2
Muti-label structure learning with Ising model selection Towards Class-Imbalance Aware Multi-Label Learning Polytree-Augmented Classifier Chains for MultiLabel Classification Semi-supervised Multi-label Learning with Incomplete Labels Multi-label Classification with Feature-aware Nonlinear Label Space Transformation Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract) Inapproximability of Treewidth and Related Problems (Extended Abstract) Influencing Individually: Fusing Personalization and Persuasion Extended Abstract The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract) Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract
Authors/Speaker
Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu Lu Sun, Mineichi Kudo Feipeng Zhao, Yuhong Guo Xin Li, Yuhong Guo) Wolfgang Dvořak, Matti Jarvisalo, Johannes Peter Wallner, Stefan Woltran Karthik Dinakar, Rosalind Picard, Henry Lieberman
Journal3
3
Journal4
4
Journal10
10
Journal6
6
Ind3
3
Tencent Holdings Limited
Industry Session 2
Ind4
4
Facebook Incorporation
Sist2
2
Speedy versus Greedy Search (from SoCS'14)
Christopher Wilt and Wheeler Ruml
Sist7
7
Sist9
9
Sist16
16
LB2
Sister Track: Planning and Search Sister Track: Planning and Search Sister Track: Planning and Search Sister Track: Planning and Search Game Theory 5
Main214
214
LB2
Game Theory 5
Main387
387
Max is More than Min: Solving Maximization Problems with Heuristic Search (from SoCS'14) Exploiting Separability in Multiagent Planning with Continuous-State MDPs (from AAMAS'14) LP-based Heuristics for Cost-optimal Planning (from ICAPS'14) Equilibrium Refinement through Negotiation in Binary Voting Welfare Maximization in Fractional Hedonic Games
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner and Wheeler Ruml Jilles Dibangoye, Christopher Amato, Olivier Buffet and François Charpillet Florian Pommerening, Gabriele Roeger, Malte Helmert and Blai Bonet Umberto Grandi, Davide Grossi, Paolo Turrini Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig
GH
Journal Track: Reasoning, Learning & Social Media Journal Track: Reasoning, Learning & Social Media Journal Track: Reasoning, Learning & Social Media Journal Track: Reasoning, Learning & Social Media Coffee and Poster 5
Paper Title
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Yu Wu, Per Austrin, Toniann Pitassi, David Liu Shlomo Berkovsky, Jill Freyne, Harri OinasKukkonen Marc G. Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling Jie Yin, Harri Oinas-Kukkonen, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power
Paper Type
Panel ID
short
15
long
16
long
17
short
18
short
19
long
1
long
2
long
3
long
4
long
5
long
6
99 100 long
49
long
50
long
51
long
52
short
63
short
64
Page 10
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main1009
1009
A Bargaining Mechanism for One-Way Games
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main740
740
Convergence to Equilibria in Strategic Candidacy
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main713
713
A Dictatorship Theorem for Cake Cutting
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main1068
1068
A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games Strategic Candidacy Games with Lazy Candidates
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main737
737
7/29/2015
10:40
12:10
Main19
LB2
Game Theory 5
Main709
709
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
Main20
LB3
7/29/2015
10:40
12:10
KR8
LP
7/29/2015
10:40
12:10
KR8
LP
7/29/2015
10:40
12:10
KR8
LP
7/29/2015
10:40
12:10
KR8
LP
7/29/2015
10:40
12:10
KR8
LP
Natural Language Processing 3
Main1018
1018
Natural Language Processing 3 Natural Language Processing 3 Natural Language Processing 3 Natural Language Processing 3 Natural Language Processing 3 Natural Language Processing 3 KR Track: Conceptualization and causality KR Track: Conceptualization and causality KR Track: Conceptualization and causality KR Track: Conceptualization and causality KR Track: Conceptualization and causality
Main324
324
Main1083
1083
Main20
20
Main210
210
Main335
335
Main238
238
KR29
29
KR219
219
KR232
232
KR325
325
KR1550
1550
Paper Title
The Game-Theoretic Interaction Index on Social Networks With Applications to Link Prediction and Community Detection Do we criticise (and laugh) in the same way? Multi-lingual automatic detection of satirical news in Twitter Reader-Aware Multi-Document Summarization via Sparse Coding Towards Addressing the Winograd Schema Challenge - Building and Using Needed Tools User Modeling with Neural Network for Review Rating Prediction A Hybrid Neural Model for Type Classification of Entity Mentions Learning Term Embeddings for Hypernymy Identification Syntax-based deep matching of short texts Efficiently Finding Conditional Instruments for Causal Inference Query Understanding through Knowledge-Based Conceptualization Membership Constraints in Formal Concept Analysis A Modification of the Halpern-Pearl Definition of Causality Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglui, Nick Jennings Simina Branzei, Peter Bro B. Miltersen Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo Edith Elkind, Svetlana Obraztsova, Maria Polukarov, Zinovi Rabinovich Piotr Szczepa,ski, Tomasz P. Michalak, Talal Rahwan, Aleksy Barcz Francesco Barbieri, Horacio Saggion, Francesco Ronzano Piji Li, Lidong Bing, Wai Lam, Hang Li Arpit Sharma, Somak Aditya, Nguyen H. Vo, Chitta Baral Duyu Tang, Bing Qin, Ting Liu Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu Zheng Yu, Haixun Wang, Xuemin Lin Wang Mingxuan, Lu Zhengdong, Li Hang, Qun Liu Benito van der Zander, Johannes Textor, Maciej Liskiewicz Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen Sebastian Rudolph, Christian Sacarea, Diana Troanca Joseph Halpern
Paper Type
Panel ID
long
65
short
66
short
67
short
68
short
69
short
70
short
76
long
77
short
78
short
79
short
80
short
81
long
82
long
93
long
94
long
95
short
96
long
97
Haodi Zhang, Fangzhen Lin
Page 11
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
ML9
R1
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
Main36
R2
7/29/2015
10:40
12:10
CS4
R3
7/29/2015
10:40
12:10
CS4
R3
7/29/2015
10:40
12:10
CS4
R3
Session Title
Paper ID
Paper track ID
ML Track: Partial Label Learning ML Track: Partial Label Learning ML Track: Partial Label Learning ML Track: Partial Label Learning ML Track: Partial Label Learning ML Track: Partial Label Learning
ML82
82
ML111
111
ML305
305
ML390
390
ML431
431
ML580
580
ML Track: Partial Label Learning
ML660
660
Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications
Main1417
1417
Main1362
1362
Main472
472
Main133
133
Main1404
1404
Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications Multidisciplinary Topics and Applications CS Track: Reasoning, Planning and Learning CS Track: Reasoning, Planning and Learning CS Track: Reasoning, Planning and Learning
Main649
649
Main442
442
Main1123
1123
CS8
8
CS15
15
CS34
34
Paper Title
Authors/Speaker
Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing A Direct Boosting Approach for Semi-supervised Classification Solving the Partial Label Learning Problem: An Instance-based Approach Maximum Entropy Semi-Supervised Inverse Reinforcement Learning Pre-release Prediction of Crowd Opinion on Movies Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View MultiRelational Transductive Learning The Right to Obscure: a Mechanism and Initial Evaluation Automated Geometry Theorem Proving for Human-Readable Proofs Combining Eye Movements and EEG to Enhance Emotion Recognition Offline Sketch Parsing via Shapeness Estimation
Yulei Niu, Zhiwu Lu, Ji-Rong Wen
A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly A Study of Human-Agent collaboration for MultiUAV Coordination in Dynamic Environments Handling Complex Commands for Service Robot Task Requests Algorithmic exam generation
Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong
-min: a compact approximate solver for finitehorizon POMDPs Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs Multiple Instance Learning-based Birdsong Classification using Unsupervised Recording Segmentation
Yann Dujardin, Thomas Dietterich, Iadine Chades
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang) Min-Ling Zhang, Fei Yu Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh Xin Geng, Peng Hou Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran Eric Huang, Jaron Lanier, Yoav Shoham Ke Wang, Zhendong Su Yifei Lu, Wei-Long Zheng, Bin-Bin Li, Bao-Liang Lu Wu Jie, Changhu Wang, Liqing Zhang, Yong Rui
Sarvapali D Ramchurn, Joel E. Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock Perera Vittorio, Manuela Veloso Omer Geiger, Shaul Markovitch
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga Jose F. Ruiz-Munoz, Mauricio Orozco-Alzate, G. Castellanos- Dominguez
Paper Type
Panel ID
short
35
short
36
long
37
short
38
long
39
short
40
short
41
short
20
short
21
short
22
short
23
short
24
short
25
long
26
short
27
long
7
long
8
short
9
Page 12
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/29/2015
10:40
12:10
CS4
R3
7/29/2015
10:40
12:10
CS4
R3
7/29/2015
10:40
12:10
CS4
R3
7/29/2015
12:10
12:30
7/29/2015
12:30
7/29/2015
Paper Type
Panel ID
short
10
long
11
short
12
Session Title
Paper ID
Paper track ID
CS40
40
CS44
44
CS56
56
Secure Routing in Wireless Sensor Networks via POMDPs
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Walsh Toby Athirai A. Irissappane, Jie Zhang, Frans Oliehoek, Partha S. Dutta
Poster6
CS Track: Reasoning, Planning and Learning CS Track: Reasoning, Planning and Learning CS Track: Reasoning, Planning and Learning Poster 6
14:00
Lunch2
Lunch
14:00
15:00
Invited3
LB
Invited Talk 3: Pete Wurman
Invited3
3
AI and Robotics: Tales from Kiva Systems
Pete Wurman
7/29/2015
14:00
15:00
Invited4
R
Invited4
4
In Knowledge We Trust
Evgeniy Gabrilovich
7/29/2015
15:00
15:10
Transition3
Invited Talk 4: Evgeniy Gabrilovich Transition
7/29/2015
15:10
16:30
Ind3
GH
Industry Session 3
Ind5
5
Baidu Incorporation
7/29/2015
15:10
16:30
Ind3
GH
Industry Session 3
Ind6
6
Google Incorporation
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main936
936
Envy-free Sponsored Search Auctions with Budgets
Bo Tang, Jinshan Zhang
short
37
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main1246
1246
Smooth UCT Search in Computer Poker
Johannes Heinrich, David Silver
long
38
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main1174
1174
Christian Kroer, Tuomas Sandholm
short
39
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main1115
1115
long
40
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main853
853
short
41
7/29/2015
15:10
16:30
Main23
LB1
Game Theory 6
Main786
786
Limited Lookahead in Incomplete-Information Games Structural Tractability of Shapley and Banzhaf Values in Allocation Games Incentivizing Peer Grading in MOOCs: An Audit Game Approach SAT is an Effective and Complete Method for Solving Stable Matching Problems with Couples
short
42
7/29/2015
15:10
16:30
Panel1
LB2
Panel: Who Speaks for AI?
Panel1
7/29/2015
15:10
16:30
Main24
LB3
Planning 2
Main320
320
50
15:10
16:30
Main24
LB3
Planning 2
Main1098
1098
Nir Lipovetzky, Miquel Ramirez, Hector Geffner Jussi Rintanen)
long
7/29/2015
short
51
7/29/2015
15:10
16:30
Main24
LB3
Planning 2
Main604
604
short
52
7/29/2015
15:10
16:30
Main24
LB3
Planning 2
Main1367
1367
long
53
7/29/2015
15:10
16:30
Main24
LB3
Planning 2
Main969
969
long
54
7/29/2015
15:10
16:30
KR7
LP
KR Track: Epistemic logics
KR157
157
Classical Planning with Simulations: Results on the Atari Video Games Models of Action Concurrency in Temporal Planning Sorting Sequential Portfolios in Automated Planning Exploiting Block Deordering for Improving Planners Efficiency Delete Relaxations for Planning with StateDependent Action Costs Only Knowing Meets Common Knowledge
long
61
7/29/2015
15:10
16:30
KR7
LP
KR Track: Epistemic logics
KR183
183
Epistemic equilibrium logic
Luis Farińas del Cerro,
long
63
Paper Title
Optimal Electric Vehicle Charging Station Placement Reasoning about Connectivity Constraints
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
81 83
Gianluigi Greco, Francesco Lupia, Francesco Scarcello Alejandro Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick Joanna Drummond, Perrault Andrew, Fahiem Bacchus Michael Woodridge
Nunez Sergio, Daniel Borrajo, Carlos Linares Lopez Lukas Chrpa, Fazlu Hasan Siddiqui Florian Geißer, Thomas Keller, Robert Mattmuller Vaishak Belle, Gerhard Lakemeyer
Page 13
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
Paper Title
Authors/Speaker
Paper Type
Panel ID
long
65
long
67
long
19
short
20
long
21
short
22
long
10
short
11
long
12
short
13
long
14
long
1
long
2
short
3
short
4
long
5
Andreas Herzig, Ezgi Iraz Su 7/29/2015
15:10
16:30
7/29/2015
15:10
16:30
7/29/2015
15:10
16:30
7/29/2015
15:10
16:30
7/29/2015
15:10
7/29/2015
KR7
LP
KR Track: Epistemic logics
KR190
190
KR7
LP
Main25
R1
KR Track: Epistemic logics
KR227
227
Constraint Optimization
Main112
112
Main25
R1
Constraint Optimization
Main1141
1141
16:30
Main25
R1
Constraint Optimization
Main482
482
15:10
16:30
Main25
R1
Constraint Optimization
Main375
375
7/29/2015
15:10
16:30
Main26
R2
Heuristic Search 2
Main638
638
7/29/2015
15:10
16:30
Main26
R2
Heuristic Search 2
Main301
301
Verification of Knowledge-Based Programs over Description Logic Actions Multi-Agent Only Knowing on Planet Kripke
Benjamin Zarrieß, Jens Clasen
Finding Diverse Solutions of High Quality to Constraint Optimization Problems Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT Maximum Satisfiability using Cores and Correction Sets A Multicore Tool for Constraint Solving
Thierry Petit, Andrew C. Trapp
Compositional Program Synthesis from Natural Language and Examples ICBS: The Improved Conflict-based Search algorithm for Multi-Agent Pathfinding
7/29/2015
15:10
16:30
Main26
R2
Heuristic Search 2
Main1460
1460
Programming by Example for Text Normalization
7/29/2015
15:10
16:30
Main26
R2
Heuristic Search 2
Main81
81
7/29/2015
15:10
16:30
Main26
R2
Heuristic Search 2
Main1464
1464
7/29/2015
15:10
16:30
ML10
R3
ML55
55
7/29/2015
15:10
16:30
ML10
R3
ML80
80
Dual-regularized Multi-view Outlier Detection
7/29/2015
15:10
16:30
ML10
R3
ML Track: Multi-view Learning ML Track: Multi-view Learning ML Track: Multi-view Learning
A Fast Local Search for Mnimum Vertex Cover in Massive Graphs A Fast Goal Recognition Technique based on Interaction Estimates MUVIR: Multi-View Rare Category Detection
ML512
512
Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information
7/29/2015
15:10
16:30
ML10
R3
7/29/2015
15:10
16:30
ML10
7/29/2015
16:30
17:00
Poster7
7/29/2015
17:00
18:00
7/29/2015
17:00
7/29/2015
17:00
Multi-Graph-View Learning for Complicated Object Classification Multi-view Self-Paced Learning for Clustering
Guillaume Aucher, Vaishak Belle
Jeremias Berg, Paul Saikko, Matti Jarvisalo Nikolaj Bjorner, Nina Narodytska Amadini Roberto, Maurizio Gabbrielli, Jacopo Mauro Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, Oded Betzalel, Solomon Shimony, David Tolpin Dileep Kini, Sumit Gulwani Shaowei Cai Yolanda Escudero Martin, Maria Dolores Rodriguez Moreno, David E. Smith Zhou Dawei, Jingrui He, K. Selcuk Candan, Hasan Davulcu Handong Zhao, Yun Fu Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao Jia Wu, Shirui Pan, Xingquan Zhu, Chenqqi Zhang Chang Xu, Dacheng Tao, Chao Xu
ML529
529
R3
ML Track: Multi-view Learning ML Track: Multi-view Learning Coffee and Poster 7
ML639
639
Ind4
GH
Industry Session 4
Ind7
7
Huawei Technologies Company Limited
85
18:00
Ind4
GH
Industry Session 4
Ind8
8
BigML Incorportaion
87
18:00
Main27
LB1
Multiagent Systems 2
Main1490
1490
Towards City-scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Cen Chen, Shih-Fen Cheng, Archan Misra, Hoong Chuin Lau
long
Page 14
43
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/29/2015
17:00
18:00
Main27
LB1
Multiagent Systems 2
Main376
376
7/29/2015
17:00
18:00
Main27
LB1
Multiagent Systems 2
Main1259
1259
7/29/2015
17:00
18:00
Main28
LB2
Social Networks 2
Main1228
1228
7/29/2015
17:00
18:00
Main28
LB2
Social Networks 2
Main665
665
7/29/2015
17:00
18:00
Main28
LB2
Social Networks 2
Main889
889
7/29/2015
17:00
18:00
Main28
LB2
Social Networks 2
Main1059
1059
7/29/2015
17:00
18:00
Main61
LB3
Main1187
1187
7/29/2015
17:00
18:00
Main61
LB3
Main1376
1376
7/29/2015
17:00
18:00
Main61
LB3
Main915
915
7/29/2015
17:00
18:00
KR6
LP
Constraints, Satisfiability, and Search 2 Constraints, Satisfiability, and Search 2 Constraints, Satisfiability, and Search 2 KR Track: Logic Programming
KR5
5
7/29/2015
17:00
18:00
KR6
LP
KR Track: Logic Programming
KR182
182
7/29/2015
17:00
18:00
KR6
LP
KR Track: Logic Programming
KR223
223
7/29/2015
17:00
18:00
KR6
LP
KR Track: Logic Programming
KR253
253
7/29/2015
17:00
18:00
KR6
LP
KR Track: Logic Programming
KR308
308
7/29/2015
17:00
18:00
KR6
LP
KR Track: Logic Programming
KR69
69
7/29/2015
17:00
18:00
Main30
R1
Main Track: Knowledge Representation, Reasoning, and Logic 1 Main Track: Knowledge Representation, Reasoning, and Logic 1
Main494
494
7/29/2015
17:00
18:00
Main30
R1
Main1565
1565
Paper Title
A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange Spectrum-based Fault Localisation for Multi-Agent Systems Nonnegative Matrix Tri-factorization with Graph Regularization for Community Detection in Social Networks Personalized Ranking Metric Embedding for Next New POI Recommendation Influence Maximization in Big Network: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation CEIL: A scalable, resolution limit free approach for detecting communities in large networks Solving QBF by Clause Selection
Authors/Speaker
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn Lucio Passos, Rui Abreu, Rosaldo J. F. Rossetti Yulong Pei, Nilanjan Chakraborty, Katia Sycara Shanshan Feng, Tao Xu, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao Vishnu Sankar, Balaraman Ravindran, Shivashankar S. Mikolas Janota, Joao Marques-Silva
On the empirical time complexity of random 3-SAT at the phase transition Multi-Pass High-Level Presolving
Zongxu Mu, Holger H. Hoos
Partial Grounded Fixpoints
Bart Bogaerts, Joost Vennekens, Marc Denecker
First-Order Disjunctive Logic Programming vs Normal Logic Programming Simplifying a Logic Program Using Its Consequences Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective Logic Program Termination Analysis Using Rule Sizes Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories A Simple Probabilistic Extension of Modal Mucalculus
Yi Zhou
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Kevin Leo, Guido Tack
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan Mario Alviano, Wolfgang Faber
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna Francesco Belardinelli, Wiebe van der Hoek
Paper Type
Panel ID
long
44
long
45
long
46
long
47
short
48
short
49
long
55
long
56
long
57
short
69
short
71
short
73
short
75
short
77
short
79
short
23
short
24
Marius Pasca, Hylke Buisman
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
Page 15
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/29/2015
17:00
18:00
Main30
R1
Session Title
Paper ID
Paper track ID
Main1370
1370
7/29/2015
17:00
18:00
ML11
R2
7/29/2015
17:00
18:00
ML11
R2
7/29/2015
17:00
18:00
ML11
R2
7/29/2015
17:00
18:00
ML11
R2
7/29/2015
17:00
18:00
KR18
R3
7/29/2015
17:00
18:00
KR18
R3
7/29/2015
17:00
18:00
KR18
R3
7/29/2015
17:00
18:00
KR18
R3
7/29/2015
18:00
19:00
Poster8
Main Track: Knowledge Representation, Reasoning, and Logic 1 Main Track: Knowledge Representation, Reasoning, and Logic 1 Main Track: Knowledge Representation, Reasoning, and Logic 1 ML Track: Reinforcement Learning 2 ML Track: Reinforcement Learning 2 ML Track: Reinforcement Learning 2 ML Track: Reinforcement Learning 2 KR Track: Planning and Reasoning KR Track: Planning and Reasoning KR Track: Planning and Reasoning KR Track: Planning and Reasoning Poster 8
7/29/2015
20:00
24:00
Banquet
IJCAI 2015 Banquet
7/30/2015
08:30
09:30
Invited10
7/30/2015
09:30
09:40
Transition5
7/30/2015
09:40
10:40
7/30/2015
09:40
10:40
7/29/2015
7/29/2015
17:00
17:00
18:00
18:00
Main30
Main30
R1
R1
LB
John McCarthy Award
ML17
C
ML17
C
ML Track: High-Dimensional Data 2 ML Track: High-Dimensional Data 2
Main483
Main758
483
758
ML15
15
ML159
159
ML316
316
ML402
Paper Title
Authors/Speaker
Automatic Generation of Raven’s Progressive Matrices
Ke Wang, Zhendong Su
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages
Denis Maua, Cassio P. de Campos, Fabio G. Cozman
On the Graded Acceptability of Arguments
Davide Grossi, Sanjay Modgil
Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowe Yang Gao, Francesca Toni
402
Reinforcement Learning from Demonstration through Shaping Potential Based Reward Shaping for Hierarchical Reinforcement Learning Increasingly Cautious Optimism for Practical PACMDP Exploration Direct Policy Iteration with Demonstrations
KR68
68
Complexity Results in Epistemic Planning
KR154
154
KR191
191
KR208
208
Computation and Complexity of Preference Inference Based on Hierarchical Models Efficient Semantic Features for Automated Reasoning over Large Theories Fixed-parameter Tractable Reductions to SAT for Planning
Bolander Thomas, Martin Jensen, Francois Schwarzentruber Nic Wilson, Anne-Marie George, Barry O’Sullivan Cezary Kaliszyk, Josef Urban, Jiri Vyskocil Ronald de Haan, Martin Kronegger, Andreas Pfandler
Invited10
10
John McCarthy Award
Prof. Bart Selman
ML61
61
ML119
119
Intersecting Manifolds: Detection, Segmentation, and Labeling Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix Mirror Representation for Modeling View-specific Transform in Person Re-identification Mixed Error Coding for Face Recognition with Mixed Occlusions
Shay Deutsch, Gerard Medioni Xiaojie Guo
Liangpeng Zhang, Ke Tang, Xin Yao Jessica Chemali, Alessandro Lazaric
Paper Type
Panel ID
short
25
short
26
long
27
long
15
short
16
short
17
long
18
short
6
long
7
long
8
short
9
short
64
long
65
short
66
long
67
Transition
7/30/2015
09:40
10:40
ML17
C
7/30/2015
09:40
10:40
ML17
C
ML Track: High-Dimensional Data 2 ML Track: High-Dimensional Data 2
ML248
248
ML363
363
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Yingcong Chen, Wei-Shi Zheng, Jianhuang Lai Ronghua Liang, Xiao-Xin Li
Page 16
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
09:40
10:40
Main75
GH
Planning 3
Main661
661
7/30/2015
09:40
10:40
Main75
GH
Planning 3
Main755
755
7/30/2015
09:40
10:40
Main75
GH
Planning 3
Main1476
1476
7/30/2015
09:40
10:40
Main46
LB1
Sequential Decision Making
Main692
692
7/30/2015
09:40
10:40
Main46
LB1
Sequential Decision Making
Main209
209
7/30/2015
09:40
10:40
Main46
LB1
Sequential Decision Making
Main1245
1245
7/30/2015
09:40
10:40
Main46
LB1
Sequential Decision Making
Main671
671
7/30/2015
09:40
10:40
Main53
LB2
Main569
569
7/30/2015
09:40
10:40
Main53
LB2
Main1627
1627
7/30/2015
09:40
10:40
Main53
LB2
Main63
63
7/30/2015
09:40
10:40
Main53
LB2
Main510
510
7/30/2015
09:40
10:40
Main53
LB2
Main Track: Machine Learning 1 Main Track: Machine Learning 1 Main Track: Machine Learning 1 Main Track: Machine Learning 1 Main Track: Machine Learning 1
Main530
530
7/30/2015
09:40
10:40
Main53
LB2
Main513
513
LB3
Main Track: Machine Learning 1 Robotics and Vision 1
7/30/2015
09:40
10:40
Main64
Main61
61
7/30/2015
09:40
10:40
Main64
LB3
Robotics and Vision 1
Main761
761
7/30/2015
09:40
10:40
Main64
LB3
Robotics and Vision 1
Main1040
1040
7/30/2015
09:40
10:40
KR14
LP
7/30/2015
09:40
10:40
KR14
LP
7/30/2015
09:40
10:40
KR14
LP
KR Track: DL and Ontologies 4 KR Track: DL and Ontologies 4 KR Track: DL and Ontologies 4
KR72
72
KR88
88
KR89
89
Paper Title
Factored Upper Bounds for Multiagent Planning Problems with Non-Factored Value Functions Multi-Objective POMDPs with Lexicographic Reward Preferences ASAP-UCT: Abstraction of State-Action Pairs in UCT Optimization of probabilistic argumentation with Markov Decision Models Solving MDPs with Skew Symmetric Bilinear Utility Functions Stick-Breaking Policy Learning in DEC-POMDPs Non-monotone Adaptive Submodular Maximization Biclustering gene expressions using factor graphs and the max-sum algorithm Correcting Covariate Shift with the Frank-Wolfe Algorithm Character-based Parsing with Convolutional Neural Network Revisiting Gaussian Process Dynamical Models Adaptive Discriminative Reordering Model for Statistical Machine Translation Based on Structure Learning Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction Weakly Supervised RBM for Semantic Segmentation Toward Estimating Others Transition Models Under Occlusion for Multi-Robot IRL Logic-geometric programming: An optimizationbased approach to combined task and motion planning Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes Schema.org as a Description Logic Ontology-Mediated Queries with Closed Predicates
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Frans Oliehoek, Matthijs Spaan, Stefan Witwicki Kyle H Wray, Shlomo Zilberstein Ankit Anand, Aditya Grover, Mausam, Parag Singla Emmanuel Hadoux, Aurelie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng Miao Liu, Christopher Amato, Xuejun Liao, Jonathan P. How, Lawrence Carin Alkis Gotovos, Amin Karbasi, Andreas Krause Matteo Denitto, Manuele Bicego, Alessandro Farinelli Junfeng Wen, Russell Greiner, Dale Schuurmans Zheng Xiaoqing, Haoyuan Peng, Yi Chen Jing Zhao, Shiliang Sun
Paper Type
Panel ID
long
85
short
86
short
87
long
37
long
38
short
39
short
40
short
44
short
45
short
46
short
47
short
48
short
49
short
61
long
62
long
63
short
74
long
75
long
76
Biao Zhang, JinSong Su, JunFeng Yao
Wenbin Jiang, Qun Liu Yong Li, Jing Liu, Yuhang Wang, Lu Han Qing) Bogert Kenneth, Prashant Doshi Marc Toussaint
Victor Gutierrez-Basulto, Jean Christoph Jung, Thomas Schneider Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter Carsten Lutz, Inanc Seylan, Frank Wolter
Page 17
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
09:40
10:40
KR14
LP
KR96
96
R1
KR Track: DL and Ontologies 4 Recommender Systems 2
Main157
157
Main49
R1
Recommender Systems 2
Main932
932
10:40
Main49
R1
Recommender Systems 2
Main635
635
09:40
10:40
Main49
R1
Recommender Systems 2
Main829
829
Computing Horn Rewritings of Description Logics Ontologies Cross-Domain Collaborative Filtering with Review Text Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews Optimal Greedy Diversity for Recommendation
7/30/2015
09:40
10:40
Main49
7/30/2015
09:40
10:40
7/30/2015
09:40
7/30/2015
09:40
10:40
Main49
R1
Recommender Systems 2
Main264
264
Differentially Private Matrix Factorization
Guang-Neng Hu, Xin-Yu Dai, Yunya Song, ShuJian Huang, Jia-Jun Chen Ashkan Azin, Branislav Kveton, Shlomo Berkovsky, Zheng Wen Jingyu Hua, Chang Xia, Sheng Zhong
7/30/2015
7/30/2015
09:40
10:40
Main47
R2
Main440
440
7/30/2015
09:40
10:40
Main47
R2
Main1602
1602
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs Statistical Regimes and Runtime Prediction
Frederic Koriche, Jean-Marie J.M. Lagniez, Marquis Pierre, Samuel Thomas Barry Hurley, Barry O’Sullivan
7/30/2015
09:40
10:40
Main47
R2
Main1280
1280
7/30/2015
09:40
10:40
Main47
R2
Main292
292
09:40
10:40
Main47
R2
Main360
360
Exploiting the Structure of Unsatisfiable Cores in MaxSAT ReACTR: Realtime Algorithm Configuration through Tournament Rankings Expressive Logical Combinators for Free
Carlos Ansotegui, Frederic Didier, Joel Gabas Tadhg Fitzgerald, Yuri Malitsky, Barry O’Sullivan
7/30/2015 7/30/2015
09:40
10:40
ML18
R3
Constraints, Satisfiability, and Search 3 Constraints, Satisfiability, and Search 3 Constraints, Satisfiability, and Search 3 Constraints, Satisfiability, and Search 3 Constraints, Satisfiability, and Search 3 ML Track: Ensemble Methods
ML144
144
Instance-wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters Robust Clustering Ensemble
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka
Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning Training-Time Optimization of a Budgeted Booster
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu
7/30/2015
09:40
10:40
ML18
R3
7/30/2015
09:40
10:40
ML18
R3
7/30/2015
09:40
10:40
ML18
R3
7/30/2015
09:40
10:40
ML18
R3
7/30/2015
10:40
11:10
Poster13
7/30/2015
11:10
12:10
ML19
7/30/2015
11:10
12:10
7/30/2015
11:10
12:10
Paper Title
Authors/Speaker
Mark Kaminski, Bernardo C. Cuenca Grau Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei Liping Jing, Peng Wang
Pierre Geneves, Nabil Layaida, Alan Schmitt)
ML Track: Ensemble Methods ML Track: Ensemble Methods ML Track: Ensemble Methods ML Track: Ensemble Methods Coffee and Poster 9
ML403
403
ML428
428
ML612
612
ML648
648
An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines
Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye
C
ML Track: Sparsity
ML23
23
Jin Huang, Feiping Nie
ML19
C
ML Track: Sparsity
ML199
199
A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering Robust Dictionary Learning with Capped L1 Norm
ML19
C
ML Track: Sparsity
ML284
284
Convergence of Common Proximal Methods for L1 Regularized Least Squares
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Peng Zhou, Liang Du, Yi-Dong Shen
Yi Huang, Brian Powers, Lev Reyzin)
Wenhao Jiang, Feiping Nie, Heng Huang Shaozhe Tao, Daniel Boley, Shuzhong Zhang
Paper Type
Panel ID
short
77
short
19
short
20
long
21
short
22
short
23
short
10
long
11
short
12
short
13
short
14
short
1
long
2
short
3
short
4
short
5
short
68
short
69
short
70
Page 18
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
11:10
12:10
ML19
C
ML Track: Sparsity
ML291
291
7/30/2015
11:10
12:10
ML19
C
ML Track: Sparsity
ML335
335
7/30/2015
11:10
12:10
ML19
C
ML Track: Sparsity
ML616
616
7/30/2015
11:10
12:10
Main31
GH
Planning 4
Main523
523
7/30/2015
11:10
12:10
Main31
GH
Planning 4
Main1128
7/30/2015
11:10
12:10
Main31
GH
Planning 4
7/30/2015
11:10
12:10
Main31
GH
7/30/2015
11:10
12:10
Sist4
7/30/2015
11:10
12:10
Sist4
7/30/2015
11:10
12:10
Sist4
Paper Title
Authors/Speaker
Density Corrected Sparse Recovery when R.I.P. Condition is Broken Data Sparseness in Linear SVM
Ming Lin, Zhengzhong Lan, Alexander G. Hauptmann Xiang Li, Bin Gu, Charles Ling, Huaimin Wang Cheung Yiu-ming, Jian Lou
1128
Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games Point-Based Planning for Multi-Objective POMDPs
Main356
356
Exploratory Digraph Navigation using A*
Planning 4
Main754
754
LB1
Sister Track: Logic and Query
Sist3
3
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications How to Define Certain Answers (from KR'13)
LB1
Sister Track: Logic and Query
Sist8
8
LB1
Sister Track: Logic and Query
Sist11
11
7/30/2015
11:10
12:10
Main51
LB2
7/30/2015
11:10
12:10
Main51
LB2
7/30/2015
11:10
12:10
Main51
LB2
7/30/2015
11:10
12:10
Main51
LB2
7/30/2015
11:10
12:10
Main51
LB2
7/30/2015
11:10
12:10
Main52
LB3
7/30/2015
11:10
12:10
Main52
LB3
7/30/2015
11:10
12:10
Main52
LB3
7/30/2015
11:10
12:10
Main52
LB3
7/30/2015
11:10
12:10
Main52
LB3
Constraints, Satisfiability, and Search 4 Constraints, Satisfiability, and Search 4 Constraints, Satisfiability, and Search 4 Constraints, Satisfiability, and Search 4 Constraints, Satisfiability, and Search 4 Main Track: Machine Learning 2 Main Track: Machine Learning 2 Main Track: Machine Learning 2 Main Track: Machine Learning 2 Main Track: Machine Learning 2
Main312
312
Main1113
1113
Main171
171
Main1282
1282
Main1100
1100
Main643
643
Main955
955
Main467
467
Main712
712
Main656
656
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis (from RR'13) When Are Description Logic Knowledge Bases Indistinguishable? (from KR'14) Automatic Dominance Breaking for Constraint Optimization Problems Combining Preference Elicitation and Search in Multiojbective State-Space Graphs Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning On the Resiliency of Unit Propagation to MaxResolution On Constrained Boolean Pareto Optimization
Santiago Ontanon Villar, Michael Buro Diederik Roijers, Shimon Whiteson, Frans Oliehoek Fabrice Mayran de Chamisso, Laurent Soulier, Michael Aupetit Bruno Lacerda, David Parker, Nick Hawes Leonid Libkin Diego Calvanese, Giuseppe De Giacomo, Marco Montali and Fabio Patrizi Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev Christopher Mears, Maria Garcia-de-la-Banda Nawal Benabbou, Patrice Perny Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran Andre Abrame, Djamal Habet Chao Qian, Yang Yu, Zhi-Hua Zhou
Information Gathering in Networks via Active Exploration Multi-Label Active Learning: Query Type Matters
Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou
Medical Synonym Extraction with Concept Space Models Greedy Structure Search for Sum-Product Networks Active Learning from Crowds with Unsure Option
Chang Wang, Liangliang Cao
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Aaron Dennis, Dan Ventura Jinhong Zhong, Ke Tang, Zhi-Hua Zhou
Paper Type
Panel ID
short
71
short
72
short
73
long
88
short
89
short
90
long
91
long
41
long
42
long
43
long
50
short
51
short
52
short
53
short
54
short
55
short
56
short
57
short
58
short
59
Page 19
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/30/2015
11:10
12:10
Main52
LB3
7/30/2015
11:10
12:10
KR15
LP
Session Title
Paper ID
Paper track ID
Main Track: Machine Learning 2 KR Track: Datalog+/-
Main261
261
KR49
49
7/30/2015
11:10
12:10
KR15
LP
KR Track: Datalog+/-
KR128
128
7/30/2015
11:10
12:10
KR15
LP
KR Track: Datalog+/-
KR196
196
7/30/2015
11:10
12:10
KR15
LP
KR Track: Datalog+/-
KR204
204
7/30/2015
11:10
12:10
Main29
R1
Heuristic Search 3
Main904
904
7/30/2015
11:10
12:10
Main29
R1
Heuristic Search 3
Main684
684
7/30/2015
11:10
12:10
Main29
R1
Heuristic Search 3
Main623
623
7/30/2015
11:10
12:10
Main54
R2
Main944
944
7/30/2015
11:10
12:10
Main54
R2
Main255
255
7/30/2015
11:10
12:10
Main54
R2
Main621
621
7/30/2015
11:10
12:10
Main54
R2
Agent and Multi-agent Systems 1 Agent and Multi-agent Systems 1 Agent and Multi-agent Systems 1 Agent and Multi-agent Systems 1
Main1401
1401
7/30/2015
7/30/2015
7/30/2015
7/30/2015
7/30/2015
11:10
11:10
11:10
11:10
12:10
12:10
12:10
12:10
12:10
12:30
Main55
Main55
Main55
Main55
Poster14
R3
R3
R3
R3
Main Track: Knowledge Representation, Reasoning, and Logic 2 Main Track: Knowledge Representation, Reasoning, and Logic 2 Main Track: Knowledge Representation, Reasoning, and Logic 2 Main Track: Knowledge Representation, Reasoning, and Logic 2 Poster 10
Main1112
Main1500
Main622
Main707
1112
1500
622
707
Paper Title
Auxiliary Information Regularized Machine for Multiple Modality Feature Learning Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality Combining Existential Rules and Transitivity: Next Steps Characterization of the Expressivity of Existential Rule Queries Combining Existential Rules with the Power of CPTheories Interplanetary Trajectory Planning with Monte Carlo Tree Search H-Index Manipulation by Merging Articles: Models, Theory, and Experiments Model-based Genetic Algorithms for Algorithm Configuration Revenue Maximization Envy-free Pricing for Homogeneous Resources Competitive Pricing for Cloud Computing in an Evolutionary Market Optimal Incremental Preference Elicitation during Negotiation Quantifying Robustness of Trust Systems Against Collusive Unfair Rating Attacks Using Information Theory Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Paper Type
Panel ID
short
60
short
81
long
82
long
83
short
84
long
24
long
25
short
26
long
15
short
16
long
17
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu
short
18
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
short
6
short
7
Authors/Speaker
Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang Boris Motik, Yavor Nenov, Robert E. F. Piro, Ian Horrocks Jean-Francois Baget, Meghyn Bienvenu, MarieLaure Mugnier, Swan Rocher Sebastian Rudolph, Michael Thomazo Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana TifreaMarciuska Daniel Hennes, Dario Izzo Rene van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney Gianpiero Monaco, Piotr Sankowski, Qiang Zhang Bolei Xu, Tao Qin, Guoping Qiu, Tieyan Liu Tim Baarslag, Enrico H. Gerding
From Raw Sensor Data to Detailed Spatial Knowledge
Peng Zhang, Jae Hee Lee, Jochen Renz
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
long
8
A Common-Sense Conceptual Categorization System Integrating Proxytypes and the Dual Process of Reasoning
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho
long
9
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Page 20
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Room ID
Date
Start
End
Session ID
7/30/2015
12:30
14:00
Lunch3
7/30/2015
14:00
15:00
Invited5
LB
7/30/2015
14:00
15:00
Invited6
R
7/30/2015
15:00
15:10
Transition4
7/30/2015
15:10
16:30
AIA3
C
7/30/2015
15:10
16:30
AIA3
C
7/30/2015
15:10
16:30
AIA3
Paper ID
Paper track ID
Invited Talk 5: Jon McCormack Invited Talk 6: Manuela M. Veloso Transition
Invited5
5
Art is a System
Jon McCormack
Invited6
6
Making Intelligent Mobile Service a Reality
Manuela M. Veloso
AI&Arts: Music, Language, Visual Arts AI&Arts: Music, Language, Visual Arts
AIA4
4
Francois Pachet
AIA25
25
Generating 1/f noise sequences as constraint satisfaction: the Voss constraint Generating all Possible Palindromes from N-gram Corpora
Session Title
Paper Title
Authors/Speaker
Paper Type
Panel ID
long
67
long
68
long
69
long
70
short
83
short
84
long
85
long
86
short
87
short
88
long
37
short
38
short
39
short
40
Lunch
C
7/30/2015
15:10
16:30
AIA3
C
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main2
GH
7/30/2015
15:10
16:30
Main39
LB1
AI&Arts: Music, Language, Visual Arts
AIA40
AI&Arts: Music, Language, Visual Arts Natural Language Processing 4 Natural Language Processing 4 Natural Language Processing 4 Natural Language Processing 4 Natural Language Processing 4
AIA43
43
Main51
51
Main52
52
Main251
251
Main744
744
Main203
203
Natural Language Processing 4 Main Track: Ontologies
40
Main949
949
Main1114
1114
7/30/2015
15:10
16:30
Main39
LB1
Main Track: Ontologies
Main347
347
7/30/2015
15:10
16:30
Main39
LB1
Main Track: Ontologies
Main1600
1600
7/30/2015
15:10
16:30
Main39
LB1
Main Track: Ontologies
Main464
464
Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops Evolving Ambiguous Images Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data Compressive Document Summarization via Sparse Optimization Embedding Semantic Relations into Word Representations Word-error correction of continuous speech recognition based on Normalized Relevance Distance Convolutional Neural Networks for Text Hashing How to select one preferred assertional-based repair from inconsistent and uncertain Description Logic knowledge bases? Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus Scalable Maintenance of Knowledge Discovery in an Ontology Stream Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Regin, Francois Pachet Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon Adriano Vinhas, Joao Correia, Penousal Machado, Aniko Ekart Yaming Sun, Duyu Tang, Lei Lin, Zhenzhou Ji, Xiaolong Wang Guangyou Zhou, Jun Zhao, Xiao Miao Jin-ge Yao, Xiaojun Wan, Jianguo Xiao Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Wei Hong Hao Salem Benferhat, Zied Bouraoui, Karim Tabia
Daniele Alfarone, Jesse Davis Freddy Lecue Gregor Behnke, Denis Ponomaryov, Marvin Rudiger Georg Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Page 21
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
15:10
16:30
Main39
LB1
Main Track: Ontologies
Main1294
1294
7/30/2015
15:10
16:30
Main39
LB1
Main Track: Ontologies
Main1497
1497
7/30/2015
15:10
16:30
Main9
LB2
Social Choice Theory
Main1365
1365
Bootstrapping domain ontologies from Wikipedia: a uniform approach An Ontology Matching Approach Based on Affinity-Preserving RandomWalks Ranked Voting on Social Networks
7/30/2015
15:10
16:30
Main9
LB2
Social Choice Theory
Main297
297
Non-Myopic Negotiators See What's Best
7/30/2015
15:10
16:30
Main9
LB2
Social Choice Theory
Main57
57
7/30/2015
15:10
16:30
Main9
LB2
Social Choice Theory
Main1101
1101
Efficient, Private, and epsilon-Strategyproof Elicitation of Tournament Voting Rules Structure in Dichotomous Preferences
7/30/2015
15:10
16:30
Main9
LB2
Social Choice Theory
Main1179
1179
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main1035
1035
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main1130
1130
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main866
866
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main141
141
Paper Title
Lie on the Fly: Practical Manipulation with Incomplete Information A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality Pushing Forward Marginal MAP with Best-First Search From Weighted to Unweighted Model Counting Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity Differential Semantics of Intervention in Bayesian Networks Indirect Causes in Dynamic Bayesian Networks Revisited MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size On the entailment problem for a logic of typicality
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main337
337
7/30/2015
15:10
16:30
Main40
LB3
Graphical Models
Main215
215
7/30/2015
15:10
16:30
KR11
LP
KR Track: Reasoning
KR44
44
7/30/2015
15:10
16:30
KR11
LP
KR Track: Reasoning
KR226
226
7/30/2015
15:10
16:30
KR11
LP
KR Track: Reasoning
KR238
238
7/30/2015
15:10
16:30
KR11
LP
KR Track: Reasoning
KR256
256
7/30/2015
15:10
16:30
KR11
LP
KR Track: Reasoning
KR290
290
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main927
927
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries Did you know?: Mining Interesting Trivia for Entities from Wikipedia Synthesis for LTL and LDL on finite traces
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main789
789
Metareasoning for Planning Under Uncertainty
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Daniil Mirylenka, Andrea Passerini, Luciano Serafini Xiang Chuncheng Ariel D. Procaccia, Nisarg Shah, Eric Sodomka Yair Zick, Yoram Bachrach, Ian Kash, Peter Key Lee David Edith Elkind, Martin Lackner Lihi Dery, Zinovi Rabinovich, Svetlana Obraztsova, Meir Kalech Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam Radu Marinescu, Rina Dechter, Alexander Ihler Supratik Chakraborty, Dror Fried, Kuldeep Meel, Moshe Y. Vardi Venanzi Matteo, Luke Teacy, Alex Rogers, Nick Jennings Biao Qin Alexander Motzek, Ralf Moeller Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz Mario Alviano, Carmine Dodaro, Francesco Ricca Richard Booth, Giovani Casini, Thomas Meyer, Ivan J. Varzinczak Marcelo Arenas, Gabriel Dieguez, Jorge Perez Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg Giuseppe de Giacomo, Moshe Y. Vardi Christopher Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz
Paper Type
Panel ID
long
41
short
42
long
47
short
48
short
49
long
50
long
51
short
61
long
62
long
63
short
64
short
65
short
66
short
75
long
76
short
77
long
78
long
79
short
19
long
20
Page 22
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main1548
1548
Paper Title
Authors/Speaker
On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic Action2Activity: Recognizing Complex Activities from Sensor Data An Iterative Approach to Synthesize Data Transformation Programs Estimating the Probability of Meeting a Deadline in Hierarchical Plans Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation Probabilistic Inference Based Message-Passing For Resource Constrained DCOPs Applying Max-sum to Asymmetric Distributed Constraint Optimization Max-Sum Goes Private
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
Employing Machine Learning to Help Verifying Research Hypotheses The Democratization of Optimization
Huan Liu
Tensor Methods: A New Paradigm for Training Probabilistic Models and Feature Learning Discrete Chebyshev Classifiers
Animashree Anandkumar
Andreas Pfandler, Stefan Rummele, Johannes Wallner, Stefan Woltran Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rummele, Stefan Woltran Jon Yaggie, Gyorgy Turan Jérôme Delobelle, Sebastien Konieczny, Srdjan Vesic Martin Aleksandrov, Haris Aziz, Serge Gaspers, Walsh Toby Fei Fang, Peter Stone, Milind Tambe
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main108
108
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main1360
1360
7/30/2015
15:10
16:30
Main41
R1
Planning 5
Main211
211
7/30/2015
15:10
16:30
Main42
R2
Main38
38
7/30/2015
15:10
16:30
Main42
R2
Main1007
1007
7/30/2015
15:10
16:30
Main42
R2
Main729
729
7/30/2015
15:10
16:30
Main42
R2
Main415
415
7/30/2015
15:10
16:30
ML-ISC2
R3
ML-ISC5
5
7/30/2015
15:10
16:30
ML-ISC2
R3
ML-ISC6
6
7/30/2015
15:10
16:30
ML-ISC2
R3
ML-ISC7
7
7/30/2015
15:10
16:30
ML-ISC2
R3
ML-ISC8
8
7/30/2015
16:30
17:00
Poster11
Distributed Search/CSP/Optimization Distributed Search/CSP/Optimization Distributed Search/CSP/Optimization Distributed Search/CSP/Optimization ML Track: Invited Sister Conference Presentations 2 ML Track: Invited Sister Conference Presentations 2 ML Track: Invited Sister Conference Presentations 2 ML Track: Invited Sister Conference Presentations 2 Coffee and Poster 11
7/30/2015
17:00
18:00
KR13
C
KR Track: Belief Revision 1
KR99
99
7/30/2015
17:00
18:00
KR13
C
KR Track: Belief Revision 1
KR134
134
7/30/2015
17:00
18:00
KR13
C
KR Track: Belief Revision 1
KR146
146
On the Parameterized Complexity of Belief Revision An Extension-Based Approach to Belief Revision in Abstract Argumentation Characterizability in Belief Revision
7/30/2015
17:00
18:00
KR13
C
KR Track: Belief Revision 1
KR326
326
On the Aggregation of Argumentation Frameworks
7/30/2015
17:00
18:00
CS1
GH
CS5
5
7/30/2015
17:00
18:00
CS1
GH
CS Track: Game theory and Optimization CS Track: Game theory and Optimization
CS7
7
Online Fair Division: analysing a Food Bank problem When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Liu Ye, Liqiang Li Nie, Lei Han, Luming Zhang, David Rosenblum Bo Wu, Craig A. Knoblock Liat Cohen, Solomon Shimony, Gera Weiss Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham Roie Zivan, Tomer Parash, Yarden Naveh Tamir Tassa, Roie Zivan, Tal Grinshpoun
Kristian Kersting
Elad Eban
Paper Type
Panel ID
short
21
short
22
short
23
long
24
long
10
long
11
long
12
long
13
long
1
long
2
long
3
long
4
long
71
short
72
long
73
short
74
long
89
long
90
Page 23
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
17:00
18:00
CS1
GH
CS9
9
Main1553
1553
A Fast Combinatorial Algorithm for Optimizing the Spread of Cascades Decomposition of the Factor Encoding for CSPs
Main620
620
Packing Curved Objects
Main462
462
Guillaume Perez, Jean-Charles Regin
Main1026
1026
Main1529
1529
Main384
384
Efficient Operations on MDDs for building Constraint Programming Models Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search Personalized Sentiment Classification Based on Latent Individuality of Microblog Users Reasoning with Style
Main1413
1413
Main40
40
LB3
CS Track: Game theory and Optimization Constraints, Satisfiability, and Search 5 Constraints, Satisfiability, and Search 5 Constraints, Satisfiability, and Search 5 Constraints, Satisfiability, and Search 5 Web and Knowledge-based Information Systems 1 Web and Knowledge-based Information Systems 1 Web and Knowledge-based Information Systems 1 Web and Knowledge-based Information Systems 1 Robotics and Vision 2
7/30/2015
17:00
18:00
Main43
LB1
7/30/2015
17:00
18:00
Main43
LB1
7/30/2015
17:00
18:00
Main43
LB1
7/30/2015
17:00
18:00
Main43
LB1
7/30/2015
17:00
18:00
Main44
LB2
7/30/2015
17:00
18:00
Main44
LB2
7/30/2015
17:00
18:00
Main44
LB2
Main1290
1290
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan Chang Xiaojun, Yi Yang, Eric Xing, Alexander Hauptmann, Yaoliang Yu Pavel Surynek
LB3
Robotics and Vision 2
Main993
993
Short and Sparse Text Topic Modeling via SelfAggregation Semantic Concept Discovery for Large-Scale ZeroShot Event Detection Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally Reactive Integrated Motion Planning and Execution
7/30/2015
17:00
18:00
Main44
LB2
7/30/2015
17:00
18:00
Main45
7/30/2015
17:00
18:00
Main45
Multi-Modality Tracker Aggregation: from Generative to Discriminative Graph-based Inverse Optimal Control for Robot Manipulation Answer Update for Rule-based Stream Reasoning
Xiaoqin Zhang, Xiuzi Ye, Wei Li
7/30/2015
17:00
18:00
Main45
LB3
Robotics and Vision 2
Main883
883
7/30/2015
17:00
18:00
Main45
LB3
Robotics and Vision 2
Main1482
1482
7/30/2015
17:00
18:00
KR12
LP
KR108
108
7/30/2015
17:00
18:00
KR12
LP
KR173
173
7/30/2015
17:00
18:00
Main12
R1
KR Track: Answer Set Programming KR Track: Answer Set Programming Game Theory 7
Main547
547
Paper Title
On Knowledge Forgetting in Answer Set Programming Security Games with Information Leakage: Modeling and Computation
7/30/2015
17:00
18:00
Main12
R1
Game Theory 7
Main1095
1095
When Schwartz’ Conjecture Holds
7/30/2015
17:00
18:00
Main12
R1
Game Theory 7
Main841
841
7/30/2015
17:00
18:00
Main12
R1
Game Theory 7
Main1249
1249
Equilibrium Analysis of Multi-Defender Security Games Approximate Nash equilibria with near optimal social welfare
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Xiaojian Wu, Dan Sheldon, Shlomo Zilberstein Chavalit Likitvivatanavong, Wei Xia, Roland Yap Ignacio Salas, Gilles Chabert
Jimmy Lee, Zichen Zhu Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong Marti Bosch, Pierre Geneves, Nabil Layaida
Andreas Hofmann, Enrique Fernandez-Gonzalez, Justin Helbert, Scott D. Smith, Brian C. Williams
Arunkumar Byravan, Monfort Mathew, Brian Ziebart, Byron Boots, Dieter Fox Harald Beck, Minh Dao-Tran, Thomas Eiter Jianmin Ji, Yisong Wang Haifeng Xu, Albert Xin Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe Matthias Mnich, Yash Raj Shrestha, Yongjie Yang Jian Lou, Yevgeniy Vorobeychik Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
Paper Type
Panel ID
long
91
long
43
short
44
long
45
short
46
short
52
long
53
short
54
long
55
short
56
short
57
long
58
long
59
long
81
long
82
short
25
long
26
long
27
short
28
Page 24
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/30/2015
17:00
18:00
Main74
R2
Web Mining 2
Main416
416
7/30/2015
17:00
18:00
Main74
R2
Web Mining 2
Main614
614
7/30/2015
17:00
18:00
Main74
R2
Web Mining 2
Main919
919
7/30/2015
17:00
18:00
Main74
R2
Web Mining 2
Main1440
1440
7/30/2015
17:00
18:00
Main74
R2
Web Mining 2
7/30/2015
17:00
18:00
ML16
R3
ML Track: Hashing
ML70
70
7/30/2015
17:00
18:00
ML16
R3
ML Track: Hashing
ML154
154
7/30/2015
17:00
18:00
ML16
R3
ML Track: Hashing
ML277
277
7/30/2015
17:00
18:00
ML16
R3
ML Track: Hashing
ML315
315
7/30/2015
17:00
18:00
ML16
R3
ML Track: Hashing
ML388
388
7/30/2015
18:00
19:00
Poster12
Poster 12
7/30/2015
20:00
24:00
Reception
Student Reception
7/31/2015
08:30
10:10
Jnl3
C
Journal7
7
7/31/2015
08:30
10:10
Jnl3
C
Journal8
8
7/31/2015
08:30
10:10
Jnl3
C
Journal Track: Multiagent & Logic Journal Track: Multiagent & Logic Journal Track: Multiagent & Logic
Journal9
9
Journal Track: Multiagent & Logic Journal Track: Multiagent & Logic Journal Track: Multiagent & Logic
Journal5
5
Journal11
11
Journal12
12
7/31/2015
08:30
10:10
Jnl3
C
7/31/2015
08:30
10:10
Jnl3
C
7/31/2015
08:30
10:10
Jnl3
C
Main257
257
Paper Title
Tracking political elections on social media : Applications and Experience Interest Inference via Structure-Constrained MultiSource Multi-Task Learning Interactive Gender Inference with Integer Linear Programming Towards Domain-Specific SR: A Case Study from Geography
A Clustering Algorithm for Massive Amount of Texts Learning to Hash on Partial Multi-Modal Data
Authors/Speaker
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L. Venkata Subramaniam, Tanveer A. Faruquie Xuemeng Song, Liqiang Li Nie, Luming Zhang, Tat-Seng Chua Shoushan Li, Jingjing Wang, Guodong Zhou Sen W Shilad, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Hecht Brent Ming Liu, Bing Quan Liu, Xiang Nan Zhao, Xiao Long Wang Qifan Wang, Luo Si, Bin Shen
Quantized Correlation Hashing for Fast Crossmodal Search Ranking Preserving Hashing for Fast Similarity Search Semantic Topic Multimodal Hashing for Crossmedia Retrieval Optimal Bayesian Hashing for Efficient Face Recognition
Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang Qifan Wang
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract) On the Testability of BDI Agent Systems (Extended Abstract) Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract) Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract) Data Complexity of Query Answering in Description Logics (Extended Abstract)
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra Michael Winikoff, Stephen Cranefield
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He Qi Dai, Jianguo Li, Jun Wang, Yu-Gang Jiang, Yurong Chen
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti Munindar P. Singh Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Paper Type
Panel ID
short
14
short
15
short
16
long
17
short
18
short
5
short
6
short
7
long
8
short
9
long
61
long
62
long
63
long
64
long
65
long
66
Page 25
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main321
321
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main131
131
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main158
158
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main1593
1593
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main74
74
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main49
49
7/31/2015
08:30
10:10
Main17
GH
Web Mining 3
Main908
908
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main426
426
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main107
107
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main1143
1143
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main992
992
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main1149
1149
Efficient Model Based Diagnosis with Maximum Satisfiability Literal-Based MCS Extraction
7/31/2015
08:30
10:10
Main33
LB3
Satisfiability
Main1016
1016
An Exact Inference Scheme for MinSAT
David A Cohen, Martin C. Cooper, Peter Jeavons, Stanislav Zivny Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva Joao Marques-Silva, Mikolas Janota, Alexey Ignatiev, Antonio Morgado Carlos Mencia, Alessandro Previti, Joao Marques-Silva Chu-Min Li, Felip Manya
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR35
35
Trust-Sensitive Belief Revision
Aaron Hunter, Richard Booth
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR135
135
Ringo Baumann, Gerhard Brewka
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR159
159
AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks Merging in the Horn fragment
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR246
246
AGM Revision of Beliefs about Action and Time
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR285
285
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR1322
1322
7/31/2015
08:30
10:10
KR9
LP
KR Track: Belief revision 2
KR1488
1488
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus Kernel Contraction and Base Dependence: A Theoretical Benchmark for Relevance Extending AGM Contraction to Arbitrary Logics
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main565
565
Marc Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco Mehrdad Oveisi, James Delgrande, Fred Popowich, Francis Jeffry Pelletier Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James Delgrande Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting
Paper Title
Authors/Speaker
Exploiting k-Degree Locality to Improve Overlapping Community Detection Large Scale Homophyly Analysis in Twitter using a Twixonomy Unsupervised Sentiment Analysis for Social Media Images A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites Minimum Sum of Squared Smilarities for Large Scale Spectral Clustering Re-Ranking Voting-Based Answers by Discarding User Behavior Biases Deep Learning for Event-Driven Stock Prediction
Hongyi Zhang, Michael R. Lyu, Irwin King
A Modularity-based Random SAT Instances Generator Tractable Classes of Binary CSPs Defined by Excluded Topological Minors Prime Compilation of Non-Clausal Formulae
Jesus Giraldez-Cru, Jordi Levy
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Paola Velardi Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li Yu Xiaofeng, Junqing Xie Djallel Bouneffouf Xiaochi Wei, Heyan Huang, ChinYew Lin, Xin Xin, Xianling Mao Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan
Adrian Haret, Stefan Rummele, Stefan Woltran
Paper Type
Panel ID
short
93
long
94
short
95
long
96
short
97
short
98
long
99
short
49
long
50
long
51
long
52
short
53
long
54
short
73
short
74
short
75
short
76
long
77
long
78
long
79
long
30
Page 26
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main438
438
Paper Title
Emotions in Argumentation: an Empirical Evaluation
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main395
395
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main1512
1512
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main449
449
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main1357
1357
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty A Deterministic Partition Function Approximation for Exponential Random Graph Models Context-Independent Claim Detection for Argumentation Mining Semi-Universal Portfolios with Transaction Costs
7/31/2015
08:30
10:10
Main34
R1
AI and Social Sciences
Main1039
1039
Bonus or Not? Learn to Reward in Crowdsourcing
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML42
42
Authors/Speaker
Mohamed Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir Marco Lippi, Paolo Torroni Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C. H. Hoy Ming Yin, Yiling Chen
Paper Type
Panel ID
long
31
short
32
short
33
short
34
short
35
long
36
Gaussian Processes for High-Dimensional Regression: A Method Based on Deep Neural Networks Deep Linear Coding for Fast Graph Clustering
Wenbing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Chang
short
15
Ming Shao, Sheng Li, Zhengming Ding, Yun Fu
short
16
Robust Kernel Dictionary Learning using A Whole Sequence Convergent Algorithm Self-Adaptive Hierarchical Sentence Model
Huaping Liu
long
17
short
18
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He Jingwei Zhuo, Jun Zhu, Bo Zhang
long
19
long
20
short
21
short
1
long
2
long
3
long
4
short
5
short
6
short
7
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML62
62
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML128
128
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML246
246
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML313
313
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML344
344
7/31/2015
08:30
10:10
ML12
R2
ML Track: Deep Learning 2
ML541
541
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML13
13
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML145
145
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML216
216
Supervised Representation Learning: Transfer Learning with Deep Autoencoders Adaptive dropout rates for learning with corrupted features A Joint Optimization Framework of Sparse Coding and Discriminative Clustering A Graph Kernel based on Jensen-Shannon Representation Random Feature Mapping with Signed Circulant Matrix Projection Graph Invariant Kernels
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML355
355
Robust Unsupervised Multiple Kernel Learning
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML401
401
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML500
500
7/31/2015
08:30
10:10
ML13
R3
ML Track: Kernel Methods
ML625
625
Training-Efficient Feature Map for Shift-Invariant Kernels Nonparametric Independence Testing for Small Sample Sizes Robust Multiple Kernel K-means
7/31/2015
10:10
10:40
Poster9
Han Zhao, Zhengdong Lu, Pascal Poupart
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas Huang Bai Lu, Zhihong Zhang, Chaoyan Wang, Edwin Hancock Chang Feng, Shizhong Liao Francesco Orsini, Paolo Frasconi, Luc de Raedt Peng Zhou, Liang Du, Yi-Dong Shen Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu Aaditya Ramdas, Leila Wehbe Liang Du, Lei Shi
Coffee and Poster 13
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Page 27
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
10:40
12:10
CS3
C
Session Title
Paper ID
Paper track ID
CS Track: Game Theory, Learning and Modeling
CS11
11
CS13
13
CS18
18
CS36
36
CS54
54
CS84
84
ML88
88
7/31/2015
10:40
12:10
CS3
C
7/31/2015
10:40
12:10
CS3
C
7/31/2015
10:40
12:10
CS3
C
7/31/2015
10:40
12:10
CS3
C
7/31/2015
10:40
12:10
CS3
C
7/31/2015
10:40
12:10
ML14
GH
CS Track: Game Theory, Learning and Modeling CS Track: Game Theory, Learning and Modeling CS Track: Game Theory, Learning and Modeling CS Track: Game Theory, Learning and Modeling CS Track: Game Theory, Learning and Modeling ML Track: Recommendation
7/31/2015
10:40
12:10
ML14
GH
ML Track: Recommendation
ML108
108
7/31/2015
10:40
12:10
ML14
GH
ML Track: Recommendation
ML109
109
7/31/2015
10:40
12:10
ML14
GH
ML Track: Recommendation
ML213
213
7/31/2015
10:40
12:10
ML14
GH
ML Track: Recommendation
ML352
352
7/31/2015
10:40
12:10
Sist3
LB1
Sister Track: User Modeling
Sist5
5
7/31/2015
10:40
12:10
Sist3
LB1
Sister Track: User Modeling
Sist12
12
7/31/2015
10:40
12:10
Sist3
LB1
Sister Track: User Modeling
Sist13
13
7/31/2015
10:40
12:10
Sist3
LB1
Sister Track: User Modeling
Sist14
14
7/31/2015
10:40
12:10
Main35
LB2
Main25
25
7/31/2015
10:40
12:10
Main35
LB2
Web and Knowledge-based Information Systems 2 Web and Knowledge-based Information Systems 2
Main370
370
7/31/2015
10:40
12:10
Main35
LB2
Web and Knowledge-based Information Systems 2
Main847
847
Paper Title
Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis A Personalised Thermal Comfort Model using a Bayesian Network Batch Reinforcement Learning for Smart Home Energy Management A Crowdfunding Model for Green Energy Investment Abstract Routing Models and Abstractions in the Context of Vehicle Routing Approximately Stable Pricing for Coordinated Purchasing of Electricity Image Feature Learning for Cold Start Problem in Display Advertising Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison A Space Alignment Method for Cold-Start TV Show Recommendations Mobile Query Recommendation via Tensor Function Learning Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search Examples and tutored problems: adaptive support using assistance scores (from UMAP'14) Adapting to User Preference Changes in Interactive Recommendation (from RecSys'14) Trust-Guided Behavior Adaptation Using CaseBased Reasoning (from ICCBR'14) Matching and Grokking: Approaches to Personalized Crowdsourcing (from HCOMP'14) Distance-Bounded Consistent Query Answering Online Learning to Rank for Content-Based Image Retrieval Raising Expectations in GDA Agents Acting in Dynamic Environments
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul M Charbiwala Frederik Auffenberg, Sebastian Stein, Alex Rogers Heider Berlink, Anna Costa Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara Rene Schonfelder, Martin Leuker Andrew Perrault, Craig Boutilier Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang Jingwei Xu, Yuan Yao, Hanghang Tong, Xianping Tao, Jian Lu Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He Yan Yan, Mingkui Tan, Ivor W. Tsang, Qinfeng Shi, Yi Yang Amir Shareghi Najar, Tanja Mitrovic and Bruce Mclaren Negar Hariri, Bamshad Mobasher and Robin Burke Michael Floyd, Michael Drinkwater and David Aha Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller and Adam Tauman Kalai Andreas Pfandler, Emanuel Sallinger Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Ji Wan, Gao Xingyu, Dayong Wang Dustin Dannenhauer, Hector Munoz-Avila
Paper Type
Panel ID
short
67
long
68
short
69
long
70
short
71
long
72
short
88
long
89
long
90
long
91
long
92
long
37
long
38
long
39
long
40
long
41
short
42
short
43
Page 28
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
10:40
12:10
Main35
LB2
7/31/2015
10:40
12:10
Main35
LB2
7/31/2015
10:40
12:10
Main35
LB2
7/31/2015
10:40
12:10
Main35
LB2
Session Title
Paper ID
Paper track ID
Web and Knowledge-based Information Systems 2
Main1520
1520
Web and Knowledge-based Information Systems 2 Web and Knowledge-based Information Systems 2 Web and Knowledge-based Information Systems 2
Main1403
1403
Main616
616
Main1419
1419
Main945
945
Main685
685
Paper Title
Determining Expert Research Areas with Multiinstance Learning of Hierarchical Multi-label Classification Model Hamming Compatible Quantization for Hashing
Paper Type
Panel ID
short
44
short
45
short
46
short
47
short
48
long
55
long
56
short
57
Alvaro Torralba, Joerg Hoffmann
long
58
long
59
short
81
short
82
long
83
short
84
long
85
short
86
short
87
short
22
Authors/Speaker
Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu Qian Liu, Jing Xiao-Yuan, Wu Fei, Yangping Zhu
7/31/2015
10:40
12:10
Main35
LB2
7/31/2015
10:40
12:10
Main22
LB3
Web and Knowledge-based Information Systems 2 Planning 6
7/31/2015
10:40
12:10
Main22
LB3
Planning 6
Main160
160
7/31/2015
10:40
12:10
Main22
LB3
Planning 6
Main1197
1197
7/31/2015
10:40
12:10
Main22
LB3
Planning 6
Main1050
1050
Deep Multimodal Hashing with Orthogonal Regularization Web Page Classification based on Uncorrelated Semi-supervised Intra-view and Inter-view Manifold Discriminant Feature Extraction Scalable Graph Hashing with Feature Transformation Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning MORRFL: Sampling-Based Multi-Objective Motion Planning A Privacy Preserving Algorithm for Multi-Agent Planning and Search Simulation-Based Admissible Dominance Pruning
7/31/2015
10:40
12:10
Main22
LB3
Planning 6
Main1330
1330
Optimal planning with axioms
Franc Ivankovic, Patrik Haslum
7/31/2015
10:40
12:10
KR10
LP
KR129
129
10:40
12:10
KR10
LP
KR184
184
7/31/2015
10:40
12:10
KR10
LP
KR197
197
7/31/2015
10:40
12:10
KR10
LP
KR229
229
7/31/2015
10:40
12:10
KR10
LP
KR322
322
7/31/2015
10:40
12:10
KR10
LP
KR323
323
7/31/2015
10:40
12:10
KR10
LP
KR18
18
ALLEGRO: Belief-based GOLOG in Stochastic Dynamical Domains On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus Automatic Verification of Partial Correctness of Golog Programs A Complete Epistemic Planner without Epistemic Closed World Assumption Policies that Generalize: Solving Many Planning Problems with the Same Controller Towards Fully Observable Non-deterministic Planning as Assumption-based Reactive Synthesis On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
Vaishak Belle, Hector Levesque
7/31/2015
7/31/2015
10:40
12:10
Panel2
R1
7/31/2015
10:40
12:10
Main38
R2
KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning KR Track: Reasoning about actions and planning Panel: Rethinking Turning Test Agent and Multi-agent Systems 2
Generalizing the single-crossing property on lines and trees to intermediate preferences on median graphs
Adam D. Clearwater, Clemens Puppe, Arkadii Slinko
Panel2 Main67
67
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Qing-Yuan Jiang, Wu-Jun Li Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz Daqing Yi, Michael A Goodrich, Kevin D. Seppi Brafman Ronen
Liangda Fang, Yongmei Liu, Ximing Wen Naiqi Li, Yongmei Liu Rui Yang, Hai Wan, Liangda Fang, Yongmei Liu, Huada Xu Bonet Blai, Hector Geffner Nicolas D’Ippolito, Sebastian Sardiña Diego Calvanese, Giuseppe de Giacomo, Mikhail Soutchanski Qiang Yang
Page 29
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
Main38
R2
Session Title
Paper ID
Paper track ID
Agent and Multi-agent Systems 2 Agent and Multi-agent Systems 2 Agent and Multi-agent Systems 2 Agent and Multi-agent Systems 2 Agent and Multi-agent Systems 2
Main402
402
Main1589
1589
Main300
300
Main1316
1316
Main1086
1086
956
Paper Title
Optimal mechanism design for partially rational bidders The Power of Local Manipulation Strategies in Assignment Mechanisms Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings An Adaptive Computational Model for Personalized Persuasion Efficiency and complexity of price competition among single-product vendors
Zihe Wang, Pingzhong Tang Timo Mennle, Sven Seuken, Michael Weiss, Basil Philipp Paolo Viappiani Kang Yilin, Ah-Hwee Tan Ioannis Caragiannis, Xenofontas Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
Agent and Multi-agent Systems 2
Main956
Agent and Multi-agent Systems 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 ML Track: Online Learning and Sequential Data 2 Poster 14
Main1517
1517
ML454
454
ML325
325
ML394
394
ML434
434
ML559
559
An Expectation-Maximization Algorithm to Compute a Stochastic Factorization Thompson Sampling for Budgeted Multi-armed Bandit Count-Based Frequency Estimation with Bounded Memory Bi-parameter Space Partition for Cost-Sensitive SVM Fast Cross-Validation for Incremental Learning
ML573
573
Online Robust Low Rank Matrix Recovery
Xiaojie Guo
ML293
293
A Geometric Theory of Feature Selection and Distance-Based Measures
Kilho Shin, Adrian Pino Angulo
Using Constraint-based Search to Schedule Science Campaigns for the Rosetta Orbiter Programming Agents via Rewards
Dr. Steve Chien
7/31/2015
10:40
12:10
Main38
R2
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
10:40
12:10
ML15
R3
7/31/2015
12:10
12:30
Poster10
7/31/2015
12:30
14:00
Lunch4
7/31/2015
14:00
15:00
Invited7
LB
Invited Talk 7: Steve Chien
Invited7
7
7/31/2015
14:00
15:00
Invited8
R
Invited8
8
7/31/2015
15:00
15:30
Poster15
Invited Talk 8: Michael L. Littman Coffee and Poster 15
Strategic Abstention based on Preference Extensions: Positive Results and ComputerGenerated Impossibilities Exchange of Indivisible Objects with Asymmetry
Authors/Speaker
Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo Andre Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup Yingce Xia, Haifang Li, Tao Qin, Tie-Yan Liu Marc Bellemare Bin Gu, Victor S. Sheng Pooria Joulani, Andras Gyorgy, Csaba Szepesvari
Paper Type
Panel ID
long
23
short
24
short
25
short
26
short
27
short
28
short
29
short
8
short
9
short
10
short
11
long
12
short
13
long
14
Lunch
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Michael L. Littman
Page 30
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
15:30
16:50
AIA4
C
7/31/2015
15:30
16:50
AIA4
C
7/31/2015
15:30
16:50
AIA4
C
7/31/2015
15:30
16:50
AIA4
C
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main32
GH
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main56
LB1
7/31/2015
15:30
16:50
Main57
7/31/2015
15:30
16:50
7/31/2015
15:30
16:50
Session Title
Paper ID
Paper track ID
AI&Arts: Music, Poetry, Visual Arts AI&Arts: Music, Poetry, Visual Arts
AIA17
17
AIA37
37
AI&Arts: Music, Poetry, Visual Arts AI&Arts: Music, Poetry, Visual Arts Natural Language Processing 5 Natural Language Processing 5 Natural Language Processing 5 Natural Language Processing 5
AIA45
45
AIA53
53
Main529
529
Main1595
1595
Main100
100
Main247
247
Natural Language Processing 5 Natural Language Processing 5 Agent and Multi-agent Systems 3
Main842
842
Main903
903
Main1341
1341
Paper Title
Aesthetic Visual Quality Evaluation of Chinese Handwritings Artificial Intelligence in the Concertgebouw
Swarm-based Visualisation of Consumption Patterns Haiku Generator That Reads Blogs and Illustrates Them with Sounds and Images Modeling Quantum Entanglements in Quantum Language Models On Conceptual Labeling of a Bag of Words Linking Heterogeneous Input Features with Pivots for Domain Adaptation Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticonannotated Tweets Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation Target-dependent Twitter Sentiment Classification with Rich Automatic Features Agile Planning for Real-World Disaster Response
Authors/Speaker
Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin M Gasser, Gerhard Widmer, Maarten Grachten Catarina Maçãs , Penousal Machado Rafal Rzepka, Kenji Araki Mengjiao Xie, YueXian Hou,Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang Zhou Guangyou, Zhao Jun, Cai Li Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer Biao Liu, Minlie Huang Tin Vo, Yue Zhang Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Joel Fischer, Tom Rodden, Nick Jennings Jilles Dibangoye, Olivier Buffet, Olivier Simonin Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh Alexandre Frechette, Neil Newman, Kevin Leyton-Brown Barbara Dunin-K, Plicz, Alina Strachocka
Main1157
1157
Main1308
1308
Main1213
1213
Main1624
1624
Structural Results for Cooperative Decentralized Control Models Towards Applying Interactive Dynamic Influence Diagrams to Real-Time Strategy Games Composing and Verifying Commitment-Based Multiagent Protocols Solving the Station Repacking Problem
Main735
735
Tractable inquiry in information-rich environments
LB2
Agent and Multi-agent Systems 3 Agent and Multi-agent Systems 3 Agent and Multi-agent Systems 3 Agent and Multi-agent Systems 3 Agent and Multi-agent Systems 3 Planning 7
Main1042
1042
Andrea Micheli, Minh Do, David E. Smith
Main57
LB2
Planning 7
Main1028
1028
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations Probabilistic Knowledge-Based Programs
Main57
LB2
Planning 7
Main1082
1082
Further Connections between Contract-Scheduling and Ray-Searching Problems
Spyros Angelopoulos
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Lang Jérôme, Bruno Zanuttini
Paper Type
Panel ID
long
65
long
66
long
67
long
68
short
85
long
86
short
87
short
88
long
89
short
90
long
37
short
38
short
39
long
40
short
41
short
42
long
47
long
48
short
49
Page 31
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/31/2015
15:30
16:50
Main57
LB2
Planning 7
Main1203
1203
7/31/2015
15:30
16:50
Main57
LB2
Planning 7
Main935
935
7/31/2015
15:30
16:50
Main58
LB3
Recommender Systems 3
Main288
288
7/31/2015
15:30
16:50
Main58
LB3
Recommender Systems 3
Main249
249
7/31/2015
15:30
16:50
Main58
LB3
Recommender Systems 3
Main334
334
7/31/2015
15:30
16:50
Main58
LB3
Recommender Systems 3
Main458
458
7/31/2015
15:30
16:50
Main58
LB3
Recommender Systems 3
Main239
239
7/31/2015
15:30
16:50
KR16
LP
KR7
7
7/31/2015
15:30
16:50
KR16
LP
KR85
85
7/31/2015
15:30
16:50
KR16
LP
KR Track: Argumentation and Reasoning KR Track: Argumentation and Reasoning KR Track: Argumentation and Reasoning
KR107
107
7/31/2015
15:30
16:50
KR16
LP
R1
KR Track: Argumentation and Reasoning KR Track: Argumentation and Reasoning KR Track: Argumentation and Reasoning KR Track: Argumentation and Reasoning Knowledge Acquisition
KR186
186
7/31/2015
15:30
16:50
KR16
LP
KR206
206
7/31/2015
15:30
16:50
KR16
LP
KR211
211
7/31/2015
15:30
16:50
KR16
LP
KR292
292
7/31/2015
15:30
16:50
Main59
Main1220
1220
7/31/2015
15:30
16:50
Main59
R1
Knowledge Acquisition
Main1601
1601
7/31/2015
15:30
16:50
Main59
R1
Knowledge Acquisition
Main422
422
7/31/2015
15:30
16:50
Main59
R1
Knowledge Acquisition
Main867
867
Paper Title
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours Planning for Stochastic Games with Co-safe Objectives Music Recommenders: User Evaluation Without Real Users? Modeling Users' Dynamic Preference for Personalized Recommendation AdaBPR: A Boosting Algorithm for Item Recommendation with Implicit Feedback Building Personal Ad Recommendation Systems for Life-Time Value Optimization with Guarantees Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion Dealing with Generic Contrariness in Structured Argumentation Extension Enforcement in Abstract Argumentation as an Optimization Problem Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks A Top-Down Compiler for Sentential Decision Diagram AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand An approach for Improving RDF Data with Formal Concept Analysis Personalizing Product Rankings using Collaborative Filtering on Opinion-derived Topic Profiles Building Hierarchies of Concepts via Crowdsourcing
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Josef Bajada, Maria Fox, Derek Long Lei Song, Yuan Feng, Lijun Zhang Susan Craw, Ben Horsburgh, Stewart Massie Xin Liu Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao Georgios Theocharous, Philip Thomas, Mohammad Ghavamzadeh Xin Wang, Yunhui Guo, Congfu Xu Anthony Hunter Pietro Baroni, Massimiliano Giacomin, Beishui Liao Sylvie Coste-Marquis, Sebastien Konieczny, Jean-Guy Mailly, Pierre Marquis Gianluigi Greco, Jerome Lang Joerg Puehrer Sarah Gaggl, Sebastian Rudolph, Hannes Strass Umut Oztok, Adnan Darwiche Mehdi Samadi, Partha Pratim Talukdar, Manuela Veloso, Tom Mitchell Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli, Claudiu C. Musat, Boi Faltings Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause
Paper Type
Panel ID
long
50
short
51
long
56
long
57
long
58
short
59
short
60
long
73
short
74
short
75
short
76
short
77
short
78
short
79
long
20
long
21
long
22
long
23
Page 32
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
15:30
16:50
Main60
R2
7/31/2015
15:30
16:50
Main60
R2
7/31/2015
15:30
16:50
Main60
R2
7/31/2015
15:30
16:50
Main60
R2
7/31/2015
15:30
16:50
Main60
R2
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
15:30
16:50
ML20
R3
7/31/2015
16:50
17:00
Transition6
7/31/2015
17:00
18:00
Jnl4
C
7/31/2015
17:00
18:00
Jnl4
C
7/31/2015
17:00
18:00
Jnl4
C
Session Title
Paper ID
Paper track ID
Main Track: Machine Learning 3
Main1167
1167
Main Track: Machine Learning 3 Main Track: Machine Learning 3 Main Track: Machine Learning 3 Main Track: Machine Learning 3 ML Track: Graphical Models and Nonparametrics
Main1498
1498
Portfolio Choices with Orthogonal Bandit Learning
Main1223
1223
Main1193
1193
Main181
181
ML79
79
ML Track: Graphical Models and Nonparametrics ML Track: Graphical Models and Nonparametrics ML Track: Graphical Models and Nonparametrics ML Track: Graphical Models and Nonparametrics ML Track: Graphical Models and Nonparametrics Transition
ML147
147
ML193
193
ML361
361
Detecting Emotions in Social Media: A Constrained Optimization Approach Regression Model Fitting under Differential Privacy and Model Inversion Attack Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition EntScene: Nonparametric Bayesian Temporal Segmentation of Videos aimed at Entity-driven Scene Detection EigenGP: Gaussian process models with adaptive eigenfunctions Regularizing Flat Latent Variables with Hierarchical Topic Structures Data Compression for Learning MRF Parameters
ML451
451
ML713
713
Journal Track: Machine Learning Applications
Journal13
13
Journal Track: Machine Learning Applications Journal Track: Machine Learning Applications
Journal14
14
Journal15
15
Journal16
16
Main499
499
Main509
509
7/31/2015
17:00
18:00
Jnl4
C
7/31/2015
17:00
18:00
Main37
GH
Journal Track: Machine Learning Applications Planning 8
7/31/2015
17:00
18:00
Main37
GH
Planning 8
Paper Title
Analysis of Sampling Algorithms for Twitter
Authors/Speaker
Deepan Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, L. Venkata Subramaniam Weiwei Shen, Jun Wang, Yu-Gang Jiang Yichen Wang, Aditya Pal Yue Wang, Cheng Si, Xintao Wu Francis Bisson, Hugo Larochelle, Froduald Kabanza Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas Hao Peng, Yuan Qi Lin Rongcheng, Huayu Li, Xiaojun Quan, Yong Ge Khaled Refaat, Adnan Darwiche
Quiet: Faster Belief Propagation for Images and Related Applications Topic Modeling with Document Relative Similarities Paper subtitle
Yasuhiro Fujiwara, Dennis Shasha
Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract Algorithm Runtime Prediction: Methods & Evaluation (Extended Abstract) Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract) Measuring and Recommending Time-Sensitive Routes from Location-Based Data Mixed Discrete-Continuous Heuristic Generative Planning based on Flow Tubes Tight Bounds for HTN planning with Task Insertion
Yale Song, Randall Davis
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao
Frank Hutter, Lin Xu, Holger Hoos, Kevin LeytonBrown Micah Hodosh, Peter Young, Julia Hockenmaier
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams Ron Alford, Pascal Bercher, David Aha
Paper Type
Panel ID
long
12
long
13
short
14
short
15
long
16
short
1
short
2
short
3
short
4
short
5
short
6
long
69
long
70
long
71
long
72
short
93
long
94
Page 33
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
Session Title
Paper ID
Paper track ID
7/31/2015
17:00
18:00
Main37
GH
Planning 8
Main943
943
7/31/2015
17:00
18:00
Main37
GH
Planning 8
Main1388
1388
7/31/2015
17:00
18:00
Main37
GH
Planning 8
Main245
245
7/31/2015
17:00
18:00
Main72
LB1
Agent and Multi-agent Systems 4
Main828
828
Agent and Multi-agent Systems 4
Main1060
Agent and Multi-agent Systems 4 Agent and Multi-agent Systems 4 Main Track: Machine Learning 4
Main1025
1025
Main271
271
Main248
248
Main Track: Machine Learning 4 Main Track: Machine Learning 4
Main1581
1581
On the Consistency of AUC Pairwise Optimization
Main1396
1396
Rui Yan
Main Track: Machine Learning 4 Natural Language Processing 6 Natural Language Processing 6 Natural Language Processing 6 Natural Language Processing 6 KR Track: Temporal and spatial reasoning KR Track: Temporal and spatial reasoning
Main1002
1002
Main1233
1233
Opportunities or Risks to Reduce Labor Force in Crowdsourcing Translation? Characterizing Cost v.s. Quality in Balance Cognitive Modelling for Predicting Examinee Performance Active Learning for Coreference Resolution
Main980
980
Daraksha Parveen, Michael Strube
Main894
894
Main872
872
KR50
50
KR81
81
Integrating Importance, Non-redundancy and Coherence Graph-based Extractive Summarization Optimizing Sentence Modeling and Selection for Document Summarization Convolutional Neural Tensor Network Architecture for Community-based Question Answering Qualitative Reasoning about Directions in Semantic Spaces An algebra of granular temporal relations
7/31/2015
17:00
18:00
Main72
LB1
7/31/2015
17:00
18:00
Main72
LB1
7/31/2015
17:00
18:00
Main72
LB1
7/31/2015
17:00
18:00
Main63
LB2
7/31/2015
17:00
18:00
Main63
LB2
7/31/2015
17:00
18:00
Main63
LB2
7/31/2015
17:00
18:00
Main63
LB2
7/31/2015
17:00
18:00
Main50
LB3
7/31/2015
17:00
18:00
Main50
LB3
7/31/2015
17:00
18:00
Main50
LB3
7/31/2015
17:00
18:00
Main50
LB3
7/31/2015
17:00
18:00
KR17
LP
7/31/2015
17:00
18:00
KR17
LP
1060
Paper Title
On the Effective Configuration of Planning Domain Models Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals Exploiting Symmetries by Planning for a Descriptive Quotient Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling Tradeoffs between Incentive Mechanisms in Boolean Games Environment-driven social force model: Lévy walk pattern in collective behavior Mobility Profiling for User Verification with Anonymized Location Data
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey Jorge Torres, Jorge A. Baier Mohammad Abdulaziz, Charles Gretton, Michael Norrish Yexiang Xue, Stefano Ermon, Carla P Gomes, Bart Selman
Paper Type
Panel ID
short
95
short
96
short
97
short
43
short
44
short
45
short
46
long
52
short
53
long
54
short
55
short
61
long
62
short
63
long
64
short
81
long
82
Florian Wisser
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels Danyan Lv, Zhaofeng Li, Yichuan Jiang Miao Lin, Hong Cao, Vincent W. Zheng, Kevin C. Chang, Shonali Krishnaswamy Gao Wei, Zhi-Hua Zhou
Runze Wu, Yuping Liu, Qi Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu Mrinmaya Sachan, Eduard Hovy
Wenpeng Yin, Yulong Pei Xipeng Qiu, Xuanjing Huang Steven Schockaert, Jae Hee Lee Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Page 34
International Joint Conference on Artificial Intelligence - JCAI-15 Paper Schedule Date
Start
End
Session ID
Room ID
7/31/2015
17:00
18:00
KR17
LP
Session Title
Paper ID
Paper track ID
KR Track: Temporal and spatial reasoning
KR114
114
KR287
287
Main695
695
Main1466
1466
7/31/2015
17:00
18:00
KR17
LP
7/31/2015
17:00
18:00
Main62
R1
KR Track: Temporal and spatial reasoning Robotics and Vision 3
7/31/2015
17:00
18:00
Main62
R1
Robotics and Vision 3
7/31/2015
17:00
18:00
Main62
R1
Robotics and Vision 3
Main861
861
7/31/2015
17:00
18:00
Main62
R1
Robotics and Vision 3
Main727
727
7/31/2015
17:00
18:00
Main48
R2
Social Networks 3
Main1073
1073
7/31/2015
17:00
18:00
Main48
R2
Social Networks 3
Main213
213
7/31/2015
17:00
18:00
Main48
R2
Social Networks 3
Main687
687
7/31/2015
17:00
18:00
ML21
R3
ML166
166
7/31/2015
17:00
18:00
ML21
R3
ML239
239
7/31/2015
17:00
18:00
ML21
R3
ML275
275
7/31/2015
17:00
18:00
ML21
R3
ML466
466
7/31/2015
17:00
18:00
ML21
R3
ML692
692
7/31/2015
18:00
18:30
Poster16
ML Track: Relational Learning ML Track: Relational Learning ML Track: Relational Learning ML Track: Relational Learning ML Track: Relational Learning Poster 16
7/31/2015
18:30
20:00
ClosingEvent
Closing Event
Paper Title
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks Execution Monitoring as Meta-Games for General Game-Playing Robots Intelligent Agent Supporting Human-Multi-Robot Team Collaboration Grounding the Meaning of Words through Vision and Interactive Gameplay Co-Acquisition of Spatial Language Syntax and Semantics Learning to Interpret Natural Language Commands through Human-Robot Dialog Maximizing the Coverage of Information Propagation in Social Networks A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models Network Representation Learning with Rich Text Information Soft Predicate Invention with Structured Sparsity Identification of Time-Dependent Causal Model: A Gaussian Process Treatment Learning Regular Languages via Alternating Automata Online Learning of k-CNF Boolean Functions Learning efficient logical robot strategies involving composable objects
"Long presentations" are allocated 20 minutes of talk time including Q&A. “Short presentations” are allocated 10 minutes of talk time including Q&A.
Authors/Speaker
Michael Sioutis, Sanjiang Li, Jean-Francois Condotta Rajaratnam David, Michael Thielscher Rosenfeld Ariel, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney Nielsen Michael Spranger, Luc Steels Thomason Jesse, Shiqi Zhang, Raymond Mooney, Peter Stone Zhefeng Wang, Qi Liu, Yu Yang, Yong Ge, Enhong Chen, Biao Chang Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Chang William Yang Wang, Kathryn Mazaitis, William W. Cohen Biwei Huang, Kun Zhang, Bernhard Scholkopf Dana Angluin, Sarah Eisenstat, Dana Fisman Joel Veness, Marcus Hutter, Laurent Orseau, Marc Bellemare Stephen Muggleton, Andrew Cropper
Paper Type
Panel ID
long
83
short
84
short
24
long
25
Long
26
Short
27
long
17
long
18
long
19
short
7
short
8
long
9
short
10
short
11
Page 35