cs.LO · 2026-06-18 · No. 27

Logic in Computer Science, 2026-06-18.

1 new papers in cs.LO. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    The More the Merrier: Combining Properties for ABox Abduction under Repair Semantics for ELbot

    Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan

    cs.LO · cs.AI

    Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailment become true. Abduction under repair semantics has recently been investigated in detail, where several desirable properties and optimality criteria were considered, such as signature-restrictions and minimality in size and of introduced conflicts. Naturally,...

    arxiv.org/abs/2606.19197 · PDF

This edition is part of The Daily Abstract — cs.LO archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.