Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « invited-3 | paper-1 | paper-2 »

The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with 𝜔-Admissible Concrete Domains

Filippo De Bortoli ORCID dblp Wikidata
Patrick Koopmann ORCID dblp Wikidata
Stefan Borgwardt ORCID dblp Wikidata