works on
ai-generated feedback 1complexity analysis 1english as a foreign language 1explorable automata 1extrinsic evaluation 1history-deterministic automata 1infinite-word acceptance 1intrinsic evaluation 1learner-centered evaluation 1parity automata 1written corrective feedback 1

From the 2 of 12 papers with an AI index.

most citedFailures and Successes to Learn a Core Conceptual Distinction from the Statistics of Language

5 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

4 papers · 1 filter

cs.LO2026

Trees in graphs of large linear cliquewidth

Mikołaj Bojańczyk, Pierre Ohlmann

The Pathwidth Theorem states that if a class of graphs has unbounded pathwidth, then it contains all trees as graph minors. We prove a similar result for dense graphs. More precise…

cs.LO2026

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic

Daniil Kozhemiachenko, Igor Sedlár

We explore a fuzzy modal logic that can formalise probabilistic reasoning about actions and knowledge. In particular, we deal with contexts involving statements about events expres…

cs.LO2026

Probabilistic Abduction in a Fuzzy Logic Framework

Tommaso Flaminio, Katsumi Inoue, Daniil Kozhemiachenko

We study the problem of explaining observations about the probabilities of events, such as "it rains of the time", "rain and snow are equally likely", etc. We explain these…

cs.LO2026

Extensional Taylor Expansion

Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair

We introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax an…