Limited reasoning in first-order knowledge bases with full introspection (Q2171268): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
+Normal rank
@@ Property / cites work @@
+Levesque's axiomatization of only knowing is incomplete
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Q3493327
@@ Property / cites work: Q3493327 / rank @@
+Normal rank
@@ Property / cites work @@
+A decidable fragment of predicate calculus
@@ Property / cites work: A decidable fragment of predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012248
@@ Property / cites work: Q4012248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028810
@@ Property / cites work: Q4028810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4022224
@@ Property / cites work: Q4022224 / rank @@
+Normal rank
@@ Property / cites work @@
+Limited reasoning in first-order knowledge bases
@@ Property / cites work: Limited reasoning in first-order knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203721
@@ Property / cites work: Q5203721 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank