Papers
Projection, Inference, and Consistency
John N. Hooker
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Florian Brandl, Felix Brandt, Christian Geist
Proximal Gradient Temporal Difference Learning Algorithms
Bo Liu, Ji Liu, Mohammad Ghavamzadeh et al.
Query Answering with Transitive and Linear-Ordered Data
Antoine Amarilli, Michael Benedikt, Pierre Bourhis et al.
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
Querying Data Graphs with Arithmetical Regular Expressions
Maciej Graboń, Jakub Michaliszyn, Jan Otop et al.
Questimator: Generating Knowledge Assessments for Arbitrary Topics
Qi Guo, Chinmay Kulkarni, Aniket Kittur et al.
Question Answering via Integer Programming over Semi-Structured Knowledge
Daniel Khashabi, Tushar Khot, Ashish Sabharwal et al.
Randomized Social Choice Functions under Metric Preferences
Elliot Anshelevich, John Postl
Ranking Constraints
Christian Bessiere, Emmanuel Hebrard, George Katsirelos et al.
Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews
Yunzhi Tan, Min Zhang, Yiqun Liu et al.
Rational-Based Visual Planning Monitors
Zohreh Alavi
Reactive Policy Checking for Action Languages
Zeynep Gözen Saribatur
Real-Time Web Scale Event Summarization Using Sequential Decision Making
Chris Kedzie, Fernando Diaz, Kathleen McKeown
Reasoning about Space and Change with Answer Set Programming Modulo Theories
Przemysław Andrzej Wałęga
Recognizing Opinion Sources Based on a New Categorization of Opinion Types
Lingjia Deng, Janyce Wiebe
Reconfigurability in Reactive Multiagent Systems
Xiaowei Huang, Qingliang Chen, Jie Meng et al.
Recurrent Neural Network for Text Classification with Multi-Task Learning
Pengfei Liu, Xipeng Qiu, Xuanjing Huang
Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems
Hatim Khouzaimi, Romain Laroche, Fabrice Lefèvre
Relevance for SAT(ID)
Joachim Jansen, Bart Bogaerts, Jo Devriendt et al.
Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach
C. Anantaram, Sunil Kumar Kopparapu, Chirag Patel et al.
Representation Learning of Knowledge Graphs with Hierarchical Types
Ruobing Xie, Zhiyuan Liu, Maosong Sun