{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:52Z","timestamp":1747548352544},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49426-x_14","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:21:25Z","timestamp":1186172485000},"page":"303-324","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of Multi-Interpretable Ecological Monitoring Information"],"prefix":"10.1007","author":[{"given":"Frances","family":"Brazier","sequence":"first","affiliation":[]},{"given":"Joeri","family":"Engelfriet","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"14_CR1","unstructured":"F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings, and J. Treur, \u201cFormal Specification of Multi-Agent Systems: a real-world case\u201d, in: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS\u201995, MIT Press, Cambridge, MA, pp. 25\u201332. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67\u201394."},{"key":"14_CR2","unstructured":"F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, \u201cThe Acquisition of a Shared Task Model\u201d, in: N. Shadbolt, K. O\u2019Hara, G. Schreiber (eds.), Advances in Knowledge Acquisition, Proc. 9th European Knowledge Acquisition Workshop, EKAW\u201996, Lecture Notes in Artificial Intelligence, vol. 1076, Springer Verlag, pp. 278\u2013289."},{"key":"14_CR3","unstructured":"F.M.T. Brazier, J. Treur, and N.J.E. Wijngaards, \u201cModelling Interaction with Experts: the Role of a Shared Task Model\u201d, in: W. Wahlster (ed.), Proc. European Conference on AI, ECAI\u201996, John Wiley and Sons, 1996, pp. 241\u2013245."},{"key":"14_CR4","first-page":"25\/1","volume-title":"Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW\u201995","author":"F.M.T. Brazier","year":"1995","unstructured":"F.M.T. Brazier, J. Treur, N.J.E. Wijngaards, and M. Willems, \u201cFormal Specification of Hierarchically (De)Composed Tasks\u201d, in: B.R. Gaines, M.A. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW\u201995, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1995, pp. 25\/1\u201315\/20."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"P. Besnard, An Introduction to Default Logic, Springer-Verlag, 1989.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"G. Brewka, \u201cAdding Priorities and Specificity to Default Logic\u201d, in: C. MacNish, D. Pearce, L.M. Pereira (eds.), Logics in Artificial Intelligence, Proceedings of the JELIA-94, Lecture Notes in Artificial Intelligence, vol. 838, Springer-Verlag, 1994, pp. 247\u2013260.","DOI":"10.1007\/BFb0021977"},{"key":"14_CR7","unstructured":"G. Brewka, \u201cReasoning about Priorities in Default Logic\u201d, in: Proceedings of the AAAI-94, 1994."},{"key":"14_CR8","unstructured":"J. Engelfriet, H. Herre and J. Treur, \u201cNonmonotonic Reasoning with Multiple Belief Sets\u201d, in: D.M. Gabbay, H.J. Ohlbach (eds.), Practical Reasoning, Proceedings FAPR\u201996, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, 1996, pp. 331\u2013344."},{"key":"14_CR9","unstructured":"J. Engelfriet, V.W. Marek, J. Treur and M. Truszczynski, \u201cInfinitary Default Logic for Specification of Nonmonotonic Reasoning\u201d, in: J.J. Alferes, L.M. Pereira, E. Orlowska (eds.), Logics in Artificial Intelligence, Proceedings of the Fourth European Workshop on Logics in AI, JELIA\u201996, Lecture Notes in Artificial Intelligence, vol. 1126, Springer-Verlag, 1996, pp. 224\u2013236."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"D. Makinson, \u201cGeneral Patterns in Nonmonotonic Reasoning\u201d, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford Science Publications, 1994, pp. 35\u2013110.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"V.W. Marek and M. Truszczynski, Nonmonotonic logics; context-dependent reasoning, Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"14_CR12","unstructured":"V.W. Marek, J. Treur and M. Truszczynski, \u201cRepresentation Theory for Default Logic\u201d, to appear in Annals of Mathematics and Artificial Intelligence, 1997."},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cA Logic for Default Reasoning\u201d, Artificial Intelligence 13, 1980, pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"14_CR14","unstructured":"Y.-H. Tan, J. Treur, \u201cConstructive Default Logic and the Control of Defeasible Reasoning\u201d, in: B. Neumann (ed.), Proc. of the European Conference on Artificial Intelligence, ECAI\u201992, John Wiley and Sons, 1992, pp. 299\u2013303."}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T07:30:45Z","timestamp":1708155045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}