automated reasoning

HyperTree Proof Search for Neural Theorem Proving NeurIPS 2022 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 Automated Reasoning and Learning for Automated Payroll Management AAAI 2021 Bayesian Argumentation-Scheme Networks: A Probabilistic Model of Argument Validity Facilitated by Argumentation Schemes EMNLP 2021 Cardinality Queries over DL-Lite Ontologies IJCAI 2021 Combining Machine Learning & Reasoning for Biodiversity Data Intelligence AAAI 2021 Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 On Exploiting Hitting Sets for Model Reconciliation AAAI 2021 Optimal Neural Program Synthesis from Multimodal Specifications EMNLP 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 Quantification of Resource Production Incompleteness AAAI 2021 SemEval-2021 Task 8: MeasEval – Extracting Counts and Measurements and their Related Contexts SemEval 2021 Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021 A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020 Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Grammar Filtering for Syntax-Guided Synthesis AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning ICLR 2020 LGPSolver - Solving Logic Grid Puzzles Automatically EMNLP 2020