{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:05:30Z","timestamp":1747580730004},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657132"},{"type":"electronic","value":"9783540490579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49057-4_12","type":"book-chapter","created":{"date-parts":[[2007,4,28]],"date-time":"2007-04-28T04:08:08Z","timestamp":1177733288000},"page":"177-193","source":"Crossref","is-referenced-by-count":14,"title":["Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic"],"prefix":"10.1007","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M. and L. Lamport (1993). Composing specifications, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, pp. 73\u2013132.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR2","unstructured":"Barringer, H., M. Fisher, D. Gabbay, and A. Hunter (1991). Meta-reasoning in executable temporal logic. In: J. Allen, R. Fikes, E. Sandewall, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR\u201991."},{"key":"12_CR3","unstructured":"Barringer, H., M. Fisher, D. Gabbay, R. Owens, and M. Reynolds (1996). The Imperative Future: Principles of Executable Temporal Logic, Research Studies Press Ltd. and John Wiley & Sons."},{"key":"12_CR4","unstructured":"M. Benerecetti, F. Giunchiglia, and L. Serafini (1999). A model-checking algorithm for multiagent systems. In this volume."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Benthem, J.F.A.K. van (1983). The Logic of Time: a Model-theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Reidel, Dordrecht.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., F. Cornelissen, R. Gustavsson, C.M. Jonker, O. Lindeberg, B. Polak, and J. Treur, (1998). Compositional design and verification of a multi-agent system for one-to-many negotiation. In: Proceedings of the Third International Conference on Multi-Agent Systems, IEEE Computer Society Press.","DOI":"10.1109\/ICMAS.1998.699031"},{"key":"12_CR7","unstructured":"Brazier, F.M.T., B.M. Dunin-Keplicz, N.R. Jennings, and J. Treur, (1995) Formal specification of multi-agent systems: a real world case. In: Lesser, V. (ed.), Proceedings of the First International Conference on Multi-Agent Systems, MIT Press, pp. 25\u201332. Extended version in: Huhns, M. and Singh, M. (eds.), International Journal of Co-operative Information Systems, IJCIS vol. 6 (1), special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems, pp. 67\u201394."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Cornelissen, F., C.M. Jonker, and J. Treur (1997). Compositional verification of knowledge-based systems: a case study for diagnostic reasoning. In: E. Plaza, R. Benjamins (eds.), Knowledge Acquisition, Modelling and Management, Proceedings of the 10th EKAW, Lecture Notes in AI, vol. 1319, Springer Verlag, pp. 65\u201380.","DOI":"10.1007\/BFb0026778"},{"key":"12_CR9","unstructured":"Dams, D., R. Gerth, and P. Kelb (1996). Practical symbolic model checking of the full \u03bc-calculus using compositional abstractions. Report, Eindhoven University of Technology, Department of Mathematics and Computer Science."},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1305\/ndjfl\/1040046088","volume":"37","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J. (1996). Minimal temporal epistemic logic, Notre Dame Journal of Formal Logic, vol. 37, pp. 233\u2013259 (special issue on Combining Logics).","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-61313-7_67","volume":"1085","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J., and J. Treur (1996). Specification of nonmonotonic reasoning. In: Proceedings International Conference on Formal and Applied Practical Reasoning, Springer-Verlag, Lecture Notes in Artificial Intelligence, vol. 1085, pp. 111\u2013125.","journal-title":"Proceedings International Conference on Formal and Applied Practical Reasoning"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1006\/jsco.1996.0068","volume":"22","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J., and J. Treur (1996). Executable temporal logic for nonmonotonic reasoning; Journal of Symbolic Computation, vol. 22, no. 5&6, pp. 615\u2013625.","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"12_CR13","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1023\/A:1008243611454","volume":"7","author":"J. Engelfriet","year":"1997","unstructured":"Engelfriet, J., and J. Treur (1997). An interpretation of default logic in temporal epistemic logic. Journal of Logic, Language and Information, vol. 7, no. 3, pp. 369\u2013388.","journal-title":"Journal of Logic, Language and Information"},{"key":"12_CR14","first-page":"5\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop","author":"D. Fensel","year":"1996","unstructured":"Fensel, D., and R. Benjamins (1996). Assumptions in model-based diagnosis. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 5\/1\u20135\/18."},{"key":"12_CR15","first-page":"4\/1","volume-title":"Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop","author":"D. Fensel","year":"1996","unstructured":"Fensel, D., A. Schonegge, R. Groenboom, and B. Wielinga (1996). Specification and verification of knowledge-based systems. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 4\/1\u20134\/20."},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and D. Gabbay (1992). Adding a temporal dimension to a logic system. Journal of Logic, Language and Information\n                           1, pp. 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Fisher, M. (1994). A survey of Concurrent METATEM \u2014 the language and its applications. In: D.M. Gabbay, H.J. Ohlbach (eds.), Temporal Logic \u2014 Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480\u2013505.","DOI":"10.1007\/BFb0014005"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Fisher, M., and M. Wooldridge (1997). On the formal specification and verification of multi-agent systems. In: Huhns, M. and Singh, M. (eds.), International Journal of Co-operative Information Systems, IJCIS vol. 6(1), special issue on Formal Methods in Co-operative Information Systems: Multi-Agent Systems, pp. 37\u201365.","DOI":"10.1142\/S0218843097000057"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01088595","volume":"6","author":"J. Hooman","year":"1994","unstructured":"Hooman, J. (1994). Compositional verification of a distributed real-time arbitration protocol. Real-Time Systems, vol. 6, pp. 173\u2013206.","journal-title":"Real-Time Systems"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Jonker, C.M. and J. Treur (1998). Compositional verification of multi-agent Systems: a formal analysis of pro-activeness and reactiveness. In: W.P. DeRoever, H. Langmaack, A. Pnueli, (eds.). Proceedings of the International Symposium on Compositionality, Springer Verlag, to appear.","DOI":"10.1007\/3-540-49213-5_13"},{"key":"12_CR21","unstructured":"Treur, J., and M. Willems (1994). A logical foundation for verification. In: Proceedings of the Eleventh European Conference on Artificial Intelligence, ECAI\u201994, A.G. Cohn (ed.), John Wiley & Sons, Ltd., pp. 745\u2013749."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents V: Agents Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49057-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T11:28:50Z","timestamp":1550316530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49057-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657132","9783540490579"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49057-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}