{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T16:25:12Z","timestamp":1586535912941},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540653059","type":"print"},{"value":"9783540494492","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055495","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:43:53Z","timestamp":1153979033000},"page":"37-68","source":"Crossref","is-referenced-by-count":1,"title":["Specification of dynamics for knowledge-based systems"],"prefix":"10.1007","author":[{"given":"Pascal","family":"van Eck","sequence":"first","affiliation":[]},{"given":"Joeri","family":"Engelfriet","sequence":"additional","affiliation":[]},{"given":"Dieter","family":"Fensel","sequence":"additional","affiliation":[]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[]},{"given":"Yde","family":"Venema","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Willems","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. A. Bergstra","year":"1985","unstructured":"J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"key":"2_CR2","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14, 1987.","DOI":"10.1016\/0169-7552(87)90085-7","doi-asserted-by":"crossref"},{"key":"2_CR3","author":"A.J. Bonner","first-page":"257","year":"1993","unstructured":"A.J. Bonner and M. Kifer. Transaction logic programming. In Proceedings of the Tenth International Conference on Logic Programming (ICLP), pages 257\u2013279, Budapest, Hungary, 1993. MIT Press.","volume-title":"Transaction logic programming"},{"key":"2_CR4","unstructured":"F. Brazier, P. van Langen, J. Treur, N. Wijngaards, and M. Willems. Modelling an elevator design task in DESIRE: the VT example. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3\u20134):469\u2013520, 1996.","DOI":"10.1006\/ijhc.1996.0022","doi-asserted-by":"crossref"},{"key":"2_CR5","unstructured":"G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A linear temporal logic approach to objects with transactions. In Michael Johnson, editor, Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, volume 1349 of Lecture Notes in Computer Science, pages 170\u2013184. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0000470","doi-asserted-by":"crossref"},{"key":"2_CR6","unstructured":"P. van Eck, J. Engelfriet, D. Fensel, F. van Harmelen, Y. Venema, and M. Willems. A survey of languages for specifying dynamics: A knowledge engineering perspective. Technical Report IR-447, Vrije Universiteit Amsterdam, Faculty of Mathematics and Computer Science, 1998."},{"key":"2_CR7","unstructured":"D. Fensel. Formal specification languages in knowledge and software engineering. The Knowledge Engineering Review, 10(4), 1995.","DOI":"10.1017\/S0269888900007566","doi-asserted-by":"crossref"},{"key":"2_CR8","author":"D. Fensel","year":"1995","unstructured":"D. Fensel. The Knowledge Acquisition and Representation Language KARL. Kluwer Academic Publ., Boston, 1995.","volume-title":"The Knowledge Acquisition and Representation Language KARL","DOI":"10.1007\/978-1-4615-2275-1","doi-asserted-by":"crossref"},{"key":"2_CR9","unstructured":"D. Fensel and R. Groenboom. MLPM: Defing a semantics and axiomatization for specifying the reasoning process of knowledge-based systems. In Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 1996."},{"key":"2_CR10","unstructured":"D. Fensel and R. Straatman. The essense of problem-solving-methods: Making assumptions for gaining efficiency. Journal of Human Computer Studies, 1998. (to appear).","DOI":"10.1006\/ijhc.1997.0168","doi-asserted-by":"crossref"},{"key":"2_CR11","unstructured":"D. Fensel and F. van Harmelen. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review, 9(2), 1994.","DOI":"10.1017\/S0269888900006767","doi-asserted-by":"crossref"},{"key":"2_CR12","unstructured":"D. Gabbay. What is a Logical System?, volume 4 of Studies in Logic and Computation. Oxford University Clarendon Press, 1994."},{"key":"2_CR13","unstructured":"Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1994."},{"key":"2_CR14","author":"D. Harel","first-page":"497","year":"1984","unstructured":"D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Vol. II: extensions of Classical Logic, pages 497\u2013604. Reidel, Dordrecht, The Netherlands, 1984.","volume-title":"Handbook of Philosophical Logic, Vol. II: extensions of Classical Logic","DOI":"10.1007\/978-94-009-6259-0_10","doi-asserted-by":"crossref"},{"key":"2_CR15","unstructured":"F. van Harmelen and J. Balder. (ML)2: A formal language for KADS conceptual models. Knowledge Acquisition, 4(1), 1992.","DOI":"10.1016\/1042-8143(92)90017-U","doi-asserted-by":"crossref"},{"key":"2_CR16","unstructured":"C. B. Jones. Systematic Software Development Using VDM. Prentice Hall, 2nd edition, 1990."},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R. Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, Th. Hartmann, and C. Sernadas. Troll\u2014a language for object-oriented specification of information systems. ACM Transactions on Information Systems, 14(2):175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"key":"2_CR18","author":"F. Kroeger","year":"1987","unstructured":"F. Kroeger. Temporal Logic of Programs. Springer-Verlag, Berlin, 1987.","volume-title":"Temporal Logic of Programs","DOI":"10.1007\/978-3-642-71549-5","doi-asserted-by":"crossref"},{"key":"2_CR19","unstructured":"I. van Langevelde, A. Philipsen, and J. Treur. Formal specification of compositional architectures. In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, August 1992."},{"key":"2_CR20","unstructured":"M. Linster (ed.). Special issue on the Sisyphus 91\/92 models. International Journal of Man-Machine Studies 40:2, 1994.","DOI":"10.1006\/ijhc.1994.1014","doi-asserted-by":"crossref"},{"key":"2_CR21","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3","doi-asserted-by":"crossref"},{"key":"2_CR22","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall Int., New York, 1989.","volume-title":"Communication and Concurrency"},{"key":"2_CR23","unstructured":"B. Nebel. Artificial intelligence: A computational perspective. In G. Brewka, editor, Principals of Knowledge Representation, Studies in Logic, Language and Information, pages 237\u2013266. CSLI Publications, 1996."},{"issue":"3","key":"2_CR24","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1017\/S0269888900007918","volume":"11","author":"C. Pierret-Golbreich","year":"1996","unstructured":"C. Pierret-Golbreich and X. Talon. TFL: An algebraic language to specify the dynamic behaviour of knowledge-based systems. The Knowledge Engineering Review, 11(3):253\u2013280, 1996.","journal-title":"The Knowledge Engineering Review"},{"key":"2_CR25","unstructured":"K. Poeck, D. Fensel, D. Landes, and J. Angele. Combining KARL and CRLM for designing vertical transportation systems. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3\u20134):435\u2013467, 1996.","DOI":"10.1006\/ijhc.1996.0021","doi-asserted-by":"crossref"},{"issue":"5","key":"2_CR26","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object specification logic. Journal of Logic and Computation, 5(5):603\u2013630, October 1995.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR27","unstructured":"J. W. Spee and L. in 't Veld. The semantics of KBSSF: A language for KBS design. Knowledge Acquisition, 6, 1994.","DOI":"10.1006\/knac.1994.1018","doi-asserted-by":"crossref"},{"key":"2_CR28","author":"J. M. Spivey","year":"1992","edition":"2nd edition edi","unstructured":"J. M. Spivey. The Z Notation. A Reference Manual. Prentice Hall, New York, 2nd edition edition, 1992.","volume-title":"The Z Notation. A Reference Manual"},{"key":"2_CR29","unstructured":"P. Spruit, R. Wieringa, and J.-J. Meyer. Dynamic database logic: the first-order case. In V.W. Lipeck and B. Thalheim, editors, Fourth International Workshop on Foundations of Models and Languages for Data and Objects, pages 102\u2013120. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3554-8_7","doi-asserted-by":"crossref"},{"key":"2_CR30","unstructured":"P. Spruit, R. Wieringa, and J.-J. Meyer. Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Journal of Logic and Computation, 5(1), 1995.","DOI":"10.1093\/logcom\/5.1.27","doi-asserted-by":"crossref"},{"key":"2_CR31","year":"1993","unstructured":"J. Treur and Th. Wetter, editors. Formal Specification of Complex Reasoning Systems. Ellis Horwood, New York, 1993.","volume-title":"Formal Specification of Complex Reasoning Systems"},{"key":"2_CR32","unstructured":"R. J. Wieringa. LCM and MCM: Specification of a control system using dynamic logic and process algebra. In C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of Lecture Notes Computer Science, pages 333\u2013355. Springer-Verlag, 1995."},{"key":"2_CR33","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4","doi-asserted-by":"crossref"}],"container-title":["Transactions and Change in Logic Databases","Lecture Notes in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:27:43Z","timestamp":1555748863000},"score":1.0,"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653059","9783540494492"],"references-count":33,"URL":"http:\/\/dx.doi.org\/10.1007\/bfb0055495","relation":{"cites":[]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}]}}