Foundations

A Core-Guided Approach to Learning Optimal Causal Graphs IJCAI 2017 Affinity Clustering: Hierarchical Clustering at Scale NeurIPS 2017 A General Multi-agent Epistemic Planner Based on Higher-order Belief Change IJCAI 2017 A General Notion of Equivalence for Abstract Argumentation IJCAI 2017 Alternating Direction Graph Matching CVPR 2017 Alto: Rapid Prototyping for Parsing and Translation EACL 2017 A Maximum Matching Algorithm for Basis Selection in Spectral Learning AISTATS 2017 An Admissible HTN Planning Heuristic IJCAI 2017 An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers IJCAI 2017 A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017 A Partitioning Algorithm for Maximum Common Subgraph Problems IJCAI 2017 A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics IJCAI 2017 A Scale Free Algorithm for Stochastic Bandits with Bounded Kurtosis NeurIPS 2017 A Sub-Quadratic Exact Medoid Algorithm AISTATS 2017 A Syntactic Neural Model for General-Purpose Code Generation ACL 2017 Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search IJCAI 2017 Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017 Canopy Fast Sampling with Cover Trees ICML 2017 CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract) IJCAI 2017 Clustering Stable Instances of Euclidean k-means. NeurIPS 2017 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017 Computing an Approximately Optimal Agreeable Set of Items IJCAI 2017 Constraint-Based Symmetry Detection in General Game Playing IJCAI 2017 Constraint Games revisited IJCAI 2017 Correct by Construction Networks Using Stepwise Refinement NSDI 2017