← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Pure-Past Action Masking AAAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning ACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
On Undisputed Sets in Abstract Argumentation AAAI 2023
SMT Safety Verification of Ontology-Based Processes AAAI 2023
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View AAAI 2023
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023
Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023
Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023
Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023
Counting and Sampling Models in First-Order Logic IJCAI 2023
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023
Description Logics with Pointwise Circumscription IJCAI 2023
Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023
Can Large Language Models Reason about Program Invariants? ICML 2023
Dividing and Conquering a BlackBox to a Mixture of Interpretable Models: Route, Interpret, Repeat ICML 2023
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023
Formal Methods for Network Performance Analysis NSDI 2023
Preferences and Constraints in Abstract Argumentation IJCAI 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023