Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Non-flat ABA Is an Instance of Bipolar Argumentation AAAI 2024

DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024

Using Symmetries to Lift Satisfiability Checking AAAI 2024

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024

IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024

VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024

Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024

On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024

Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024

Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024

Omega-Regular Decision Processes AAAI 2024

Neural Closure Certificates AAAI 2024

First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024

Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024

Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes IJCAI 2024

A Compiler for Weak Decomposable Negation Normal Form AAAI 2024

Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024

Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata AAAI 2024

Neural Model Checking NIPS 2024

Multi-language Diversity Benefits Autoformalization NIPS 2024

The Expressive Capacity of State Space Models: A Formal Language Perspective NIPS 2024

A Semantic Search Engine for Mathlib4 EMNLP 2024

Provably Safe Neural Network Controllers via Differential Dynamic Logic NIPS 2024