Formal Methods

TAG: Learning Timed Automata from Logs AAAI 2022 The SoftCumulative Constraint with Quadratic Penalty AAAI 2022 Tractable Abstract Argumentation via Backdoor-Treewidth AAAI 2022 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022 Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022 Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022 Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022 WiC = TSV = WSD: On the Equivalence of Three Semantic Tasks NAACL 2022 A General Setting for Gradual Semantics Dealing with Similarity AAAI 2021 Algebra of Modular Systems: Containment and Equivalence AAAI 2021 An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts IJCAI 2021 Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021 A SAT-based Resolution of Lam's Problem AAAI 2021 Bounded Predicates in Description Logics with Counting IJCAI 2021 Conditional independences and causal relations implied by sets of equations JMLR 2021 Conditional Inference under Disjunctive Rationality AAAI 2021 Constraint-Driven Learning of Logic Programs AAAI 2021 Contextual Conditional Reasoning AAAI 2021 Data-Driven Abstraction of Monotone Systems L4DC 2021 Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021 Focused Inference and System P AAAI 2021 GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021 Inconsistency Measurement for Paraconsistent Inference IJCAI 2021 Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021