A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276): Difference between revisions

@@ Property / describes a project that uses @@
+KL-ONE
@@ Property / describes a project that uses: KL-ONE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in Modal, Description and Hybrid Logic
@@ Property / cites work: Resolution in Modal, Description and Hybrid Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+An order-sorted logic for knowledge representation systems
+Normal rank
@@ Property / cites work @@
+A resolution principle for a logic with restricted quantifiers
+Normal rank
@@ Property / cites work @@
+A resolution principle for constrained logics
@@ Property / cites work: A resolution principle for constrained logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514013
@@ Property / cites work: Q4514013 / rank @@
+Normal rank
@@ Property / cites work @@
+An epistemic operator for description logics
@@ Property / cites work: An epistemic operator for description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal resolution in clausal form
@@ Property / cites work: Modal resolution in clausal form / rank @@
+Normal rank
@@ Property / cites work @@
+Q3495342
@@ Property / cites work: Q3495342 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled resolution for classical and non-classical logics
+Normal rank
@@ Property / cites work @@
+Order-sorted logic programming with predicate hierarchy
+Normal rank
@@ Property / cites work @@
+Q4736520
@@ Property / cites work: Q4736520 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between situation calculus and event calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2493276