Theory

Rethinking the Discount Factor in Reinforcement Learning: A Decision Theoretic Approach AAAI 2019 Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019 Submodular Function Minimization with Noisy Evaluation Oracle NeurIPS 2019 Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory AAAI 2019 Adaptive Negative Curvature Descent with Applications in Non-convex Optimization NeurIPS 2018 Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals IJCAI 2018 Learning to Solve SMT Formulas NeurIPS 2018 Nearly tight sample complexity bounds for learning mixtures of Gaussians via sample compression schemes NeurIPS 2018 On the Logical Properties of the Description Logic DL^N (Extended abstract) IJCAI 2018 Relating Leverage Scores and Density using Regularized Christoffel Functions NeurIPS 2018 Spectral Filtering for General Linear Dynamical Systems NeurIPS 2018 The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018 Approximate Supermodularity Bounds for Experimental Design NeurIPS 2017 Clustering Stable Instances of Euclidean k-means. NeurIPS 2017 Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017 Discriminative State Space Models NeurIPS 2017 Generating Context-Free Grammars using Classical Planning IJCAI 2017 New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract) IJCAI 2017 Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017 Skip-Gram − Zipf + Uniform = Vector Additivity ACL 2017 Approximate Log-Hilbert-Schmidt Distances Between Covariance Operators for Image Classification CVPR 2016 Average-case hardness of RIP certification NeurIPS 2016 Refined Lower Bounds for Adversarial Bandits NeurIPS 2016 Similarity Metric For Curved Shapes In Euclidean Space CVPR 2016 Optimal Testing for Properties of Distributions NeurIPS 2015