formal methods

Explainable Reinforcement Learning via Model Transforms NeurIPS 2022 Limits and Possibilities of Forgetting in Abstract Argumentation IJCAI 2022 Logical Inference for Counting on Semi-structured Tables ACL 2022 Policy Optimization with Linear Temporal Logic Constraints NeurIPS 2022 Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022 Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract) IJCAI 2021 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 Passive learning of Timed Automata from logs (Student Abstract) AAAI 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 The Counterfactual NESS Definition of Causation AAAI 2021 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Grounding Language to Non-Markovian Tasks with No Supervision of Task Specifications RSS 2020 Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020 Parameterised Resource-Bounded ATL AAAI 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020 Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020 Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019 Ontology Approximation in Horn Description Logics IJCAI 2019 Probabilistic Alternating-Time µ-Calculus AAAI 2019 Regular Boardgames AAAI 2019 Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019 Unbounded Stress in Subregular Phonology ACL 2019