← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023
Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023
Grounding Neural Inference with Satisfiability Modulo Theories NIPS 2023
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023
Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023
Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023
Soft-Unification in Deep Probabilistic Logic NIPS 2023
Counting and Sampling Models in First-Order Logic IJCAI 2023
Description Logics with Pointwise Circumscription IJCAI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Logic-driven Indirect Supervision: An Application to Crisis Counseling ACL 2023
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023
Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023
Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation ACL 2023
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023
Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022
A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022
On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022
LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022