{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:07:19Z","timestamp":1725566839345},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_46","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T20:27:57Z","timestamp":1285360077000},"page":"420-429","source":"Crossref","is-referenced-by-count":0,"title":["A Communication Language and the Design of a Diagnosis Agent \u2013 Towards a Framework for Mobile Diagnosis Agents"],"prefix":"10.1007","author":[{"given":"Christian","family":"Piccardi","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","unstructured":"de Koning, K., Bredeweg, B.: Using GDE in Educational Systems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Brighton, UK, pp. 279\u2013283 (August 1998)"},{"issue":"1","key":"46_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"46_CR3","unstructured":"Eiter, T., Subrahmanian, V.S., Pick, G.: Heterogeneous active agents. Technical report, Institut f\u00fcr Informatik, Justus-Liebig-Universit\u00e4t Gie\u03b2en, Germany, IFIG Research Report 9802 (March 1998)"},{"key":"46_CR4","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Bradshaw, J.M. (ed.) Software Agents, pp. 291\u2013317. AAAI Press \/ The MIT Press (1997)"},{"key":"46_CR5","unstructured":"Fr\u00f6hlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15\n                    th\n                   International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)"},{"key":"46_CR6","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Budapest (August 1996)"},{"key":"46_CR7","unstructured":"Heck, F., Laengle, T., Woern, H.: A Multi-Agent Based Monitoring and Diagnosis System for Industrial Components. In: Proceedings ofthe Ninth International Workshop on Principles of Diagnosis, Cape Cod, Massachusetts, USA, pp. 63\u201369 (May 1998)"},{"key":"46_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0020-0190(88)90124-X","volume":"29","author":"M. Minoux","year":"1988","unstructured":"Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters\u00a029, 1\u201312 (1988)","journal-title":"Information Processing Letters"},{"key":"46_CR9","unstructured":"Malik, A., Struss, P.: Diagnosis of dynamic systems does not necessarily require simulation. In: Proceedings ofthe Seventh International Workshop on Principles of Diagnosis (1996)"},{"key":"46_CR10","unstructured":"Piccardi, C.: AD2L An Abstract Modelling Language for Diagnosis Systems. Master\u2019s thesis, TU Vienna (1998)"},{"key":"46_CR11","unstructured":"Price, C., Snooke, N.: Challenges for qualitative electrical reasoning in circuit simulation. In: Proceedings of the 11th International Workshop on Qualitative Reasoning (1997)"},{"issue":"1","key":"46_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"46_CR13","unstructured":"Schroeder, M., Damasio, C.V., Pereira, L.M.: REVISE Report: An Architecture for a Diagnosis Agent. In: ECAI-96 Workshop on Integrating Non-Monotonicity into Automated Reasoning Systems, Budapest, Hungaria (August 1996)"},{"key":"46_CR14","unstructured":"Stumptner, M., Wotawa, F.: Diagnosing tree-structured systems. In: Proceedings 15\n                    th\n                   International Joint Conf. on Artificial Intelligence, Nagoya, Japan (1997)"},{"key":"46_CR15","unstructured":"Stumptner, M., Wotawa, F.: VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In: Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod (May 1998)"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T04:42:07Z","timestamp":1553143327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}