Formal Languages

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020 Action-Sensitive Phonological Dependencies ACL 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019 Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019 DepDist: Surface realization via regex and learned dependency-distance tolerance EMNLP 2019 Equiprobable mappings in weighted constraint grammars ACL 2019 Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019 From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment AAAI 2019 G2SAT: Learning to Generate SAT Formulas NeurIPS 2019 Learning Deterministic Weighted Automata with Queries and Counterexamples NeurIPS 2019 Novel positional encodings to enable tree-based transformers NeurIPS 2019 On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019 Partial Awareness AAAI 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019 Regular Boardgames AAAI 2019 Relaxing and Restraining Queries for OBDA AAAI 2019 Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks ICLR 2019 The Complexity of Model Checking Knowledge and Time IJCAI 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Weakly deterministic transformations are subregular ACL 2019 A Syntax-Based Scheme for the Annotation and Segmentation of German Spoken Language Interactions COLING 2018 Clausal Modifiers in the Grammar Matrix COLING 2018 Computational Challenges for Polysynthetic Languages COLING 2018 Constraining MGbank: Agreement, L-Selection and Supertagging in Minimalist Grammars ACL 2018 Interactive Robot Transition Repair With SMT IJCAI 2018