Formal Languages

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022 Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021 HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions IJCAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 On the Relation Between Approximation Fixpoint Theory and Justification Theory IJCAI 2021 Parameterized Logical Theories AAAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021 Recursive prosody is not finite-state ACL 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021 A Novel Cascade Binary Tagging Framework for Relational Triple Extraction ACL 2020 Bounds in query learning COLT 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020 Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020 Exact yet Efficient Graph Parsing, Bi-directional Locality and the Constructivist Hypothesis ACL 2020 Fast and Accurate Non-Projective Dependency Tree Linearization ACL 2020 Multi-Tiered Strictly Local Functions ACL 2020 On the Expressivity of ASK Queries in SPARQL AAAI 2020 TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Training Linear Finite-State Machines NeurIPS 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020