conftrace_

propositional abduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

exponential time hypothesis (1) non-monotonic reasoning (1) knowledge base (1) fine-grained complexity (1)

Papers

A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds IJCAI 2025