Constructing situations and time (Q543532): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Situations in LTL as strings
@@ Property / cites work: Situations in LTL as strings / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Propositions as Vague Predicates
@@ Property / cites work: Temporal Propositions as Vague Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for first order discourse representation structures
+Normal rank
@@ Property / cites work @@
+On the logic of demonstratives
@@ Property / cites work: On the logic of demonstratives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843182
@@ Property / cites work: Q4843182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791197
@@ Property / cites work: Q5791197 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734947
@@ Property / cites work: Q2734947 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342086
@@ Property / cites work: Q4342086 / rank @@
+Normal rank
@@ Property / cites work @@
+On constructing instants from events
@@ Property / cites work: On constructing instants from events / rank @@
+Normal rank
@@ Property / cites work @@
+Free construction of time from events
@@ Property / cites work: Free construction of time from events / rank @@
+Normal rank
@@ Property / cites work @@
+From constructivism to computer science
@@ Property / cites work: From constructivism to computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5700814
@@ Property / cites work: Q5700814 / rank @@
+Normal rank