ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984): Difference between revisions

@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786007
@@ Property / cites work: Q3786007 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction and induction. Essays on their relation and integration
+Normal rank
@@ Property / cites work @@
+Goal-directed proof theory
@@ Property / cites work: Goal-directed proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Advice on Abductive Logic
@@ Property / cites work: Advice on Abductive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751354
@@ Property / cites work: Q2751354 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity and regularity with negation normal form
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+First order abduction via tableau and sequent calculi
+Normal rank
@@ Property / cites work @@
+Q4860658
@@ Property / cites work: Q4860658 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank
@@ Property / cites work @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+Debugging incoherent terminologies
@@ Property / cites work: Debugging incoherent terminologies / rank @@
+Normal rank