conftrace_

default negation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

stable model semantics (1) concept satisfiability (1) quantified equilibrium logic (1) description logic (1) automated reasoning (1) knowledge base (1)

Papers

Stable Model Semantics for Description Logic Terminologies AAAI 2024