Tootfinder

Symmetry breaking for inductive logic programming
Andrew Cropper, David M. Cerna, Matti J\"arvisalo
https://arxiv.org/abs/2508.06263 https://arxiv.org…

Symmetry breaking for inductive logic programming
The goal of inductive logic programming is to search for a hypothesis that generalises training data and background knowledge. The challenge is searching vast hypothesis spaces, which is exacerbated because many logically equivalent hypotheses exist. To address this challenge, we introduce a method to break symmetries in the hypothesis space. We implement our idea in answer set programming. Our experiments on multiple domains, including visual reasoning and game playing, show that our approach …

MoLoRAG: Bootstrapping Document Understanding via Multi-modal Logic-aware Retrieval
Xixi Wu, Yanchao Tan, Nan Hou, Ruiyang Zhang, Hong Cheng
https://arxiv.org/abs/2509.07666 htt…

MoLoRAG: Bootstrapping Document Understanding via Multi-modal Logic-aware Retrieval
Document Understanding is a foundational AI capability with broad applications, and Document Question Answering (DocQA) is a key evaluation task. Traditional methods convert the document into text for processing by Large Language Models (LLMs), but this process strips away critical multi-modal information like figures. While Large Vision-Language Models (LVLMs) address this limitation, their constrained input size makes multi-page document comprehension infeasible. Retrieval-augmented generatio…

A New York appeals court rules that Chris Cuomo can't revive his bid to disqualify the arbitrator overseeing his $125M claim against CNN over his 2021 firing (Winston Cho/The Hollywood Reporter)
https://www.hollywoodreporter.com/business

Chris Cuomo Loses Appeal Bid to Disqualify Arbitrator in CNN Proceedings
The former CNN anchor initiated the proceedings after he was fired by the network for giving advice to his brother, who was accused of sexual harassment.

Two Agents, One Prompt, and Your Weight
Elchanan Mossel, Amnon Schrieber
https://arxiv.org/abs/2510.08232 https://arxiv.org/pdf/2510.08232

Two Agents, One Prompt, and Your Weight
We investigate a quantitative variant of the classic Two Doors logic puzzle, in which the answer space is no longer binary, for example when the goal is to recover a numerical fact (such as one's true weight) rather than choose between two doors. The puzzle retains the original structure: one agent always tells the truth, the other always lies. Our central contribution is to identify a class of self-referential prompts that successfully extract the correct quantitative answer under minimal assu…

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Tighter Bounds for Query Answering with Guarded TGDs
Antoine Amarilli, Michael Benedikt

Während die #EUCommission unter #CDU-Führung versucht die Totalüberwachung unter dem Vorwand, Kinder vor sexuellen Angriffen zu schützen, für staatlichen Einsatz zu legalisieren fährt die #Totalüberwachung

Inductive Learning for Possibilistic Logic Programs Under Stable Models
Hongbo Hu, Yisong Wang, Yi Huang, Kewen Wang
https://arxiv.org/abs/2510.07069 https://

Inductive Learning for Possibilistic Logic Programs Under Stable Models
Possibilistic logic programs (poss-programs) under stable models are a major variant of answer set programming (ASP). While its semantics (possibilistic stable models) and properties have been well investigated, the problem of inductive reasoning has not been investigated yet. This paper presents an approach to extracting poss-programs from a background program and examples (parts of intended possibilistic stable models). To this end, the notion of induction tasks is first formally defined, its…

Nächtliche Drohnenangriffe in der Ukraine
Laut ukrainischer Luftwaffe hat Russland in der Nacht die Ukraine mit Drohnen und Raketen angegriffen. Russland habe 157 Angriffsdrohnen und Drohnenattrappen eingesetzt. 121 Drohnen seien abgefangen oder elektronisch gestört worden. In Dnipro wurden mehrere Wohngebäude beschädigt, wie Serhij Lyssak mitteilte, der Gouverneur der Region Dnipropetrowsk. Lyssak veröffentlichte Aufnahmen v…
📑

Ukraine-Liveblog: ++ Schäden in Dnipro nach Drohnenangriffen ++
Bei russischen Drohnenangriffen in Dnipro sind nach ukrainischen Angaben mehrere Wohngebäude beschädigt worden. Westliche Truppen in der Ukraine wären nach den Worten von Präsident Putin legitime Angriffsziele.

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
Ryota Kojima, Corina Cirstea
https://arxiv.org/abs/2510.04653 https://arxiv.org…

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
We introduce continuation semantics for both fixpoint modal logic (FML) and Computation Tree Logic* (CTL*), parameterised by a choice of branching type and quantitative predicate lifting. Our main contribution is proving that they are equivalent to coalgebraic semantics, for all branching types. Our continuation semantics is defined over coalgebras of the continuation monad whose answer type coincides with the domain of truth values of the formulas. By identifying predicates and continuations, …

Evaluation of LLMs for Process Model Analysis and Optimization
Akhil Kumar, Jianliang Leon Zhao, Om Dobariya
https://arxiv.org/abs/2510.07489 https://arxiv…

Evaluation of LLMs for Process Model Analysis and Optimization
In this paper, we report our experience with several LLMs for their ability to understand a process model in an interactive, conversational style, find syntactical and logical errors in it, and reason with it in depth through a natural language (NL) interface. Our findings show that a vanilla, untrained LLM like ChatGPT (model o3) in a zero-shot setting is effective in understanding BPMN process models from images and answering queries about them intelligently at syntactic, logic, and semantic …