conftrace_

separation logic

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

dynamic axiom (1) consistency problem (1) decision procedure (1) description logic (1) search control knowledge (1) temporal logic (1) planning algorithm (1) knowledge base (1) knowledge representation (1)

Papers

A Framework for Reasoning about Dynamic Axioms in Description Logics IJCAI 2020 Temporalising Separation Logic for Planning with Search Control Knowledge IJCAI 2017