Papers
First-Order Rewritability of Temporal Ontology-Mediated Queries
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova et al.
Fixed-Parameter Tractable Reductions to SAT for Planning
Ronald de Haan, Martin Kronegger, Andreas Pfandler
Fixing Tournaments for Kings, Chokers, and More
Michael P. Kim, Virginia Vassilevska Williams
FlashNormalize: Programming by Examples for Text Normalization
Dileep Kini, Sumit Gulwani
Flexible Scheduling for an Agile Earth-Observing Satelllite
Adrien Maillard
Formal Analysis of Dialogues on Infinite Argumentation Frameworks
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract)
Micah Hodosh, Peter Young, Julia Hockenmaier
From Raw Sensor Data to Detailed Spatial Knowledge
Peng Zhang, Jae Hee Lee, Jochen Renz
From Weighted to Unweighted Model Counting
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel et al.
Further Connections Between Contract-Scheduling and Ray-Searching Problems
Spyros Angelopoulos
Generalized Rapid Action Value Estimation
Tristan Cazenave
Generalized Transitive Distance with Minimum Spanning Random Forest
Zhiding Yu, Weiyang Liu, Wenbo Liu et al.
Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs
Adam Clearwater, Clemens Puppe, Arkadii Slinko
Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint
François Pachet, Pierre Roy, Alexandre Papadopoulos et al.
Generating all Possible Palindromes from Ngram Corpora
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin et al.
Gibbard–Satterthwaite Games
Edith Elkind, Umberto Grandi, Francesca Rossi et al.
Graph-Based Inverse Optimal Control for Robot Manipulation
Arunkumar Byravan, Mathew Monfort, Brian Ziebart et al.
Graph Construction for Semi-Supervised Learning
Lilian Berton, Alneu de Andrade Lopes
Graph Invariant Kernels
Francesco Orsini, Paolo Frasconi, Luc De Raedt
Greedy Structure Search for Sum-Product Networks
Aaron Dennis, Dan Ventura
Grounding the Meaning of Words through Vision and Interactive Gameplay
Natalie Parde, Adam Hair, Michalis Papakostas et al.
Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability
Gianluigi Greco, Jerome Lang
Groupwise Registration of Aerial Images
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh
Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images
Rafal Rzepka, Kenji Araki