← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Complete Symmetry Breaking for Finite Models AAAI 2025
Smart Casual Verification of the Confidential Consortium Framework NSDI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks AAAI 2024
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
Omega-Regular Decision Processes AAAI 2024
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024
Non-flat ABA Is an Instance of Bipolar Argumentation AAAI 2024