{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:21:35Z","timestamp":1725549695681},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290414"},{"type":"electronic","value":"9783540317333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11558590_27","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T12:53:11Z","timestamp":1128516791000},"page":"270-281","source":"Crossref","is-referenced-by-count":2,"title":["Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations"],"prefix":"10.1007","author":[{"given":"Alban","family":"Grastien","sequence":"first","affiliation":[]},{"given":"Marie-Odile","family":"Cordier","sequence":"additional","affiliation":[]},{"given":"Christine","family":"Largou\u00ebt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence\u00a0110, 135\u2013183 (1999)","journal-title":"Artificial Intelligence"},{"key":"27_CR3","unstructured":"Cordier, M.O., Thi\u00e9baux, S.: Event-based diagnosis for evolutive systems. In: 5th International Workshop on Principles of Diagnosis (DX 1994), pp. 64\u201369 (1994)"},{"key":"27_CR4","unstructured":"Barral, C., McIlraith, S., Son, T.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: International Conference on Knowledge Representation and Reasoning (KR 2000), pp. 311\u2013322 (2000)"},{"key":"27_CR5","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Diagnosis and diagnosability analysis using PEPA. In: 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Allemagne, pp. 131\u2013135 (2000)"},{"key":"27_CR6","unstructured":"Lunze, J.: Discrete-event modelling and diagnosis of quantized dynamical systems. In: 10th International Workshop on Principles of Diagnosis (DX 1999), Loch Awe, \u00c9cosse, Royaume Uni, pp. 147\u2013154 (1999)"},{"key":"27_CR7","unstructured":"Pencol\u00e9, Y., Cordier, M.O., Roz\u00e9, L.: Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In: 12th International Workshop on Principles of Diagnosis (DX 2001), pp. 151\u2013158 (2001)"},{"key":"27_CR8","unstructured":"Cordier, M.O., Largou\u00ebt, C.: Using model-checking techniques for diagnosing discrete-event systems. In: 12th International Workshop on Principles of Diagnosis (DX 2001), pp. 39\u201346 (2001)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558590_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:09:54Z","timestamp":1619507394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558590_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290414","9783540317333"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11558590_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}