{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T21:53:13Z","timestamp":1669413193970},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540589761","type":"print"},{"value":"9783540491682","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58976-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:57:21Z","timestamp":1330275441000},"page":"21-39","source":"Crossref","is-referenced-by-count":7,"title":["Temporal logic programming with metric and past operators"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Brzoska","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(89)90138-2","volume":"65","author":"M. Abadi","year":"1989","unstructured":"M. Abadi. The power of temporal proofs. Theoretical Computer Science, 65:35\u201383, 1989.","journal-title":"Theoretical Computer Science"},{"key":"2_CR2","unstructured":"Y. Auffray and P. Enjalbert. Modal theorem proving: An equational viewpoint. In Proc. of the 11th International joint Conference on Artificial Intelligence, volume 1, Detroit, 1989."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger. A really temporal logic. Technical Report STAN-CS-89-1267, Stanford University, Dept. of Computer Science, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"2_CR4","doi-asserted-by":"crossref","volume-title":"Real-time logics: Complexity and expressiveness","author":"R. Alur","year":"1990","unstructured":"R. Alur and T. A. Henzinger. Real-time logics: Complexity and expressiveness. In Proc. of the 5th IEEE Symposium on Logic in Computer Science, Philadelphia, 1990. IEEE Computer Society Press.","DOI":"10.21236\/ADA323441"},{"issue":"2","key":"2_CR5","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"J. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M. Abadi","year":"1989","unstructured":"M. Abadi and Z. Manna. Temporal logic programming. J. Symbolic Computation, 8:277\u2013295, 1989.","journal-title":"J. Symbolic Computation"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"M. Baudinet. Temporal logic programming is complete and expressive. In Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989.","DOI":"10.1145\/75277.75301"},{"key":"2_CR8","unstructured":"Ph. Balbiani, L. Farinas Del Cerro, and A. Herzig. Declarative semantics for modal logic programs. In Proceedings of the International Conference on Fifth Generation Computer Systems, 1988."},{"key":"2_CR9","unstructured":"M. Baudinet, J. Chomicki, and P. Wolper. Temporal deductive databases. In A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors, Temporal Databases. Benjamin\/Cummings, 1992."},{"key":"2_CR10","volume-title":"Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop","author":"H. Barringer","year":"1989","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gought, and R. Owens. A framework for programming in temporal logic. In Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, Netherlands, 1989. LNCS 430, Springer Verlag."},{"key":"2_CR11","unstructured":"P. Balbiani, Andreas Herzig, and Mamede Marques. TIM: The Toulouse inference machine. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge \u2014 International Workshop PDK'91. Springer Verlag, LNAI 567, 1991."},{"key":"2_CR12","volume-title":"Temporal logic programming and its relation to constraint logic programming","author":"C. Brzoska","year":"1991","unstructured":"C. Brzoska. Temporal logic programming and its relation to constraint logic programming. In Proc. of the 1991 Logic Programming Symposium, San Diego, California, October 1991. MIT Press."},{"key":"2_CR13","volume-title":"Temporal logic programming with bounded universal (modality) goals","author":"C. Brzoska","year":"1993","unstructured":"C. Brzoska. Temporal logic programming with bounded universal (modality) goals. In Proc. of the 10th International Conference on Logic Programming, Budapest, Hungary, 1993. MIT Press."},{"key":"2_CR14","unstructured":"C. Brzoska. Temporal logic programming with metric and past operators based on constraint logic programming. Interner Bericht 2\/93, Universit\u00e4t Karlsruhe, Fak. f\u00fcr Informatik, 1993."},{"key":"2_CR15","unstructured":"C. Brzoska and K. Schafer, LIMETTE: Logic programming integrating metric temporal extensions, language definition and user manual. Interner Bericht 9\/93, Fak. f\u00fcr Informatik, Universit\u00e4t Karlsruhe, 1993."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J. Chomicki and T. Imieli\u0144ski. Temporal deductive databases and infinite objects. In Proc. of the 7th Symposium on Principles of Database Systems, Austin, Texas, 1988.","DOI":"10.1145\/308386.308416"},{"key":"2_CR17","unstructured":"J. G. Cleary and V. Kaushik. Updates in a temporal logic programming language. Research Report 91\/427\/11, Univ. of Calgary, Dept. of Computer Science, 1991."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF03037381","volume":"4","author":"L. F. Cerro del","year":"1986","unstructured":"Luis Farinas del Cerro. Molog: A system that extends PROLOG with modal logic. New Generation Computing, 4:35\u201350, 1986.","journal-title":"New Generation Computing"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"L. Farinas del Cerro and A. Herzig. Automated quantified modal logic. In P. Brazdil and K. Konolige, editors, Machine Learning, Meta-Reasoning and Logics. Kluwer Academic Publishers, 1990.","DOI":"10.1007\/978-1-4613-1641-1_14"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"M. Fujita, S. Kono, T. Tanaka, and T. Moto-oka. Tokio: Logic programming language based on temporal logic and its compilation to prolog. In Proc. of the 3rd International Conference on Logic Programming, pages 695\u2013709. Springer-Verlag, LNCS 225, 1986.","DOI":"10.1007\/3-540-16492-8_119"},{"key":"2_CR21","first-page":"197","volume-title":"Temporal Logics and Their Applications, chapter 6","author":"D. M. Gabbay","year":"1987","unstructured":"D. M. Gabbay. Modal and temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, chapter 6, pages 197\u2013237. Academic Press, London, December 1987."},{"key":"2_CR22","first-page":"76","volume-title":"Declarative past and imperative future","author":"D. M. Gabbay","year":"1989","unstructured":"D. M. Gabbay. Declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. of Colloquium on Temporal Logic and Specification, LNCS 398, pages 76\u201389, Altrincham, 1989. Springer Verlag."},{"key":"2_CR23","unstructured":"D. M. Gabbay. A temporal logic programming machine. In T. Dodd, R. Owens, and S. Torrance, editors, Logic Programming: Expanding the Horizonts, chapter 3, pages 82\u2013123. Intellect Books, 1991."},{"key":"2_CR24","first-page":"91","volume-title":"Temporal Logics and their Applications, chapter 3","author":"R. Hale","year":"1987","unstructured":"R. Hale. Temporal logic programming. In A. Galton, editor, Temporal Logics and their Applications, chapter 3, pages 91\u2013119. Academic Press, London, December 1987."},{"key":"2_CR25","volume-title":"Explicit clock temporal logic","author":"E. Harel","year":"1990","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. of the 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, 1990. IEEE Computer Society Press."},{"key":"2_CR26","unstructured":"T. Hrycej. Temporal prolog. In ECAI 88 Proceedings of the 8th European Conference on Artificial Intelligence, Munich, August 1988."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint logic programming. In Proc. of the 14th ACM Symposium on Principles of Programming Languages, pages 111\u2013119, Munich, 1986.","DOI":"10.1145\/41625.41635"},{"key":"2_CR28","volume-title":"Technical report","author":"J. Jaffar","year":"1986","unstructured":"J. Jaffar and J.-L. Lassez. Constraint logic programming. Technical report, Department of Computer Science, Monash University, Australia, June 1986."},{"key":"2_CR29","unstructured":"T. K\u00e4ufl. Simplification and decision of linear inequalities over the integers. Technical Report 9\/88, University of Karlsruhe, Fak. f\u00fcr Informatik, 1988.[Koy89]"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"R. Koymans. Specifying Message Passing and Time-Critical Systems with Temporal Logic. PhD thesis, Technical University of Eindhoven, 1989.","DOI":"10.1007\/3-540-51803-7_28"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"R. Koymans, J. Vytopil, and W. P. de Roever. Real-time programming and asynchronous message passing. In Proc. of the 2nd ACM Symp. on Principles of Distributed Computing, pages 187\u2013197, Montreal, Canada, 1983.","DOI":"10.1145\/800221.806721"},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. Specifying concurrent programs modules. ACM Transactions on Programming Languages and Systems, 5:190\u2013222, April 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"J.-L. Lassez and M. J. Maher. On fourier's algorithm for linear arithmetic constraints. Journal of Automated Reasoning, 9(3), December 1992.","DOI":"10.1007\/BF00245296"},{"key":"2_CR35","unstructured":"S. Merz, October 1990. Private communication."},{"key":"2_CR36","volume-title":"Dissertation","author":"S. Merz","year":"1992","unstructured":"S. Merz. Temporal Logic as a Programming Language. Dissertation, Ludwig-Maximilians. Universitat, M\u00fcnchen, 1992."},{"key":"2_CR37","volume-title":"Executing Temporal Logic Programs","author":"B. Moszkowski","year":"1986","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, 1986."},{"key":"2_CR38","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent programs: the temporal framework. In R. S. Boyer and J. S. Moore, editors, The Correctness Problem in Computer Science, pages 215\u2013273. Academic Press, London, 1981."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"H. J. Ohlbach. A resolution calculus for modal logics. In E. Lusk and R. Overbeek, editors, Proceedings of the 9th International Conference on Automated Deduction. Springer-Verlag, LNCS 310, 1988.","DOI":"10.1007\/BFb0012852"},{"key":"2_CR40","unstructured":"H. J. Ohlbach. Context logic. SEKI Report SR-89-08, FB Informatik, University of Kaiserslautern, 1989."},{"issue":"4","key":"2_CR41","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/0743-1066(92)90055-8","volume":"13","author":"M. A. Orgun","year":"1992","unstructured":"M. A. Orgun and W. W. Wadge. Towards a unified theory of intensional logic programming. Journal of Logic Programming, 13(4):413 ff, 1992.","journal-title":"Journal of Logic Programming"},{"key":"2_CR42","volume-title":"Temporal inference with a point-based interval algebra","author":"A. Porto","year":"1992","unstructured":"A. Porto and C. Ribeiro. Temporal inference with a point-based interval algebra. In B. Neumann, editor, Proc. of the ECAJ'92 10th European Conference on Artificial Intelligence, Wien, 1992. John Wiley & Sons."},{"key":"2_CR43","unstructured":"B. Richards, Y. Jiang, and H. Choi. On interval-based temporal planning: An IQ strategy. In Z. Ras, editor, Proc. of the 6th ISMIS'91, LNAI 542. Springer Verlag, 1991."},{"key":"2_CR44","unstructured":"A. Schriver. Theory of Linear and Integer Programming. Wiley, 1986."},{"key":"2_CR45","unstructured":"K. Sch\u00e4fer. Entwicklung einer temporallogischen Sprache zur Beschreibung von Abl\u00e4ufen in Stra\u00dfenverkehrsszenen. Diplomarbeit, Universit\u00e4t Karlsruhe, Inst. f\u00fcr Logik, Komplexit\u00e4t und Deduktionssysteme, 1993."},{"key":"2_CR46","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/0304-3975(86)90157-X","volume":"47","author":"A. Szalas","year":"1986","unstructured":"A. Szalas. Concerning the semantic consequence relation in first-order temporal logic. Theoretical Computer Science, 47:329\u2013334, 1986.","journal-title":"Theoretical Computer Science"},{"key":"2_CR47","volume-title":"Toward a unified logic basis for programming languages","author":"C. Tang","year":"1993","unstructured":"Ch.-S. Tang. Toward a unified logic basis for programming languages. In R.E.A. Mason, editor, Proc. Information Processing 83. Elsevier Science Publisher B.V. (North Holland), 1993."}],"container-title":["Executable Modal and Temporal Logics","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58976-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:25:02Z","timestamp":1605648302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58976-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589761","9783540491682"],"references-count":47,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-58976-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"published":{"date-parts":[[1995]]}}}