{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:10:44Z","timestamp":1767337844192,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030966263"},{"type":"electronic","value":"9783030966270"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-96627-0_17","type":"book-chapter","created":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T12:22:32Z","timestamp":1651839752000},"page":"179-189","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Non-monotonic Reasoning for Transportation Network Congestion Monitoring: Theoretical Foundation"],"prefix":"10.1007","author":[{"given":"Azedine","family":"Boulmakoul","sequence":"first","affiliation":[]},{"given":"Lamia","family":"Karim","sequence":"additional","affiliation":[]},{"given":"Ghyzlane","family":"Cherradi","sequence":"additional","affiliation":[]},{"given":"Bharat","family":"Bhushan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,7]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Besnard, P.: An Introduction to Default Logic. Springer, ISBN 978-3-642-08078-4 (1989)","DOI":"10.1007\/978-3-662-05689-9"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Konolige, K.: On relation between default and autoepistemic logi. Elsevier, Artificial Intelligence (1988)","DOI":"10.21236\/ADA461880"},{"key":"17_CR3","unstructured":"Reiter R.: A logic for default reasoning. Artif. Intell. (1980) (Special Issue)"},{"key":"17_CR4","unstructured":"Ryzko, D. Rybinski, H., Wiech, P.: Learning mechanism for distributed default logic based MAS \u2013 implementation considerations. Intell. Inf. Syst. (2008). ISBN 978-83-60434-44-4"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Davis, M.: The mathematics of non-monotonic reasoning. Artif. Intell., vol. 13, (1980) (Special Issue)","DOI":"10.1016\/0004-3702(80)90013-2"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"De Kleer, J., Mackworth, A.K., Reiter, R.: Characterizing diagnoses and systems. Artif. Intell. (1992)","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Reiter R.: Theory of diagnosis from first principles. Artif. Intell. (1987)","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"17_CR8","unstructured":"Segerberg, K., Meyer, J.L., Kracht, M.: The logic of action. The Stanford Encyclopedia of Philosophy (winter 2013 Edition), Zalta, E.N. (ed.). http:\/\/plato.stanford.edu\/archives\/win2013\/entries\/logic-action\/"},{"key":"17_CR9","unstructured":"Boulmakoul, A., Bourbia, N.: CSN : Contr\u00f4le Symbolique par N\u00e9gociation, prototypage en smalltalk. Software Engineering and its Applications, Paris, France (1994)"},{"key":"17_CR10","unstructured":"Boulmakoul, A.: Approche logique du contr\u00f4le symbolique. 9\u00e9me Congr\u00e9s Reconnaissance de Formes et Intelligence Artificielle RFIA\u201994, vol. 2. Intelligence Artificielle, AFCET, France (1994)"},{"issue":"1","key":"17_CR11","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artif. Intell. 60(1), 51\u201392 (1993)","journal-title":"Artif. Intell."},{"key":"17_CR12","unstructured":"Gul, A.: Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press series in Artificial Intelligence (1980)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Bajo, J., Hern\u00e1ndez, J.Z., Mathieu, P., Campbell, A., Fern\u00e1ndez-Caballero, A., Moreno, M.N., ... Botti, V.: Trends in Practical Applications of Agents. Multi-Agent Systems and Sustainability, vol. 372 (2015)","DOI":"10.1007\/978-3-319-19629-9"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing XIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-96627-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,6]],"date-time":"2022-05-06T12:24:53Z","timestamp":1651839893000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-96627-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030966263","9783030966270"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-96627-0_17","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IDC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Intelligent and Distributed Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"idc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/idc2021.unirc.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}