Tootfinder

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
Camille Bourgaux, Anton Gnatenko, Micha\"el Thomazo
https://arxiv.org/abs/2508.00575 https://

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
We establish a correspondence between (fragments of) $\mathcal{TEL}^\bigcirc$, a temporal extension of the $\mathcal{EL}$ description logic with the LTL operator $\bigcirc^k$, and some specific kinds of formal grammars, in particular, conjunctive grammars (context-free grammars equipped with the operation of intersection). This connection implies that $\mathcal{TEL}^\bigcirc$ does not possess the property of ultimate periodicity of models, and further leads to undecidability of query answering …

Directed Grammar-Based Test Generation
Lukas Kirschner (Saarland University,University of Luxembourg), Ezekiel Soremekun (Singapore University of Technology,Design)
https://arxiv.org/abs/2508.01472

Directed Grammar-Based Test Generation
To effectively test complex software, it is important to generate goal-specific inputs, i.e., inputs that achieve a specific testing goal. However, most state-of-the-art test generators are not designed to target specific goals. Notably, grammar-based test generators, which (randomly) produce syntactically valid inputs via an input specification (i.e., grammar) have a low probability of achieving an arbitrary testing goal. This work addresses this challenge by proposing an automated test genera…

Ukrainian-founded Grammarly to acquire AI email app Superhuman: https://benborges.xyz/2025/07/02/ukrainianfounded-grammarly-to-acquire-ai.html

TikTok users are posting AI-generated videos, seemingly made with Google's Veo 3, depicting racist and antisemitic tropes that have garnered millions of views (Abbie Richards/Media Matters for America)
https://www.mediamatters.org/tiktok/racist

Racist AI-generated videos are the newest slop garnering millions of views on TikTok

A RoBERTa-Based Functional Syntax Annotation Model for Chinese Texts
Han Xiaohui, Zhang Yunlong, Guo Yuxi
https://arxiv.org/abs/2509.04046 https://arxiv.or…

A RoBERTa-Based Functional Syntax Annotation Model for Chinese Texts
Systemic Functional Grammar and its branch, Cardiff Grammar, have been widely applied to discourse analysis, semantic function research, and other tasks across various languages and texts. However, an automatic annotation system based on this theory for Chinese texts has not yet been developed, which significantly constrains the application and promotion of relevant theories. To fill this gap, this research introduces a functional syntax annotation model for Chinese based on RoBERTa (Robustly O…

🍃 Fake grass is greener but is it worse for the environment?
#lawns

Fake grass is greener but is it worse for the environment?
From the front yards of West Miami-Dade to the waterfront mansions of Fort Lauderdale, artificial turf is appearing more and more.

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Green River:
🎵 Together We’ll Never
#GreenRiver
https://greenriver.bandcamp.com/track/together-well-never-2
https://open.spotify.com/track/41o1XoSFotU9SqRIUu4uAl

A watchful Wilson's warbler, Cardellina pusilla, along the trails in Discovery Park last month
#naturalist #wildlife #bird

In #Erftstadt entsteht ein neuer #Windpark mit sechs Anlagen vom Typ Nordex N131.
Ab 2026 soll er rund 38 Millionen kWh jährlich liefern und damit über 11.000 Haushalte mit #Ökostrom vers…

Neuer Windpark Erftstadt-Erp: Grüner Strom für 11.000 Haushalte
Im nordrheinwestfälischen Erftstadt im Rhein-Erft-Kreis entsteht ein neuer Windpark. Künftig sollen im Ortsteil Erp sechs Windenergieanlagen vom Typ Nordex N131/3600 mit einer Gesamthöhe von 164,5 Metern, einer Leistung von insgesamt 21,6 MW und einem Energieertrag von rund 38.000.000 kWh pro Jahr grünen Strom für insgesamt über 11.000 Haushalte produzieren. Umgesetzt wird der Windpark von der größten deutschen Energiegenossenschaft Green Planet Energy und der österreichischen oekostro…

Grammarly acquires email startup Superhuman as part of a push to build an AI-powered productivity suite; Superhuman was last valued at $825M in 2021 (Krystal Hu/Reuters)
https://www.reuters.com/business/grammarly-acquires-e…