39 citations
- American Institute of Aeronautics and AstronauticsUS2 papers
- Austrian Institute of TechnologyAT2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- KTH Royal Institute of TechnologySE2 papers
- Massachusetts Institute of TechnologyUS2 papers
- University of CopenhagenDK2 papers
- Aalto UniversityFI1 paper
- African Centre for Technology StudiesKE1 paper
- Austrian Academy of SciencesAT1 paper
- Budapest University of Technology and EconomicsHU1 paper
- Center for Integrated Quantum Science and TechnologyDE1 paper
- Czech Academy of Sciences, Institute of Organic Chemistry and BiochemistryCZ1 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.CC2026
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
Victor Lagerkvist, Johanna Groven, Leif Eriksson
The region connection calculus () and Allen's interval algebra () are two well-known NP-hard spatial-temporal qualitative reasoning problems. They are solvable in $2^{O(n…