conftrace_

finite model

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

algebraic structure (2) description logic (2) sat solver (2) knowledge base (2) finite model reasoning (1) alcif ontology (1) finite entailment (1) finite model semantics (1) query entailment (1) finite controllability (1)

Papers

Complete Symmetry Breaking for Finite Models AAAI 2025 Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025 SAT-Based Techniques for Lexicographically Smallest Finite Models AAAI 2024 Finite Entailment of Local Queries in the Z Family of Description Logics AAAI 2022