← Foundations
Computer Science › Foundations ›

Formal Languages

110 directly classified papers

Papers per year

Papers

Partial Awareness AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019
Learning Deterministic Weighted Automata with Queries and Counterexamples NIPS 2019
G2SAT: Learning to Generate SAT Formulas NIPS 2019
Regular Boardgames AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
The Complexity of Model Checking Knowledge and Time IJCAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
Novel positional encodings to enable tree-based transformers NIPS 2019
Computational Challenges for Polysynthetic Languages COLING 2018
Clausal Modifiers in the Grammar Matrix COLING 2018
A Syntax-Based Scheme for the Annotation and Segmentation of German Spoken Language Interactions COLING 2018
Constraining MGbank: Agreement, L-Selection and Supertagging in Minimalist Grammars ACL 2018
Sanskrit n-Retroflexion is Input-Output Tier-Based Strictly Local EMNLP 2018
Modeling Reduplication with 2-way Finite-State Transducers EMNLP 2018
On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018
Interactive Robot Transition Repair With SMT IJCAI 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
A New Semantics for Overriding in Description Logics (Extended Abstract) IJCAI 2017
Query Answering in Ontologies under Preference Rankings IJCAI 2017
Query Rewriting for DL-Lite with n-ary Concrete Domains IJCAI 2017
Intuitionistic Layered Graph Logic IJCAI 2017