106 citations
- Umeå UniversitySE36 papers
- University College LondonGB21 papers
- KTH Royal Institute of TechnologySE5 papers
- Linköping UniversitySE3 papers
- Stockholm UniversitySE3 papers
- TU WienAT2 papers
- University of BoråsSE2 papers
- Aalto UniversityFI1 paper
- Birmingham City UniversityGB1 paper
- Blekinge Institute of TechnologySE1 paper
- Board of the Swiss Federal Institutes of TechnologyCH1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Representative Sets in Propositional Abduction
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist +1
The propositional abduction problem is a well-known form of non-monotonic reasoning where we are asked to find an explanation of a given manifestation. Recently, there has been an…
cs.CC2016
The Weight in Enumeration
Johannes Schmidt
In our setting enumeration amounts to generate all solutions of a problem instance without duplicates. We address the problem of enumerating the models of B-formulae. A B-formula i…