conftrace_

dynamic axiom

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

consistency problem (1) separation logic (1) description logic (1) knowledge base (1) knowledge representation (1)

Papers

A Framework for Reasoning about Dynamic Axioms in Description Logics IJCAI 2020