{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:53:02Z","timestamp":1743015182115,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036762"},{"type":"electronic","value":"9783319036779"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-03677-9_3","type":"book-chapter","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T13:02:41Z","timestamp":1385730161000},"page":"41-52","source":"Crossref","is-referenced-by-count":0,"title":["Prospects of Using Temporal Logics for Knowledge Management"],"prefix":"10.1007","author":[{"given":"Maria","family":"Mach-Kr\u00f3l","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM\u00a026(11) (November 1983)","DOI":"10.1145\/182.358434"},{"key":"3_CR2","series-title":"Epistemic and Temporal Reasoning","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"J. Benthem van","year":"1995","unstructured":"Benthem van, J.: Temporal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Epistemic and Temporal Reasoning, vol.\u00a04. Clarendon Press, Oxford (1995)"},{"key":"3_CR3","unstructured":"Bielecki, W.: Wirtualizacja Nauczania In: Wawrzyniak B., Zarz\u0105dzanie Wiedz\u0105 w Przedsi\u0119biorstwie, Warszawa, p. 317 (2003)"},{"key":"3_CR4","unstructured":"Doherty, P., Gustafsson, J., Karlsson, L., Kvarnstr\u00f6m, J.: Temporal Action Logics (TAL): Language Specification and Tutorial. Link\u00f6ping Electronic Articles in Computer and Information Science\u00a03, 015 (1998), http:\/\/www.ep.liu.se\/ea\/cis\/1998\/015"},{"key":"3_CR5","first-page":"46","volume":"8","author":"W. Grudzewski","year":"2005","unstructured":"Grudzewski, W., Hejduk, I.: Zarz\u0105dzanie Wiedz\u0105 w Organizacjach. E-mentor\u00a08, 46\u201351 (2005)","journal-title":"E-mentor"},{"key":"3_CR6","volume-title":"Epistemic and Temporal Reasoning","author":"J.Y. Halpern","year":"1995","unstructured":"Halpern, J.Y.: Reasoning About Knowledge: A Survey. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Epistemic and Temporal Reasoning, vol.\u00a04. Clarendon Press, Oxford (1995)"},{"key":"3_CR7","volume-title":"Wprowadzenie do ekonometrii dynamicznej","author":"J. Jakubczyc","year":"1996","unstructured":"Jakubczyc, J.: Wprowadzenie do ekonometrii dynamicznej. Wydawnictwo Naukowe PWN, Warszawa-Wroc\u0142aw (1996)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-83397-7_2","volume-title":"Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence","author":"R. Kowalski","year":"1989","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, pp. 23\u201355. Springer, Heidelberg (1989)"},{"key":"3_CR9","unstructured":"Kvarnstr\u00f6m, J., Doherty, P.: VITAL research tool (1997), http:\/\/anton.ida.liu.se\/vital\/vital.html"},{"key":"3_CR10","unstructured":"Mach, M.A.: Temporalna analiza otoczenia przedsi\u0119biorstwa. Techniki i narz\u0119dzia inteligentne. Wydawnictwo AE Wroc\u0142aw (2007)"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1111\/j.1467-9337.1990.tb00062.x","volume":"3","author":"E. Mackaay","year":"1990","unstructured":"Mackaay, E., Poulin, D., Fr\u00e9mont, J., Bratley, P., Deniger, C.: The logic of time in law and legal expert systems. Ratio Juris\u00a03(2), 254\u2013271 (1990)","journal-title":"Ratio Juris"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: Representing Knowledge About Information Systems. ACM Transactions on Information Systems\u00a08(4), 325\u2013362 (1990)","journal-title":"ACM Transactions on Information Systems"},{"key":"3_CR13","unstructured":"Poulin, D., Mackaay, E., Bratley, P., Fr\u00e9mont, J.: Time Server \u2013 a legal time specialist. In: Proc. Third International Conference on Logic, Informatics, Law, Florence, November 2-5 (1989)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Sandewall, E.: Features and Fluents. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"issue":"1","key":"3_CR15","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","volume":"7","author":"L. Vila","year":"1994","unstructured":"Vila, L.: A Survey on Temporal Reasoning in Artificial Intelligence. AI Communications\u00a07(1), 4\u201328 (1994)","journal-title":"AI Communications"},{"key":"3_CR16","volume-title":"Techniki informacyjne w zarz\u0105dzaniu wiedz\u0105","author":"G. Wykowska","year":"2008","unstructured":"Wykowska, G.: Techniki informacyjne w zarz\u0105dzaniu wiedz\u0105. MSc Dissertation, SGH Warszawa (2008)"},{"key":"3_CR17","series-title":"Prace Naukowe Akademii Ekonomicznej im","volume-title":"Temporalne bazy danych w systemach informatycznych zarz\u0105dzania","author":"K. Kania","year":"2004","unstructured":"Kania, K.: Temporalne bazy danych w systemach informatycznych zarz\u0105dzania. Prace Naukowe Akademii Ekonomicznej im. Karola Adamieckiego w Katowicach, Wydawnictwo AE Katowice (2004)"}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Business ICT"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03677-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T18:07:00Z","timestamp":1716228420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03677-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036762","9783319036779"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03677-9_3","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}