Search

Search Results

• Getting More Out of the Exposed Structure in Constraint Programming Models of Combinatorial Problems

  Gilles Pesant

  2017-02-12

• Strategic Social Network Analysis

  Tomasz Michalak, Talal Rahwan, Michael Wooldridge

  2017-02-12

• The AI Rebellion: Changing the Narrative

  David Aha, Alexandra Coman

  2017-02-12

• Moral Decision Making Frameworks for Artificial Intelligence

  Vincent Conitzer, Walter Sinnott-Armstrong, Jana Schaich Borg, Yuan Deng, Max Kramer

  2017-02-12

• Why Teaching Ethics to AI Practitioners Is Important

  Judy Goldsmith, Emanuelle Burton

  2017-02-12

• Maximum Model Counting

  Daniel Fremont, Markus Rabe, Sanjit Seshia

  2017-02-12

• Between Subgraph Isomorphism and Maximum Common Subgraph

  Ruth Hoffmann, Ciaran McCreesh, Craig Reilly

  2017-02-12

• General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis

  Colin Wei, Stefano Ermon

  2017-02-12

• Should Algorithms for Random SAT and Max-SAT Be Different?

  Sixue Liu, Gerard de Melo

  2017-02-12

• The Opacity of Backbones

  Lane Hemaspaandra, David Narváez

  2017-02-12

• Phase Transitions for Scale-Free SAT Formulas

  Tobias Friedrich, Anton Krohmer, Ralf Rothenberger, Andrew Sutton

  2017-02-12

• Rigging Nearly Acyclic Tournaments Is Fixed-Parameter Tractable

  M. Ramanujan, Stefan Szeider

  2017-02-12

• RQUERY: Rewriting Natural Language Queries on Knowledge Graphs to Alleviate the Vocabulary Mismatch Problem

  Saeedeh Shekarpour, Edgard Marx, Sören Auer, Amit Sheth

  2017-02-12

• Soft and Cost MDD Propagators

  Guillaume Perez, Jean-Charles Régin

  2017-02-12

• Algorithms for Deciding Counting Quantifiers over Unary Predicates

  Marcelo Finger, Glauber De Bona

  2017-02-12

• A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem

  Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

  2017-02-12

• Extending Compact-Table to Negative and Short Tables

  Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus

  2017-02-12

• A BTP-Based Family of Variable Elimination Rules for Binary CSPs

  Achref El Mouelhi

  2017-02-12

• CoCoA: A Non-Iterative Approach to a Local Search (A)DCOP Solver

  Cornelis Jan van Leeuwen, Przemyslaw Pawelczak

  2017-02-12

• Grounded Action Transformation for Robot Learning in Simulation

  Josiah Hanna, Peter Stone

  2017-02-12

• Bootstrapping with Models: Confidence Intervals for Off-Policy Evaluation

  Josiah Hanna, Peter Stone, Scott Niekum

  2017-02-12

• The Complexity of Succinct Elections

  Zack Fitzsimmons, Edith Hemaspaandra

  2017-02-12

• PAG2ADMG: A Novel Methodology to Enumerate Causal Graph Structures

  Nishant Subramani, Doug Downey

  2017-02-12

• Extreme Gradient Boosting and Behavioral Biometrics

  Benjamin Manning

  2017-02-12

• Wikitop: Using Wikipedia Category Network to Generate Topic Trees

  Saravana Kumar, Prasath Rengarajan, Arockia Xavier Annie

  2017-02-12