Formal Languages

Modeling Reduplication with 2-way Finite-State Transducers EMNLP 2018 On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018 Sanskrit n-Retroflexion is Input-Output Tier-Based Strictly Local EMNLP 2018 SynKit: LTL Synthesis as a Service IJCAI 2018 A General Notion of Equivalence for Abstract Argumentation IJCAI 2017 A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017 Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints IJCAI 2017 Intuitionistic Layered Graph Logic IJCAI 2017 Query Answering in Ontologies under Preference Rankings IJCAI 2017 Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017 Symbolic LTLf Synthesis IJCAI 2017 Low-Rank Approximation of Weighted Tree Automata AISTATS 2016 Querying Data Graphs with Arithmetical Regular Expressions IJCAI 2016 Learning to Identify Concise Regular Expressions that Describe Email Campaigns JMLR 2015 Learning Shuffle Ideals Under Restricted Distributions NeurIPS 2014 Unsupervised Structure Learning of Stochastic And-Or Grammars NeurIPS 2013 Learning and Model-Checking Networks of I/O Automata ACML 2012 Spectral Learning of General Weighted Automata via Constrained Matrix Completion NeurIPS 2012 Probabilistic Deterministic Infinite Automata NeurIPS 2010 Learning Balls of Strings from Edit Corrections JMLR 2008