conftrace_

consistency problem

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic axiom (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