{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:38:29Z","timestamp":1725493109439},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430308"},{"type":"electronic","value":"9783540453291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45329-6_26","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T02:44:33Z","timestamp":1193366673000},"page":"253-260","source":"Crossref","is-referenced-by-count":1,"title":["Situation Calculus as Hybrid Logic: First Steps"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[]},{"given":"Jaap","family":"Kamps","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Marx","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"26_CR1","first-page":"832","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen. Maintaining knowledge about temporal intervals. Artificial Intelligence, 26:832\u2013843, 1983.","journal-title":"Artificial Intelligence"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"C. Areces, P. Blackburn, and M. Marx. Hybrid logics. Characterization, interpolation and complexity. Journal of Symbolic Logic, 2001. In print.","DOI":"10.2307\/2695090"},{"issue":"3","key":"26_CR3","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"P. Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8(3):339\u2013365, 2000.","journal-title":"Logic Journal of the IGPL"},{"key":"26_CR4","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"P. Blackburn","year":"2001","unstructured":"P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge UK, 2001."},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"A. Borgida. Description logics in data management. IEEE Transactions on Knowlede and Data Engineering, 7:671\u2013682, 1995.","journal-title":"IEEE Transactions on Knowlede and Data Engineering"},{"issue":"2","key":"26_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. Brachman","year":"1985","unstructured":"R. Brachman and J. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"26_CR7","series-title":"CSLI Lecture Notes","volume-title":"Nonmonotonic Reasoning: an overview","author":"G. Brewka","year":"1997","unstructured":"G. Brewka, J. Dix, and K. Konolige. Nonmonotonic Reasoning: an overview. Number 73 in CSLI Lecture Notes. CSLI Publications, Stanford CA, 1997."},{"key":"26_CR8","unstructured":"D. Calvanese, G. De Giacomo, D. Nardi, and M. Lenzerini. Reasoning in expressive description logics. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, 1999."},{"key":"26_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M. Fitting","year":"1983","unstructured":"M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Number 169 in Synthese Library. Reidel, Dordrecht, 1983."},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"26_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. J. Sergot.A logic based calculus of events. NewGeneration Computing, 4:67\u201395, 1986.","journal-title":"NewGeneration Computing"},{"key":"26_CR12","first-page":"159","volume":"2","author":"H. J. Levesque","year":"1998","unstructured":"H. J. Levesque, F. Pirri, and R. Reiter. Foundations for a calculus of situations. Electronic Transactions on Artificial Intelligence, 2:159\u2013178, 1998.","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"J. McCarthy. Situations, actions, and causal laws. Stanford Artificial Intelligence Project Memo 2, Stanford University, 1963.","DOI":"10.21236\/AD0785031"},{"key":"26_CR14","unstructured":"J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"S. Passy and T. Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93:263\u2013332, 1991.","journal-title":"Information and Computation"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"V. Pratt. Models of program logics. In Proceedings of the 20th IEEE symposium on Foundations of Computer Science, pages 115\u2013122, 1979.","DOI":"10.1109\/SFCS.1979.24"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"A. N. Prior. Past, Present and Future. Oxford University Press, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"R. Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft version of a book on situation calculus, 1996-2000.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"26_CR19","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Intertia","author":"M. Shanahan","year":"1997","unstructured":"M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Intertia. The MIT Press, Cambridge MA, 1997."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45329-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:06:30Z","timestamp":1556931990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45329-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430308","9783540453291"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45329-6_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}