Papers
On the Graded Acceptability of Arguments
Davide Grossi, Sanjay Modgil
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
Building Hierarchies of Concepts via Crowdsourcing
Yuyin Sun, Adish Singla, Dieter Fox et al.
AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand
Mehdi Samadi, Partha Talukdar, Manuela Veloso et al.
Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles
Claudiu Cristian Musat, Boi Faltings
Mining Definitions from RDF Annotations Using Formal Concept Analysis
Mehwish Alam, Aleksey Buzmakov, Victor Codocedo et al.
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs
Nic Wilson, Abdul Razak, Radu Marinescu
H-Index Manipulation by Merging Articles: Models, Theory, and Experiments
René van Bevern, Christian Komusiewicz, Rolf Niedermeier et al.
Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go
Erik S. Steinmetz, Maria Gini
Compositional Program Synthesis from Natural Language and Examples
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Efficient Search with an Ensemble of Heuristics
Mike Phillips, Venkatraman Narayanan, Sandip Aine et al.
FlashNormalize: Programming by Examples for Text Normalization
Dileep Kini, Sumit Gulwani
Interplanetary Trajectory Planning with Monte Carlo Tree Search
Daniel Hennes, Dario Izzo
A Fast Goal Recognition Technique Based on Interaction Estimates
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
Generalized Rapid Action Value Estimation
Tristan Cazenave
ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding
Eli Boyarski, Ariel Felner, Roni Stern et al.
Model-Based Genetic Algorithms for Algorithm Configuration
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz et al.
A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality
Yinqing Xu, Bei Shi, Wentao Tian et al.
Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity
Matteo Venanzi, Luke Teacy, Alex Rogers et al.
Indirect Causes in Dynamic Bayesian Networks Revisited
Alexander Motzek, Ralf Möller
Pushing Forward Marginal MAP with Best-First Search
Radu Marinescu, Rina Dechter, Alexander Ihler
From Weighted to Unweighted Model Counting
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel et al.