conftrace_

concept satisfiability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

stable model semantics (1) default negation (1) quantified equilibrium logic (1) description logic (1) automated reasoning (1) knowledge base (1)

Papers

Stable Model Semantics for Description Logic Terminologies AAAI 2024