Papers
Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe
Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning
Ning Xie, Tingting Zhao, Feng Tian et al.
Structural Results for Cooperative Decentralized Control Models
Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin
Structural Tractability of Shapley and Banzhaf Values in Allocation Games
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Structure in Dichotomous Preferences
Edith Elkind, Martin Lackner
Supervised Representation Learning: Transfer Learning with Deep Autoencoders
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo et al.
Swarm Systems in the Visualization of Consumption Patterns
Catarina Maçãs, Pedro Cruz, Pedro Martins et al.
Symbol Acquisition for Probabilistic High-Level Planning
George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez
Symbolic Model Checking for One-Resource RB+-ATL
Natasha Alechina, Brian Logan, Hoang Nga Nguyen et al.
Syntax-Based Deep Matching of Short Texts
Mingxuan Wang, Zhengdong Lu, Hang Li et al.
Synthesis for LTL and LDL on Finite Traces
Giuseppe De Giacomo, Moshe Vardi
Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling
Xingwei Zhu, Zhao-Yan Ming, Yu Hao et al.
Target-Dependent Twitter Sentiment Classification with Rich Automatic Features
Duy-Tin Vo, Yue Zhang
Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours
Josef Bajada, Maria Fox, Derek Long
Temporal Query Answering in the Description Logic EL
Stefan Borgwardt, Veronika Thost
The Adjusted Winner Procedure: Characterizations and Equilibria
Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas et al.
The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract)
Marc Bellemare, Yavar Naddaf, Joel Veness et al.
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Cristina Feier, David Carral, Giorgio Stefanoni et al.
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract)
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages
Denis Deratani Maua, Cassio Polpo de Campos, Fabio Gagliardi Cozman
The Complexity of Model Checking Succinct Multiagent Systems
Xiaowei Huang, Qingliang Chen, Kaile Su
The Complexity of Subsumption in Fuzzy EL
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms
Didier Dubois, Henri Prade, Agnès Rico
The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection
Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak et al.
The Logic of Qualitative Probability
James Delgrande, Bryan Renne