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…

Die #CDU ist und bleibt der Feind und agitiert immer unverhohlener gegen queeres Leben in Deutschland.
#fckCDU
https://www.

WTF Brandenburg on Instagram: "Ralf Lehmann (CDU, Bürgermeister Bad Freienwalde) zitiert von Olaf Sundermeyer (rbb) im radioens Interview, 16.06.2025: „Die Sache wird von den Medien aufgebauscht, es hat keinen Angriff gegeben, sondern eine Störaktion, die von Teilnehmern der Veranstaltung unterbrochen wurde.“ Ralf ist gestern nicht zum Tatort gekommen. Hier anhören: https://www.radioeins.de/programm/sendungen/mofr1013/_/angriff-familienfest-bad-freienwalde-ist-bunt.html Quelle: rbb radioeins, Olaf Sundermeyer. @bad_freienwalde_ist_bunt #badfreienwaldeistbunt"
218 likes, 24 comments - wtfbrandenburg on June 16, 2025: "Ralf Lehmann (CDU, Bürgermeister Bad Freienwalde) zitiert von Olaf Sundermeyer (rbb) im radioens Interview, 16.06.2025: „Die Sache wird von den Medien aufgebauscht, es hat keinen Angriff gegeben, sondern eine Störaktion, die von Teilnehmern der Veranstaltung unterbrochen wurde.“ Ralf ist gestern nicht zum Tatort gekommen. Hier anhören: https://www.radioeins.de/programm/sendungen/mofr1013/_/angriff-familienfest-bad-freienwalde…

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
Maximiliano Hormaz\'abal Lagos, \'Alvaro Bueno S\'aez, Pedro Alonso Doval, Jorge Alcalde Vesteiro, H\'ector Cerezo-Costas
https://arxiv.org/abs/2507.11694

ExpliCIT-QA: Explainable Code-Based Image Table Question Answering
We present ExpliCIT-QA, a system that extends our previous MRT approach for tabular question answering into a multimodal pipeline capable of handling complex table images and providing explainable answers. ExpliCIT-QA follows a modular design, consisting of: (1) Multimodal Table Understanding, which uses a Chain-of-Thought approach to extract and transform content from table images; (2) Language-based Reasoning, where a step-by-step explanation in natural language is generated to solve the prob…

‘I don’t want their support anymore!’ says president, calling supporters demanding answers on Epstein files ‘weaklings’
Trump lashes out at supporters as poll says most Americans believe key details on Epstein being hidden: Latest updates | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/trump-epstein-files-live-updates-b2790938.html

Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
https://arxiv.org/abs/2507.11704

Anthem 2.0: Automated Reasoning for Answer Set Programming
Anthem 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of Clingo's input language named mini-gringo, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there, and analyze properties of logic programs such as tightness. Most importantly, Anthem 2.0 can support program verification by invoking first-order theorem provers to confirm that a…

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
Lukasz Mazur, Nenad Petrovic, James Pontes Miranda, Ansgar Radermacher, Robert Rasche, Alois Knoll
https://arxiv.org/abs/2506.13171

Querying Large Automotive Software Models: Agentic vs. Direct LLM Approaches
Large language models (LLMs) offer new opportunities for interacting with complex software artifacts, such as software models, through natural language. They present especially promising benefits for large software models that are difficult to grasp in their entirety, making traditional interaction and analysis approaches challenging. This paper investigates two approaches for leveraging LLMs to answer questions over software models: direct prompting, where the whole software model is provided …

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
Alessandro Bertagnon, Marcello Dalpasso, Michele Favalli, Marco Gavanelli
https://arxiv.org/abs/2507.11150

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
In the design of integrated circuits, one critical metric is the maximum delay introduced by combinational modules within the circuit. This delay is crucial because it represents the time required to perform a computation: in an Arithmetic-Logic Unit it represents the maximum time taken by the circuit to perform an arithmetic operation. When such a circuit is part of a larger, synchronous system, like a CPU, the maximum delay directly impacts the maximum clock frequency of the entire system. Ty…

Comment on Decidability of Quasi-Dense Modal Logics by Lyon and Ostropolski-Nalewaja
Olivier Gasquet
https://arxiv.org/abs/2507.11644 https://

Comment on Decidability of Quasi-Dense Modal Logics by Lyon and Ostropolski-Nalewaja
In \cite{Lyon24} the question of the decidability of quasi-dense modal logics is answered, and an upper bound in EXPSPACE is given. Unfortunately, authors' intricate proof contains a major flaw that cannot be fixed, leaving the question wide open. Once identified, this error roughly amounts to assuming that the union of two consistent sets is consistent, which is of course wrong.

Aus dem offenen Brief zur Causa Frauke #BrosiusGersdorf und der Rolle der Union:
„geeignet, […] über den Verfall der angemessenen Umgangskultur die gesamte demokratische Ordnung zu beschädigen.“
„Angriff auf die Wissenschaftsfreiheit“
„gegenüber ideologisierten Lobbygruppen und mit Unwahrheiten und Diffamierungen gespickten Kampagnen zurückzurudern…“

Stellungnahme zur Causa „Frauke Brosius-Gersdorf“
 

Path-filtration for modal logics applied to revisiting quasi-dense logics
Olivier Gasquet
https://arxiv.org/abs/2507.11258 https://ar…

Path-filtration for modal logics applied to revisiting quasi-dense logics
In https://arxiv.org/pdf/2405.10094 (also published at LICS'24 conference), Lyon and Ostropolski-Nalewaja answer the question of the decidability of quasi-dense modallogics, and give an upper bound in EXPSPACE. Unfortunately, their intricate proof contains a major flaw that cannot be fixed, leaving the question wide open. In this paper we provide a correct and rather simple and direct proof of it by introducing a new variant of the well-know filtration method based on paths in a canonical model…