conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024
VeriSMo: A Verified Security Module for Confidential VMs OSDI 2024
Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024
IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024
Grounding Neural Inference with Satisfiability Modulo Theories NIPS 2023
A Logic for Expressing Log-Precision Transformers NIPS 2023
Soft-Unification in Deep Probabilistic Logic NIPS 2023
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions NIPS 2023
Complexity of Reasoning with Cardinality Minimality Conditions AAAI 2023
Second-Order Quantified Boolean Logic AAAI 2023
Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023
Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs AAAI 2023
Abstract Argumentation Framework with Conditional Preferences AAAI 2023
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View AAAI 2023
SMT Safety Verification of Ontology-Based Processes AAAI 2023
Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023
Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023
On Undisputed Sets in Abstract Argumentation AAAI 2023
Automated Verification of Social Laws in Numeric Settings AAAI 2023