← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Abstract Argumentation Frameworks with Marginal Probabilities IJCAI 2022
Explainable Reinforcement Learning via Model Transforms NIPS 2022
Classical Planning with Avoid Conditions AAAI 2022
Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints AAAI 2022
Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022
The SoftCumulative Constraint with Quadratic Penalty AAAI 2022
Logical Inference for Counting on Semi-structured Tables ACL 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022
On the Complexity of Inductively Learning Guarded Clauses AAAI 2022
On the Equivalence of Causal Models: A Category-Theoretic Approach CLEAR 2022
Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022
WiC = TSV = WSD: On the Equivalence of Three Semantic Tasks NAACL 2022
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022
Limits and Possibilities of Forgetting in Abstract Argumentation IJCAI 2022
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022
Automated Verification of Network Function Binaries NSDI 2022
Identification in Tree-shaped Linear Structural Causal Models AISTATS 2022
On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022
Simulating Sets in Answer Set Programming IJCAI 2022
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract) IJCAI 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
In Data We Trust: The Logic of Trust-Based Beliefs IJCAI 2022
Design and Verification of the Arm Confidential Compute Architecture OSDI 2022