12 citations · 33 across the 14 of their papers we have counts for
15 papers
Backward through Time, Algebraically
Konstantinos Kogkalidis
Linear temporal logic is a modal extension of propositional logic that allows one to state how a system should behave over time. Its canonical domain is the booleans, but discretel…
Nominal Class Assignment in Swahili: A Computational Account
Giada Palmieri, Konstantinos Kogkalidis
We discuss the open question of the relation between semantics and nominal class assignment in Swahili. We approach the problem from a computational perspective, aiming first to qu…
On Tables with Numbers, with Numbers
Konstantinos Kogkalidis, Stergios Chatzikyriakidis
This paper is a critical reflection on the epistemic culture of contemporary computational linguistics, framed in the context of its growing obsession with tables with numbers. We…
Learning Structure-Aware Representations of Dependent Types
Konstantinos Kogkalidis, Orestis Melkonian, Jean-Philippe Bernardy
Agda is a dependently-typed programming language and a proof assistant, pivotal in proof formalization and programming language theory. This paper extends the Agda ecosystem into m…
Algebraic Positional Encodings
Konstantinos Kogkalidis, Jean-Philippe Bernardy, Vikas Garg
We introduce a novel positional encoding strategy for Transformer-style models, addressing the shortcomings of existing, often ad hoc, approaches. Our framework provides a flexible…
OYXOY: A Modern NLP Test Suite for Modern Greek
Konstantinos Kogkalidis, Stergios Chatzikyriakidis, Eirini Chrysovalantou Giannikouri +8
This paper serves as a foundational step towards the development of a linguistically motivated and technically relevant evaluation suite for Greek NLP. We initiate this endeavor by…
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
This paper describes SPINDLE - an open source Python module implementing an efficient and accurate parser for written Dutch that transforms raw text input to programs for meaning c…
Discontinuous Constituency and BERT: A Case Study of Dutch
Konstantinos Kogkalidis, Gijs Wijnholds
In this paper, we set out to quantify the syntactic capacity of BERT in the evaluation regime of non-context free patterns, as occurring in Dutch. We devise a test suite based on a…
Geometry-Aware Supertagging with Heterogeneous Dynamic Convolutions
Konstantinos Kogkalidis, Michael Moortgat
The syntactic categories of categorial grammar formalisms are structured units made of smaller, indivisible primitives, bound together by the underlying grammar's category formatio…
A Logic-Based Framework for Natural Language Inference in Dutch
Lasha Abzianidze, Konstantinos Kogkalidis
We present a framework for deriving inference relations between Dutch sentence pairs. The proposed framework relies on logic-based reasoning to produce inspectable proofs leading u…
Improving BERT Pretraining with Syntactic Supervision
Giorgos Tziafas, Konstantinos Kogkalidis, Gijs Wijnholds +1
Bidirectional masked Transformers have become the core theme in the current NLP landscape. Despite their impressive benchmarks, a recurring theme in recent research has been to que…
Fighting the COVID-19 Infodemic with a Holistic BERT Ensemble
Giorgos Tziafas, Konstantinos Kogkalidis, Tommaso Caselli
This paper describes the TOKOFOU system, an ensemble model for misinformation detection tasks based on six different transformer-based pre-trained encoders, implemented in the cont…
Neural Proof Nets
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Linear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of…
Extracting and Learning a Dependency-Enhanced Type Lexicon for Dutch
Konstantinos Kogkalidis
This thesis is concerned with type-logical grammars and their practical applicability as tools of reasoning about sentence syntax and semantics. The focal point is narrowed to Dutc…
Constructive Type-Logical Supertagging with Self-Attention Networks
Konstantinos Kogkalidis, Michael Moortgat, Tejaswini Deoskar
We propose a novel application of self-attention networks towards grammar induction. We present an attention-based supertagger for a refined type-logical grammar, trained on constr…