conftrace_

automated reasoning

122 papers

Explore in graph

Co-occurring keywords

large language model (13587) knowledge representation (301) formal verification (284) theorem proving (63) answer set programming (97) logic programming (50) program synthesis (233) reinforcement learning (4352) knowledge graph (1837) automated theorem proving (39)

Papers

Automated Reasoning and Learning for Automated Payroll Management AAAI 2021
Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021
Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021
On Exploiting Hitting Sets for Model Reconciliation AAAI 2021
Combining Machine Learning & Reasoning for Biodiversity Data Intelligence AAAI 2021
Quantification of Resource Production Incompleteness AAAI 2021
Democratizing Constraint Satisfaction Problems through Machine Learning AAAI 2021
Optimal Neural Program Synthesis from Multimodal Specifications EMNLP 2021
Bayesian Argumentation-Scheme Networks: A Probabilistic Model of Argument Validity Facilitated by Argumentation Schemes EMNLP 2021
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
Grammar Filtering for Syntax-Guided Synthesis AAAI 2020
Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Reasoning on Knowledge Graphs with Debate Dynamics AAAI 2020
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020
Reasoning About Inconsistent Formulas IJCAI 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Use of Claim Graphing and Argumentation Schemes in Biomedical Literature: A Manual Approach to Analysis COLING 2020
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020
Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning AAAI 2020
LGPSolver - Solving Logic Grid Puzzles Automatically EMNLP 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019