{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T00:10:52Z","timestamp":1750896652387},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48738-7_27","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:04:34Z","timestamp":1195002274000},"page":"365-380","source":"Crossref","is-referenced-by-count":10,"title":["Modeling Dynamic Domains with ConGolog"],"prefix":"10.1007","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[]},{"given":"Todd G.","family":"Kelley","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]},{"given":"Eric S. K.","family":"Yu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,6,11]]},"reference":[{"key":"27_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method: The Metalanguage","author":"D. Bjorner","year":"1978","unstructured":"D. Bjorner and C.B. Jones. The Vienna Development Method: The Metalanguage, volume 61 of LNCS. Springer-Verlag, 1978."},{"key":"27_CR2","unstructured":"A. Borgida, J. Mylopoulos, and R. Reiter....and nothing else changes: The frame problem in procedural specifications. In Proc. ICSE-93, 1993."},{"key":"27_CR3","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pages 1221\u20131226, Nagoya, Japan, August 1997."},{"key":"27_CR4","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus: Language and implementation. Submitted, 1999."},{"key":"27_CR5","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus: Foundations. Submitted, 1999."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"M. Gelfond and Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17(301-327), 1993.","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1997.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, R. Jeffords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(5), July 1996.","DOI":"10.1145\/234426.234431"},{"key":"27_CR9","unstructured":"Todd Kelley and Yves Lesp\u00e9rance. The Golog Domain Language: an abstract language for specifying domain dynamics. In preparation, 1999."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Hector J. Levesque, Raymond Reiter, Yves Lesp\u00e9rance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(59-84), 1997.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"issue":"5","key":"27_CR11","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655\u2013678, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Fangzhen Lin and Raymond Reiter. How to progress a database. Artificial Intelligence, 92:131\u2013167, 1997.","journal-title":"Artificial Intelligence"},{"key":"27_CR13","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1979","unstructured":"John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, UK, 1979."},{"key":"27_CR14","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Dimitris Plexousakis. Simulation and analysis of business processes uning GOLOG. In Proceedings of the Conference on Organizational Computing Systems, Milpitas, CA, August 1995.","DOI":"10.1145\/224019.224052"},{"key":"27_CR16","volume-title":"A structural approach to operational semantics","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark, 1981."},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64:337\u2013351, 1993.","journal-title":"Artificial Intelligence"},{"key":"27_CR19","unstructured":"Steven Shapiro, Yves Lesp\u00e9rance, and Hector J. Levesque. Specifying communicative multi-agent systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 75\u201382, Cambridge, MA, November 1997."},{"key":"27_CR20","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/64.511773","volume":"11","author":"E. K.S. Yu","year":"1996","unstructured":"Eric K.S. Yu, John Mylopoulos, and Yves Lesp\u00e9rance. AI models for business process reengineering. IEEE Expert, 11:16\u201323, August 1996.","journal-title":"IEEE Expert"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48738-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:28:37Z","timestamp":1556969317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48738-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783319981765","9783319981772"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48738-7_27","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1999]]}}}