conftrace_

logical consequence

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge representation (2) logical formula clustering (1) inconsistency measurement (1) ontology engineering (1) logical formula (1) formula clustering (1) deductive forgetting (1) formal logic (1) propositional formula (1) propositional logic (1)

Papers

A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020