Personensuche
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
1
Optimal Repairs in the Description Logic $$\mathcal{E}\math..:
, In:
?
Rules and Reasoning; Lecture Notes in Computer Science ,
2
Combining Proofs for Description Logic and Concrete Domain ..:
, In:
?
The Semantic Web; Lecture Notes in Computer Science ,
3
Optimal ABox Repair w.r.t. Static $$\mathcal {EL}$$ TBoxes:..:
, In:
?
Rules and Reasoning; Lecture Notes in Computer Science ,
4
Explaining Ontology-Mediated Query Answers Using Proofs ove..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
5
Evonne: Interactive Proof Visualization for Description Log..:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
6
Connection-Minimal Abduction in $$\mathcal {EL}$$ via Trans..:
, In:
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
8
Computing Optimal Repairs of Quantified ABoxes w.r.t. Stati..:
, In:
?
Automated Deduction – CADE 28; Lecture Notes in Computer Science ,
9
Finding Good Proofs for Description Logic Entailments using..:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
15