{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:23:16Z","timestamp":1725484996750},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434726"},{"type":"electronic","value":"9783540460145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46014-4_3","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T02:48:17Z","timestamp":1180579697000},"page":"18-29","source":"Crossref","is-referenced-by-count":4,"title":["The Ramification and Qualification Problems in Temporal Databases"],"prefix":"10.1007","author":[{"given":"Nick","family":"Papadakis","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,19]]},"reference":[{"issue":"10","key":"3_CR1","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.469460","volume":"21","author":"A. Borgida","year":"1995","unstructured":"A. Borgida, J. Mylopoulos and R. Reiter. On the Frame Problem in Procedure Specifications. IEEE Trans. on Software Engineering, 21(10), Oct. 1995, pp.785\u2013798.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"3_CR2","unstructured":"C. Elkan. Reasoning about action in first order logic. In Proceedings of the Conference of the Canadian Society for Comptutational Studies of Intelligence (CSCSI), pages 221\u2013227, Vancouver, Canada, May 1992."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M. Ginsberg","year":"1988","unstructured":"M. Ginsberg and D. Smith. Reasoning about action I: A possible worlds approach. Artificial Intelligence, 35:165\u2013195, 1988.","journal-title":"Artificial Intelligence"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(88)90020-3","volume":"35","author":"M. Ginsberg","year":"1988","unstructured":"M. Ginsberg and D. Smith. Reasoning about action II: A possible worlds approach. Artificial Intelligence, 35:311\u2013342, 1988.","journal-title":"Artificial Intelligence"},{"key":"3_CR5","unstructured":"J. Gustafon. Extending Temporal Action Logic for Ramification and Concurency, Thesis No 719 of Linkoping Studies in Science and Technology, 1998."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"R. Fikes and N. J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"3_CR7","unstructured":"A. Fusaoka. Situation Calculus on a Dense Flow of Time. Proceedings of the AAAI National Conference on Artificial Intelligence, pages 633\u2013638, 1996"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"A. Haas. The Case for Domain-Specific Frame Axioms. In F. Brown, editor. The frame problem in artificial intelligence. Proceedings of the 1987 workshop, pages 343\u2013348, 1987.","DOI":"10.1016\/B978-0-934613-32-3.50026-5"},{"key":"3_CR9","unstructured":"V. Lifshitz. Towards a metatheory of action. In J.F. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 376\u2013386, Cambridge, MA, 1991."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifshitz","year":"1990","unstructured":"V. Lifshitz. Frames in the space of situations, Artificial Intelligence, 46:365\u2013376, 1990.","journal-title":"Artificial Intelligence"},{"key":"3_CR11","unstructured":"V. Lifshitz. Restricted monotonicity. In Proceedings of the AAAI National Conference on Artifical Intelligence, pages 432\u2013437, Washington DC, July 1993."},{"key":"3_CR12","unstructured":"N. McCain and Hudson Turner. A causal theory of ramifications and qualifications. In C. S. Mellish, editor, Proceedings of the International Joint Conference on Artifical Intelligence (IJCAI), pages 1978\u20131984, Montreal, Canada, August 1995."},{"key":"3_CR13","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P.J. Hayes. Some philophical problem from the standpoint of artificial intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence 4, pages 463\u2013502. American Elsevier, New York, 1969."},{"key":"3_CR14","unstructured":"Nikos Papadakis and Dimitris Plexousakis. Action Theories in Temporal Databases. 8th Panhellenic Conference on Informatics. Nicosia, Cyprus 8\u201311 Nov 2001."},{"key":"3_CR15","unstructured":"E. Pednault. ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus. In R.J. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR\u2019 89), pages 324\u2013332. Morgan Kaufmann, 1989."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Dimitris Plexousakis, John Mylopoulos: Accomodating Integrity Constraints During Database Design. Proceedings of EDBT 1996, pages 497\u2013513","DOI":"10.1007\/BFb0014175"},{"key":"3_CR17","unstructured":"J. Pinto. Temporal Reasoning in the Situation Calculus. Ph.D. Thesis, Dept. of Computer Science, Univ. of Toronto, Jan. 1994."},{"key":"3_CR18","unstructured":"J. Pinto and R. Reiter. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. Proc. 10th Int. Conf. on Logic Programming, Budapest, Hungary, June 21\u201324, 1993."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"R. Reiter. Khowledge in Action: Logical Foundation for specifying and implemending Dynamical Systems, MIT Press, 2001.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher. Ramification and causality. Artifical Intelligence, 89(1\u20132):317\u2013364, 1997.","journal-title":"Artifical Intelligence"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/S0004-3702(98)00084-8","volume":"104","author":"M. Thielscher","year":"1988","unstructured":"M. Thielscher. Reasoning about actions: Steady versus stabilizing state constraints. Artifical Intelligence, 104:339\u2013355, 1988.","journal-title":"Artifical Intelligence"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"M. Thielscher.Nondeterministic actions in the fluent calculus: Disjunctive state update axioms. In S. Holldobler, editor, Intellectics and Computational Logic. Kluwer, 1999.","DOI":"10.1007\/978-94-015-9383-0_20"},{"key":"3_CR24","unstructured":"M. Thielscher. Qualified ramifications. In B. Kuipers and B. Wbber, editors, Proceedings of the AAAI National Conference on Artificial Intelligence, pages 466\u2013471, 1997"},{"key":"3_CR25","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In Proceeding of the AAAI National Conference on Artifical Intelligence, pages 89\u201393, Saint Paul, MN, August 1988."}],"container-title":["Lecture Notes in Computer Science","Methods and Applications of Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46014-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T13:36:47Z","timestamp":1556458607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46014-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434726","9783540460145"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-46014-4_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}