conftrace_

finite model reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

cardinality query (1) alcif ontology (1) backward chaining (1) forward chaining (1) finite model (1) existential rule (1) query answering (1) description logic (1) knowledge base (1)

Papers

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018