Formal Methods

Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 Formal Methods for Network Performance Analysis NSDI 2023 General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase AAAI 2023 Grounding Neural Inference with Satisfiability Modulo Theories NeurIPS 2023 Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation ACL 2023 Logic-driven Indirect Supervision: An Application to Crisis Counseling ACL 2023 On Undisputed Sets in Abstract Argumentation AAAI 2023 Preferences and Constraints in Abstract Argumentation IJCAI 2023 Rule Induction in Knowledge Graphs Using Linear Programming AAAI 2023 Second-Order Quantified Boolean Logic AAAI 2023 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Soft-Unification in Deep Probabilistic Logic NeurIPS 2023 STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023 Structurally Restricted Fragments of Numeric Planning – a Complexity Analysis AAAI 2023 The Effect of Preferences in Abstract Argumentation under a Claim-Centric View AAAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023 Abstract Argumentation Frameworks with Marginal Probabilities IJCAI 2022 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022 A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022 An Axiomatic Approach to Revising Preferences AAAI 2022 Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation IJCAI 2022 Automated Verification of Network Function Binaries NSDI 2022