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…

Verbesserungen für Flüge mit dem iPhone: Apple Wallet sherlockt Flighty
Viele Nutzer stecken bereits jetzt ihre Bordkarte in die Apple Wallet. Künftig wird die deutlich intelligenter – was unabhängige Apps angreift.

Third Biden aide refuses to answer Oversight questions: Comer (Ashleigh Fields/The Hill)
https://thehill.com/homenews/house/5408464-third-biden-aide-refuses-to-answer-oversight-questions-comer/
http://www.memeorandum.com/250718/p74#a250718p74

Nius-Datenleck: Abgezogene Daten sind echt
Das Portal Nius wurde von Angreifern umgestaltet, die auch Daten von Abonnenten veröffentlicht haben. Die Daten sind offenbar echt.
https://www.heise.de/new…

Spagnola: High time to start from scratch again https://www.dallascowboys.com/news/spagnola-high-time-to-start-from-scratch-again

Details from Ashley Parker and Michael Scherer’s study of Trump’s cellphone habits have a way of lingering in the mind.
The president’s personal number is “broadly circulated.”
He picks up calls from unknown numbers, and keeps a photograph of his own face on his lock screen.
The Cellphone in Chief is a “portal,” Parker and Scherer write,
but it’s also a mirror, a security blanket, and a vulnerability.
Their short psychological study suggests a man who is occasio…

MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
Varun Srivastava, Fan Lei, Srija Mukhopadhyay, Vivek Gupta, Ross Maciejewski
https://arxiv.org/abs/2507.11625

MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
Recent advancements in multimodal large language models (MLLMs) have driven researchers to explore how well these models read data visualizations, e.g., bar charts, scatter plots. More recently, attention has shifted to visual question answering with maps (Map-VQA). However, Map-VQA research has primarily focused on choropleth maps, which cover only a limited range of thematic categories and visual analytical tasks. To address these gaps, we introduce MapIQ, a benchmark dataset comprising 14,70…

Risikomanagement und Resilienz in der IT-Sicherheit: IT-Sicherheitstag Dortmund
Das Programm zur eintägigen Konferenz an der FH Dortmund am 16.09. ist online. Die Vorträge aus Forschung und Wirtschaft reichen von Hacking bis LLM-Angriffen.

Spagnola: High time to start from scratch again https://www.dallascowboys.com/news/spagnola-high-time-to-start-from-scratch-again

Top oversight Democrat sends letter to Fox News demanding answers on edits to Trump's 2024 Epstein comments (CNN)
https://cnn.com/2025/07/17/media/trump-epstein-fox-news-edits-house-democrats-oversight
http://www.memeorandum.com/250717/p116#a250717p116