conftrace_

abox abduction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

description logic (2) signature-based abduction (1) signature-based reasoning (1) complex concept (1) hypothesis generation (1) uniform interpolation (1) abductive reasoning (1) complexity analysis (1) knowledge base (1) symbolic reasoning (1)

Papers

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021 ABox Abduction via Forgetting in ALC AAAI 2019