Tootfinder

Counting Answer Sets of Disjunctive Answer Set Programs
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel
https://arxiv.org/abs/2507.11655 https://

Counting Answer Sets of Disjunctive Answer Set Programs
Answer Set Programming (ASP) provides a powerful declarative paradigm for knowledge representation and reasoning. Recently, counting answer sets has emerged as an important computational problem with applications in probabilistic reasoning, network reliability analysis, and other domains. This has motivated significant research into designing efficient ASP counters. While substantial progress has been made for normal logic programs, the development of practical counters for disjunctive logic pr…

Well this seems not fun...
https://www.cpsc.gov/Recalls/2025/More-than-One-Million-Anker-Power-Banks-Recalled-Due-to-Fire-and-Burn-Hazards-Manufactured-by-Anker-Innovations…

More than One Million Anker Power Banks Recalled Due to Fire and Burn Hazards; Manufactured by Anker Innovations
Consumers should immediately stop using the recalled power banks and contact Anker Innovations for instructions on receiving a free replacement power bank. Visit https://www.anker.com/product-recalls to register for the recall. To receive a replacement, consumers will be required to submit a photo of their recalled power bank showing the model number, serial number, their name, the date of the photograph, and the word “recalled” written on the power bank in permanent marker. A purchase rec…

#DH2025, we're delighted to share a Turing's Humanities and Data Science event in Oxford and online on 25th Sept with a panel asking: 'How far can data science and the humanities help to answer each other’s questions?'
Express your interest here:

Network power: the humanities and data science in collaboration

Erneut Verletzte nach russischen Angriffen in der Ukraine
Russland hat in der Nacht mehrere Städte in der Ukraine mit hunderten Drohnen und einer Rakete angegriffen. Dabei wurden nach Angaben der Behörden mindestens 15 Menschen verletzt. Die ukrainische Luftwaffe teilte mit, Russland habe 400 Drohnen sowie eine ballistische Rakete eingesetzt und vor allem die Städte Charkiw, Krywyj Rih und Winnyzja ins Visier genommen. Die gr…
📑

Ukraine-Liveblog: Trump: Moskau sollte kein Ziel werden
US-Präsident Trump will der Ukraine keine Langstreckenraketen liefern und rät Präsident Selenskyj davon ab, Moskau oder andere Orte in Russland anzugreifen. In der Region Sumy werden offenbar 40.000 Ukrainer evakuiert. Die Entwicklungen im Liveblog:

at this point I would just get rid of every #anker power bank regardless of whether it’s been #recalled or not, it’s only a matter of time

More than One Million Anker Power Banks Recalled Due to Fire and Burn Hazards; Manufactured by Anker Innovations
Consumers should immediately stop using the recalled power banks and contact Anker Innovations for instructions on receiving a free replacement power bank. Visit https://www.anker.com/product-recalls to register for the recall. To receive a replacement, consumers will be required to submit a photo of their recalled power bank showing the model number, serial number, their name, the date of the photograph, and the word “recalled” written on the power bank in permanent marker. A purchase rec…

📢 G7-Staaten einigen sich überraschend auf Erklärung zu Iran und Israel
US-Präsident Donald Trump und die anderen G7-Chefs haben sich unerwartet auf eine gemeinsame Erklärung zu den Angriffen zwischen Israel und dem Iran verständigt. In dem Text wird Israels Recht auf Selbstverteidigung betont und erklärt, dass der Iran niemals in den Besitz einer Atomwaffe gelangen dürfe.
➡️

G7-Staaten einigen sich überraschend auf Erklärung zu Iran und Israel
Die Staats- und Regierungschefs der G7-Staaten haben in einer Erklärung eine Deeskalation zwischen Israel und Iran gefordert. In dem Text heißt es unter anderem, dass der Iran niemals in den Besitz einer Atomwaffe gelangen dürfe.

Ich weiss, ihr konntet gestern alle nicht arbeiten aus Vorfreude auf den heutigen #DNIPBriefing-Dienstag! Endlich ist er da! Auch heute mit dem #DNIP-Redaktions-Sammelsurium der letzten Woche.
1️⃣ Obwohl sein Ende schon Dutzende Male verkündet wurde, z.T. schon vor seiner Geburt: Das Ende …

The Energy Spectrum of Ultra-High Energy Cosmic Rays across Declinations $-90^\circ$ to $ 44.8^\circ$ as measured at the Pierre Auger Observatory
Collaboration, Halim, Abreu, Aglietta, Allekotte, Cheminant, Almela, Aloisio, Alvarez-Mu\~niz, Ambrosone, Yebra, Anastasi, Anchordoqui, Andrada, Dourado, Andringa, Apollonio, Aramo, Arnone, Vel\'azquez, Assis, Avila, Avocone, Bakalova, Barbato, Mocellin, Bellido, Berat, Bertaina, Bianciotto, Biermann, Binet, Bismark, Bister, Biteau, Blaze…

The Energy Spectrum of Ultra-High Energy Cosmic Rays across Declinations $-90^\circ$ to $+44.8^\circ$ as measured at the Pierre Auger Observatory
The energy spectrum of cosmic rays above 2.5 EeV has been measured across the declination range $-90^\circ \leqδ\leq +44.8^\circ$ using data from $\sim 310{,}000$ events accrued at the Pierre Auger Observatory from an exposure of $(104{,}900\pm 3{,}100)$ km$^2\,$sr$\,$yr. No significant variations of energy spectra with declination are observed, after allowing or not for non-uniformities across the sky arising from the well-established dipolar anisotropies in the arrival directions of ultra-hi…

Lettland übergibt 15 Transport-Radpanzer
Lettland hat der Ukraine weitere Militärhilfe für den Abwehrkampf gegen Russlands Angriffskrieg geleistet. Das baltische EU- und NATO-Land hat 15 Transport-Panzer an die ukrainischen Streitkräfte geliefert. Die Fahrzeuge vom Typ Patria 6x6 wurden von Regierungschefin Evika Silina bei einem Besuch in Kiew an die Armee übergeben, wie die lettische Staatskanzlei und das Verteidigungsminis…
📑

Ukraine-Liveblog: Trump: Moskau sollte kein Ziel werden
US-Präsident Trump will der Ukraine keine Langstreckenraketen liefern und rät Präsident Selenskyj davon ab, Moskau oder andere Orte in Russland anzugreifen. In der Region Sumy werden offenbar 40.000 Ukrainer evakuiert. Die Entwicklungen im Liveblog: