conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026
Automata-less Monitoring via Trace-Checking AAAI 2026
2-ASP(Q) Solving Based on CEGAR AAAI 2026
Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026
A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference AAAI 2026
Model Change for Description Logic Concepts AAAI 2026
Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026
A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network AAAI 2025
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Proof Simulation via Round-based Strategy Extraction for QBF AAAI 2025
Complete Symmetry Breaking for Finite Models AAAI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Computationally Hard Problems Are Hard for QBF Proof Systems Too AAAI 2025
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025
A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
First-Order Automata AAAI 2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025
LTLf Synthesis Under Unreliable Input AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025
New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025