Automated theorem proving in temporal logic: \(T\)-resolution (Q1322389): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340205
@@ Property / cites work: Q3340205 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logics in AI: semantical and ontological considerations
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3948585
@@ Property / cites work: Q3948585 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1322389