← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025
From Feedback to Checklists: Grounded Evaluation of AI-Generated Clinical Notes EMNLP 2025
Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models ACL 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025
Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025
A Sequent Calculus for Answer Set Entailment IJCAI 2025
New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
A Layered Formal Methods Approach to Answering Queue-related Queries NSDI 2025
Featured Argumentation Framework: Semantics and Complexity IJCAI 2025
Smart Casual Verification of the Confidential Consortium Framework NSDI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Initial Models and Serialisability in Abstract Dialectical Frameworks IJCAI 2025
Generalized Safe Conditional Syntax Splitting of Belief Bases IJCAI 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025