constraint satisfaction

Relating the Structure of a Problem and Its Explanation AAAI 2019 Representing and Learning Grammars in Answer Set Programming AAAI 2019 Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access IJCAI 2019 SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019 Semi-Autonomous Robot Teleoperation with Obstacle Avoidance Via Model Predictive Control RSS 2019 Teaching AI Agents Ethical Values Using Reinforcement Learning and Policy Orchestration IJCAI 2019 Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search AAAI 2019 Trajectory Optimization on Manifolds: A Theoretically-Guaranteed Embedded Sequential Convex Programming Approach RSS 2019 A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint IJCAI 2018 A Framework for Constraint Based Local Search using Essence IJCAI 2018 A Lyapunov-based Approach to Safe Reinforcement Learning NeurIPS 2018 A Reactive Strategy for High-Level Consistency During Search IJCAI 2018 Bayesian Network Structure Learning with Side Constraints PGM 2018 Boosting Combinatorial Problem Modeling with Machine Learning IJCAI 2018 Classification Transfer for Qualitative Reasoning Problems IJCAI 2018 Complexity of n-Queens Completion (Extended Abstract) IJCAI 2018 Constrained Cross-Entropy Method for Safe Reinforcement Learning NeurIPS 2018 Fast Lexically Constrained Decoding with Dynamic Beam Allocation for Neural Machine Translation NAACL 2018 From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018 Improving Knowledge Graph Embedding Using Simple Constraints ACL 2018 Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections NeurIPS 2018 Joint Reasoning for Temporal and Causal Relations ACL 2018 Learning Bayesian Networks by Branching on Constraints PGM 2018 Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018 Multi-Objective Optimization Through Pareto Minimal Correction Subsets IJCAI 2018