Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026

Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026

Model Change for Description Logic Concepts AAAI 2026

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026

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

A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference AAAI 2026

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026

Decomposing Inconsistencies: Marginal Contributions and Pooling Techniques IJCAI 2025

From Feedback to Checklists: Grounded Evaluation of AI-Generated Clinical Notes EMNLP 2025

Initial Models and Serialisability in Abstract Dialectical Frameworks IJCAI 2025

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025

Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth AAAI 2025

Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025

A Logical Analysis of Hanabi AAAI 2025

Contractions Based on Optimal Repairs (Extended Abstract) IJCAI 2025

Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases AAAI 2025

Complete Symmetry Breaking for Finite Models AAAI 2025

Featured Argumentation Framework: Semantics and Complexity IJCAI 2025

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025

A Sequent Calculus for Answer Set Entailment IJCAI 2025

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning ACL 2025

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025

First-Order Coalition Logic IJCAI 2025