conftrace_

quantified equilibrium logic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

stable model semantics (1) concept satisfiability (1) default negation (1) description logic (1) automated reasoning (1) knowledge base (1)

Papers

Stable Model Semantics for Description Logic Terminologies AAAI 2024