Programming in metric temporal logic (Q1128978): Difference between revisions

@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Nonclausal deduction in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time logics: Complexity and expressiveness
@@ Property / cites work: Real-time logics: Complexity and expressiveness / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138082
@@ Property / cites work: Q4138082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490986
@@ Property / cites work: Q3490986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4285787
@@ Property / cites work: Q4285787 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of temporal logic programming
+Normal rank
@@ Property / cites work @@
+Q4072826
@@ Property / cites work: Q4072826 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4839044
@@ Property / cites work: Q4839044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution principle for a logic with restricted quantifiers
+Normal rank
@@ Property / cites work @@
+Multimodal logic programming using equational and order-sorted logic
+Normal rank
@@ Property / cites work @@
+Q3716279
@@ Property / cites work: Q3716279 / rank @@
+Normal rank
@@ Property / cites work @@
+MOLOG: A system that extends PROLOG with modal logic
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``Termination of rewriting''
@@ Property / cites work: Corrigendum to ``Termination of rewriting'' / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264717
@@ Property / cites work: Q4264717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028792
@@ Property / cites work: Q4028792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3729994
@@ Property / cites work: Q3729994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733441
@@ Property / cites work: Q4733441 / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of Prolog with hypothetical implications. I.
+Normal rank
@@ Property / cites work @@
+Q4012172
@@ Property / cites work: Q4012172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733442
@@ Property / cites work: Q4733442 / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of nonregular programs
+Normal rank
@@ Property / cites work @@
+A Temporal extension of Prolog
@@ Property / cites work: A Temporal extension of Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling infinite temporal data
@@ Property / cites work: Handling infinite temporal data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying message passing and time-critical systems with temporal logic
+Normal rank
@@ Property / cites work @@
+Q4136521
@@ Property / cites work: Q4136521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+On Fourier's algorithm for linear arithmetic constraints
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic I. fixed-point semantics
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic II. tableau proof procedures
+Normal rank
@@ Property / cites work @@
+Q4716201
@@ Property / cites work: Q4716201 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics-Based Translation Methods for Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4518440
@@ Property / cites work: Q4518440 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified theory of intensional logic programming
+Normal rank
@@ Property / cites work @@
+Constraint logic programming for reasoning about discrete event processes
+Normal rank
@@ Property / cites work @@
+Q3746875
@@ Property / cites work: Q3746875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518433
@@ Property / cites work: Q4518433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and constraint logic programming
@@ Property / cites work: Negation and constraint logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Q3138826
@@ Property / cites work: Q3138826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank