{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:41:25Z","timestamp":1649101285024},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T00:00:00Z","timestamp":1107216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,2]]},"DOI":"10.1007\/s11225-005-0498-5","type":"journal-article","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:22:04Z","timestamp":1129713724000},"page":"115-134","source":"Crossref","is-referenced-by-count":2,"title":["Alan: An Action Language For Modelling Non-Markovian Domains"],"prefix":"10.1007","volume":"79","author":[{"given":"Graciela","family":"Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"498_CR1","doi-asserted-by":"crossref","unstructured":"ARAVINDAN, C., and P. DUNG, \u2018On the correctness of unfold\/fold transformation of normal and extended logic programs\u2019, in Journal of Logic Programming, 1995, pp. 201\u2013217.","DOI":"10.1016\/0743-1066(94)00104-E"},{"key":"498_CR2","first-page":"112","volume":"97","author":"F. BACCHUS","year":"1997","unstructured":"BACCHUS, F., C. BOUTILIER, and A. GROVE, \u2018Structured solution methods for nonmarkovian decision processes\u2019, in AAAI 97, 1997, pp. 112\u2013117.","journal-title":"AAAI"},{"key":"498_CR3","doi-asserted-by":"crossref","unstructured":"BARAL, C., \u2018Knowledge Representation, Reasoning and Declarative Problem Solving\u2019, Cambridge University Press, 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"498_CR4","doi-asserted-by":"crossref","unstructured":"BARAL, C., and M. GELFOND, \u2018Reasoning agents in dynamic domains\u2019, in J Minker, (ed.), Logic Based AI, Kluwer, 2000.","DOI":"10.1007\/978-1-4615-1567-8_12"},{"issue":"1-3","key":"498_CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. BARAL","year":"May 1997","unstructured":"BARAL, C., M. GELFOND, and A. PROVETTI, \u2018Representing Actions: Laws, Observations and Hypothesis\u2019, Journal of Logic Programming, 31(1\u20133):201\u2013243, May 1997.","journal-title":"Journal of Logic Programming"},{"key":"498_CR6","unstructured":"CITRIGNO, S., T. EITER, W. FABER, G. GOTTLOB, C. KOCH, N. LEONE, C. MATEIS, G. PFEIFER, and F. SCARCELLO, \u2018The dlv system: Model generator and application front ends\u2019, in Proceedings of the 12th Workshop on Logic Programming, 1997, pp. 128\u2013137."},{"key":"498_CR7","unstructured":"GABALDON, A., \u2018Non-markovian control in the situation calculus\u2019, in Proceedings of the Second International Workshop on Cognitive Robotics, Berlin, Germany, 2000."},{"key":"498_CR8","unstructured":"GELFOND, M., and V. LIFSCHITZ, \u2018The stable model semantics for logic programming\u2019, in R. Kowalski and K. Bowen, (eds.), Logic Programming: Proc. of the Fifth International Conference and Symposium, MIT Press, 1988, pp. 1070\u20131080."},{"issue":"2,3,4","key":"498_CR9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. GELFOND","year":"1993","unstructured":"GELFOND, M., and V. LIFSCHITZ, \u2018Representing actions and change by logic programs\u2019, Journal of Logic Programming, 17(2,3,4):301\u2013323, 1993.","journal-title":"Journal of Logic Programming"},{"issue":"3\u20134","key":"498_CR10","first-page":"193","volume":"2","author":"M. GELFOND","year":"1998","unstructured":"GELFOND, M., and V. LIFSCHITZ, \u2018Action languages\u2019, ETAI, 2(3\u20134):193\u2013210, 1998.","journal-title":"ETAI"},{"key":"498_CR11","unstructured":"GONZALEZ, G., A Display Specification Language for Multimedia Databases, 2000, Ph. D. Thesis, Department of Computer Science, University of Texas at El Paso."},{"key":"498_CR12","first-page":"141","volume-title":"IFIP Sixth Working Conference on Visual Database Systems","author":"G. GONZALEZ","year":"2002","unstructured":"GONZALEZ, G., C. BARAL, and P. COOPER, \u2018Modeling multimedia displays using action based temporal logic\u2019, in IFIP Sixth Working Conference on Visual Database Systems, Brisbane, Australia, Kluwer, 2002, pp. 141\u2013155."},{"key":"498_CR13","first-page":"113","volume-title":"Multimedia '99 - Media Convergence: Models, Technologies and Applications","author":"J. HAUSER","year":"September 1999","unstructured":"HAUSER, J., \u2018Realization of an Extensible Multimedia Document Model\u2019, in Multimedia '99 - Media Convergence: Models, Technologies and Applications, Milano, Italy, Springer Verlag, Wien, September 1999, pp. 113\u2013122."},{"issue":"3","key":"498_CR14","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/93.410508","volume":"2","author":"N. HIRZALLA","year":"1995","unstructured":"HIRZALLA, N., B. FALCHUK, and A. KARMOUCH, \u2018A temporal model for interactive multimedia scenarios\u2019, IEEE MultiMedia, 2(3):24\u201331, Fall 1995.","journal-title":"IEEE MultiMedia"},{"key":"498_CR15","doi-asserted-by":"crossref","unstructured":"KERAMANE, C., and A. DUDA, \u2018Operator based composition of structured multimedia presentations\u2019, in COST 237 Workshop, 1997, pp. 1\u201317.","DOI":"10.1007\/BFb0026615"},{"key":"498_CR16","unstructured":"MAREK, W., and V. S. SUBRAHMANIAN, \u2018The relationship between logic program semantics and non-monotonic reasoning\u2019, in G. Levi and M. Martelli, (eds.), Proc. of the Sixth International Conference on Logic Programming, 1989, pp. 600\u2013617."},{"key":"498_CR17","unstructured":"MCCAIN, N., and H. TURNER, \u2018A causal theory of rami.cations and quali.cations\u2019, in C. Mellish, (ed.), Proc. of IJCAI 95, Morgan Kaufmann, 1995, pp. 1978\u20131984."},{"key":"498_CR18","unstructured":"MCCAIN, N., and H. TURNER, Causal theories of action and change. In Proc. of AAAI, pages 460\u2013465, 1997."},{"key":"498_CR19","first-page":"463","volume-title":"Machine Intelligence, volume 4","author":"J. MCCARTHY","year":"1969","unstructured":"MCCARTHY, J., and P. HAYES, \u2018Some philosophical problems from the standpoint of artificial intelligence\u2019, in B. Meltzer and D. Michie, (eds.), Machine Intelligence, volume 4, Edinburgh University Press, Edinburgh, 1969, pp. 463\u2013502."},{"key":"498_CR20","unstructured":"MENDEZ, G., J LLOPIS, J. LOBO, and C. BARAL, \u2018Temporal logic and reasoning about actions\u2019, in Common Sense 96, 1996."},{"key":"498_CR21","doi-asserted-by":"crossref","unstructured":"NIEMELA, I., and P. SIMONS, \u2018Smodels \u2013 an implementation of the stable model and well-founded semantics for normal logic programs\u2019, in Proc. 4th International Conference on Logic Programming and Non-monotonic Reasoning, Springer, 1997, pp. 420\u2013429.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"498_CR22","doi-asserted-by":"crossref","unstructured":"PAZANDAK, P., and J. SRIVASTAVA, \u2018Interactive Multi-User Multimedia Environments on the Internet: An Overview of DAMSEL and Its Implementation\u2019, in Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1996, pp. 287-290.","DOI":"10.1109\/MMCS.1996.534989"},{"key":"498_CR23","doi-asserted-by":"crossref","unstructured":"SAMPAIO, P. N. M., and J.-P. COURTIAT, \u2018A formal approach for the presentation of interactive multimedia documents\u2019, in ACM Multimedia, 2000, pp. 435\u2013438.","DOI":"10.1145\/354384.376346"},{"issue":"3-4","key":"498_CR24","first-page":"159","volume":"2","author":"E. SANDEWALL","year":"1998","unstructured":"SANDEWALL, E., Special issue. Electronic Transactions on Artificial Intelligence, 2(3-4):159\u2013330, 1998.http:\/\/www.ep.liu.se\/ej\/etai\/","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"498_CR25","doi-asserted-by":"crossref","unstructured":"WAHL, T., and K. ROTHERMEL, \u2018Representing time in multimedia systems\u2019, in International Conference on Multimedia Computing and Systems, 1994, pp. 538\u2013543.","DOI":"10.1109\/MMCS.1994.292502"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0498-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-0498-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0498-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:23Z","timestamp":1586515223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-0498-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["498"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-0498-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}