Formal Methods

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022 Classical Planning with Avoid Conditions AAAI 2022 Design and Verification of the Arm Confidential Compute Architecture OSDI 2022 Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract) IJCAI 2022 Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel Ingredients AAAI 2022 Explainable Reinforcement Learning via Model Transforms NeurIPS 2022 Fuzzy Logic Based Logical Query Answering on Knowledge Graphs AAAI 2022 Identification in Tree-shaped Linear Structural Causal Models AISTATS 2022 Incomplete Argumentation Frameworks: Properties and Complexity AAAI 2022 In Data We Trust: The Logic of Trust-Based Beliefs IJCAI 2022 Limits and Possibilities of Forgetting in Abstract Argumentation IJCAI 2022 Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic AAAI 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms IJCAI 2022 MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022 Neural Abstractions NeurIPS 2022 On the Complexity of Inductively Learning Guarded Clauses AAAI 2022 On the Equivalence of Causal Models: A Category-Theoretic Approach CLeaR 2022 On Verifying Expectations and Observations of Intelligent Agents IJCAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022 Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022 Simulating Sets in Answer Set Programming IJCAI 2022 Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints AAAI 2022 Synthesis of Maximally Permissive Strategies for LTLf Specifications IJCAI 2022