conftrace_

alcif ontology

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cardinality query (1) finite model reasoning (1) finite model (1) description logic (1) knowledge base (1)

Papers

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025