Papers
Evaluation of Arguments from Support Relations: Axioms and Semantics
Leila Amgoud, Jonathan Ben-Naim
Query Answering with Transitive and Linear-Ordered Data
Antoine Amarilli, Michael Benedikt, Pierre Bourhis et al.
Completion of Disjunctive Logic Programs
Mario Alviano, Carmine Dodaro
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
Interactive Scheduling of Appliance Usage in the Home
Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn et al.
Verbalization: Narration of Autonomous Robot Experience
Stephanie Rosenthal, Sai P. Selvaraj, Manuela Veloso
Predictive Models of Malicious Behavior in Human Negotiations
Zahra Nazari, Jonathan Gratch
Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning
Thomas Moerland, Joost Broekens, Catholijn Jonker
Interactive Martingale Boosting
Ashish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan
DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations
Eun-Sol Kim, Kyoung-Woon On, Byoung-Tak Zhang
Apprenticeship Scheduling: Learning to Schedule from Human Experts
Matthew Gombolay, Reed Jensen, Jessica Stigile et al.
A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty
Shaofei Chen, Tim Baarslag, Dengji Zhao et al.
Planning with Task-Oriented Knowledge Acquisition for a Service Robot
Kai Chen, Fangkai Yang, Xiaoping Chen
Interactive Teaching Strategies for Agent Training
Ofra Amir, Ece Kamar, Andrey Kolobov et al.
Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork
Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos
Optimizing Simple Tabular Reduction with a Bitwise Representation
Ruiwei Wang, Wei Xia, Roland H. C. Yap et al.
Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling
Sam Snodgrass, Santiago Ontañón
Optimizing Molecular Cloning of Multiple Plasmids
Thierry Petit, Lolita Petit
A Clause Tableau Calculus for MaxSAT
Chu-Min Li, Felip Manyà, Joan Ramon Soler
Static Symmetry Breaking with the Reflex Ordering
Jimmy H. M. Lee, Zichen Zhu
Improving Model Counting by Leveraging Definability
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
Constraint Detection in Natural Language Problem Descriptions
Zeynep Kiziltan, Marco Lippi, Paolo Torroni
Linear Arithmetic Satisfiability via Strategy Improvement
Azadeh Farzan, Zachary Kincaid
Constraint Acquisition with Recommendation Queries
Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere et al.