{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:17:56Z","timestamp":1725520676919},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540881803"},{"type":"electronic","value":"9783540881810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-88181-0_14","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T11:31:09Z","timestamp":1224502269000},"page":"108-115","source":"Crossref","is-referenced-by-count":4,"title":["Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents"],"prefix":"10.1007","author":[{"given":"Viviana","family":"Mascardi","sequence":"first","affiliation":[]},{"given":"Daniela","family":"Briola","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[]},{"given":"Riccardo","family":"Caccia","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Milani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N.R. Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems\u00a01(1), 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"6","key":"14_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/64.546585","volume":"11","author":"N.R. Jennings","year":"1996","unstructured":"Jennings, N.R., Mamdani, E.H., Corera, J.M., Laresgoiti, I., Perriollat, F., Skarek, P., Zsolt Varga, L.: Using Archon to develop real-world DAI applications, part 1. IEEE Expert\u00a011(6), 64\u201367 (1996)","journal-title":"IEEE Expert"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","first-page":"293","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. Schroeder","year":"1998","unstructured":"Schroeder, M., De Almeida M\u00f2ra, I., Moniz Pereira, L.: A deliberative and reactive diagno-sis agent based on logic programming. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 293\u2013307. Springer, Heidelberg (1998)"},{"key":"14_CR4","unstructured":"Leckie, C., Senjen, R., Ward, B., Zhao, M.: Communication and coordination for intelligent fault diagnosis agents. In: Proc. of 8th IFIP\/IEEE International Workshop for Distributed Systems Operations and Management, DSOM 1997, pp. 280\u2013291 (1997)"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MIS.2006.17","volume":"21","author":"G.S. Semmel","year":"2006","unstructured":"Semmel, G.S., Davis, S.R., Leucht, K.W., Rowe, D.A., Smith, K.E., Boloni, L.: Space shuttle ground processing with monitoring agents. IEEE Intelligent Systems\u00a021(1), 68\u201373 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR6","first-page":"537","volume-title":"Proc. of IEEE Global Telecommunications Conference, Globecom 1992","author":"T. Weihmayer","year":"1992","unstructured":"Weihmayer, T., Tan, M.: Modeling cooperative agents for customer network control using planning and agent-oriented programming. In: Proc. of IEEE Global Telecommunications Conference, Globecom 1992, pp. 537\u2013543. IEEE, Los Alamitos (1992)"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M. Balduccini","year":"2003","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic reasoning with a-prolog. Theory Pract. Log. Program.\u00a03(4), 425\u2013461 (2003)","journal-title":"Theory Pract. Log. Program."},{"key":"14_CR8","doi-asserted-by":"crossref","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley, Chichester (2007)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45241-9_13","volume-title":"3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001, Proc.","author":"E. Denti","year":"2001","unstructured":"Denti, E., Omicini, A., Ricci, A.: Tuprolog: A lightweight prolog for internet applications and infrastructures. In: Ramakrishnan, I.V. (ed.) 3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001, Proc., pp. 184\u2013198. Springer, Heidelberg (2001)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"1st Int. Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, Proc.","author":"V. Mascardi","year":"2008","unstructured":"Mascardi, V., Martelli, M., Gungui, I.: DCaseLP: A prototyping environment for multi-language agent systems. In: Dastani, M., El-Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds.) 1st Int. Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, Proc. LNCS. Springer, Heidelberg (to appear, 2008)"}],"container-title":["Advances in Soft Computing","Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems CISIS\u201908"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88181-0_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:56:57Z","timestamp":1619524617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88181-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540881803","9783540881810"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88181-0_14","relation":{},"ISSN":["1867-5662","1860-0794"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1860-0794"}],"subject":[]}}