{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:45Z","timestamp":1725564585838},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220077"},{"type":"electronic","value":"9783540246770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24677-0_28","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T21:37:46Z","timestamp":1283981866000},"page":"264-273","source":"Crossref","is-referenced-by-count":0,"title":["A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example"],"prefix":"10.1007","author":[{"given":"Jose A.","family":"Maestro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Llamas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J.","family":"Alonso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1007\/3-540-64582-9_813","volume-title":"Methodology and Tools in Knowledge-Based Systems","author":"C. Alonso","year":"1998","unstructured":"Alonso, C., Pulido, B., Acosta, G.: On Line Industrial Diagnosis: an attempt to apply Artificial Intelligence techniques to process control. In: Moonis, A., Mira, J., de Pobil, A.P. (eds.) IEA\/AIE 1998. LNCS (LNAI), vol.\u00a01415, pp. 804\u2013813. Springer, Heidelberg (1998)"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0957-4174(97)00090-0","volume":"14","author":"C. Alonso","year":"1998","unstructured":"Alonso, C., Acosta, G., Mira, J., Prada, C.: Knowledge based process control supervision and diagnosis: the AEROLID approach. Expert Systems with Applications\u00a014, 371\u2013383 (1998)","journal-title":"Expert Systems with Applications"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0957-4174(00)00053-1","volume":"20","author":"C. Alonso","year":"2001","unstructured":"Alonso, C., Pulido, B., Acosta, G., Llamas, C.: On-line Industrial supervision and diagnosis, knowledge level description and experimental results. Expert Systems with Applications\u00a020, 117\u2013132 (2001)","journal-title":"Expert Systems with Applications"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/S0952-1976(01)00017-3","volume":"14","author":"G. Acosta","year":"2002","unstructured":"Acosta, G., Alonso, C., Pulido, B.: Basic Tasks for Knowledge Based Supervision in Process Control. Engineering Applications of Artificial Intelligence\u00a014, 441\u2013455 (2002)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"28_CR5","unstructured":"Henao, M.: CommonKADS-RT: Una Metodolog\u00eda para el Desarrollo de Sistemas Basados en el Conocimiento de Tiempo Real. PhD Thesis, Univ. Pol. de Valencia, Spain (2001)"},{"key":"28_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/3-540-45517-5_72","volume-title":"Engineering of Intelligent Systems","author":"M. Henao","year":"2001","unstructured":"Henao, M., Soler, J., Botti, V.: Developing a Mobile Robot Control Application with CommonKADS-RT. In: Monostori, L., V\u00e1ncza, J., Ali, M. (eds.) IEA\/AIE 2001. LNCS (LNAI), vol.\u00a02070, pp. 651\u2013660. Springer, Heidelberg (2001)"},{"key":"28_CR7","series-title":"Software Engineering Practice Series","volume-title":"Real Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Bullekson, G., Ward, P.T.: Real Time Object-Oriented Modeling. Software Engineering Practice Series. John Wiley & Sons, New York (1994)"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems. Whitepaper, ObjecTime Limited (1998)","DOI":"10.1007\/BFb0057795"},{"key":"28_CR9","volume-title":"Real-Time Uml: developing efficient objects for embedded systems","author":"B.P. Douglass","year":"1998","unstructured":"Douglass, B.P.: Real-Time Uml: developing efficient objects for embedded systems, 3rd edn. Addison-Wesley Logman, Amsterdam (1998)","edition":"3"},{"key":"28_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4073.001.0001","volume-title":"Knowledge Engineering and Management, The CommonKADS Methodology","author":"G. Schreiber","year":"1999","unstructured":"Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., Van de Velde, W., Wielinga, B.: Knowledge Engineering and Management, The CommonKADS Methodology. The MIT Press, Cambridge (1999)"},{"key":"28_CR11","unstructured":"OMG: UML Profile for Schedulability, Performance and Time Specification. OMG Specification ptc\/02-03-02 (2002)"},{"key":"28_CR12","volume-title":"A Principled Approach to Knowledge-Based System Development","author":"G. Schreiber","year":"1993","unstructured":"Schreiber, G., Wielinga, B., Breuker, J.: KADS. In: A Principled Approach to Knowledge-Based System Development, Academic Press, London (1993)"},{"key":"28_CR13","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"CommonKADS Library for Expertise Modelling. Reusable problem solving components","year":"1994","unstructured":"Breuker, J., Van de Velde, W. (eds.): CommonKADS Library for Expertise Modelling. Reusable problem solving components. Frontiers in Artificial Intelligence and Applications, vol.\u00a021. IOS Press, Amsterdam (1994)"},{"key":"28_CR14","first-page":"269","volume-title":"Principles of knowledge representation","author":"O. Dressler","year":"1996","unstructured":"Dressler, O., Struss, P.: The consistency based approach to automated diagnosis of devices. In: Principles of knowledge representation, pp. 269\u2013314. CSLI publications, Stanford (1996)"},{"key":"28_CR15","unstructured":"Maestro, J.A., Llamas, C., Alonso, C.: Anotaci\u00f3n de aspectos temporales en la especificaci\u00f3n de la tarea en CommonKADS: Aplicaci\u00f3n a la monitorizaci\u00f3n. In: IX Conferencia de la Asociaci\u00f3n Espa\u00f1ola para la Inteligencia Artificial (CAEPIA-TTIA 2001), Gij\u00f3n, Spain, pp. 449\u2013458 (2001)"},{"key":"28_CR16","volume-title":"Real-Time Systems and Their Programming Languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Their Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Galton, A.: Time and Change for AI. In: Epistemic and Temporal Reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a04, pp. 175\u2013240. Oxford Science Publications (1995)","DOI":"10.1093\/oso\/9780198537915.003.0004"},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-45034-3_21","volume-title":"Developments in Applied Artificial Intelligence","author":"C.J. Alonso","year":"2003","unstructured":"Alonso, C.J., Llamas, C., Maestro, J.A., Pulido, B.: Diagnosis of Dynamic Systems: A Knowledge Model that Allows Tracking the System during the Diagnosis Process. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA\/AIE 2003. LNCS, vol.\u00a02718, pp. 208\u2013218. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24677-0_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T07:19:26Z","timestamp":1711783166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24677-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220077","9783540246770"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24677-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}