conftrace_
← Foundations
Computer Science › Foundations ›

Formal Languages

113 papers

Papers per year

1
13
7
'15
'20
'25

Papers

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
On the Relation Between Approximation Fixpoint Theory and Justification Theory IJCAI 2021
Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021
InfOCF-Web: An Online Tool for Nonmonotonic Reasoning with Conditionals and Ranking Functions IJCAI 2021
Splitting EUD Graphs into Trees: A Quick and Clatty Approach IJCNLP 2021
An FST morphological analyzer for the Gitksan language IJCNLP 2021
Finite-state Model of Shupamem Reduplication IJCNLP 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021
Training Linear Finite-State Machines NIPS 2020
Epistemic Integrity Constraints for Ontology-Based Data Management AAAI 2020
Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020
On the Expressivity of ASK Queries in SPARQL AAAI 2020
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020
Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020
Fast and Accurate Non-Projective Dependency Tree Linearization ACL 2020
A Novel Cascade Binary Tagging Framework for Relational Triple Extraction ACL 2020
Exact yet Efficient Graph Parsing, Bi-directional Locality and the Constructivist Hypothesis ACL 2020
Multi-Tiered Strictly Local Functions ACL 2020
DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs EMNLP 2020
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Novel positional encodings to enable tree-based transformers NIPS 2019
Learning Deterministic Weighted Automata with Queries and Counterexamples NIPS 2019
G2SAT: Learning to Generate SAT Formulas NIPS 2019