{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:08:27Z","timestamp":1764331707903},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540777038"},{"type":"electronic","value":"9783540777045"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77704-5_27","type":"book-chapter","created":{"date-parts":[[2008,1,18]],"date-time":"2008-01-18T20:28:36Z","timestamp":1200688116000},"page":"287-294","source":"Crossref","is-referenced-by-count":3,"title":["A Calculus Effectively Performing Event Formation with Visualization"],"prefix":"10.1007","author":[{"given":"Susumu","family":"Yamasaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mariko","family":"Sasakura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46648-7_31","volume-title":"Graph Drawing","author":"G.D. Battista","year":"1999","unstructured":"Battista, G.D., Eades, P., Tamassi, R., Tollis, I.G.: Graph Drawing. Prentice Hall, Englewood Cliffs (1999)"},{"key":"27_CR2","volume-title":"Logic and Its Application","author":"E. Burke","year":"1996","unstructured":"Burke, E., Foxley, E.: Logic and Its Application. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"27_CR3","volume-title":"Distributed Systems Analysis with CCS","author":"G. Bruns","year":"1996","unstructured":"Bruns, G.: Distributed Systems Analysis with CCS. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in  ALIAS: a logical framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence\u00a037, 65\u201391 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0743-1066(95)94697-X","volume":"22","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: An argumentation-theoretic foundation for logic programming. J. of Logic Programming\u00a022, 151\u2013177 (1995)","journal-title":"J. of Logic Programming"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-62495-3_41","volume-title":"GD 1996","author":"P. Eades","year":"1997","unstructured":"Eades, P., Feng, Q.-W.: Multilevel visualization of clustered graphs. In: North, S.C. (ed.) GD 1996. LNCS, vol.\u00a01190, pp. 101\u2013112. Springer, Heidelberg (1997)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Galloway, A.J., Stoddart, W.J.: An operational semantics for ZCCS. In: Proc. of IEEE International Conference on Formal Engineering Methods, pp. 272\u2013282 (1997)","DOI":"10.1109\/ICFEM.1997.630434"},{"issue":"5","key":"27_CR8","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D.: On visual formalisms. CACM\u00a031(5), 514\u2013530 (1988)","journal-title":"CACM"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Iwata, K., Sasakura, M., Yamasaki, S.: Visualization for management of electronics product composition. In: Proc. of 9th International Conference on Information Visualization IV 2005, pp. 194\u2013199 (2005)","DOI":"10.1109\/IV.2005.147"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"Kunen, K.: Signed data dependencies in logic programs. J. of Logic Programming\u00a07, 231\u2013245 (1989)","journal-title":"J. of Logic Programming"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R.A. Kowalski","year":"1992","unstructured":"Kowalski, R.A.: Database updates in the event calculus. J. of Logic Programming\u00a012, 121\u2013146 (1992)","journal-title":"J. of Logic Programming"},{"issue":"2","key":"27_CR12","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed communicating object Z. IEEE Trans. on Software Engineering\u00a026(2), 150\u2013177 (2000)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"27_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Mosses, P.M.: Action Semantics. Cambridge University (1992)","DOI":"10.1017\/CBO9780511569869"},{"volume-title":"ML with Concurrency, Monograph in Computer Science","year":"1996","key":"27_CR15","unstructured":"Nielson, F. (ed.): ML with Concurrency, Monograph in Computer Science. Springer, Heidelberg (1996)"},{"key":"27_CR16","unstructured":"Pereira, P.M., Nasr, R.: DELTA\u2013PROLOG: A distributed logic programming language. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 283\u2013291 (1984)"},{"key":"27_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/3-540-36151-0_22","volume-title":"GD 2002","author":"M. Raitner","year":"2002","unstructured":"Raitner, M.: HGV: A library for hierarchies, graphs and views. In: Goodrich, M.T., Kobourov, S.G. (eds.) GD 2002. LNCS, vol.\u00a02528, pp. 236\u2013243. Springer, Heidelberg (2002)"},{"key":"27_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action. The MIT Press, Cambridge (2001)"},{"key":"27_CR19","unstructured":"Sasakura, M., Yamasaki, S.: An application of Nara View to reasonings for distributed logic programs. In: Proc. of 2003 International Conference on Distributed Processing Techniques and Applications, Las Vegas, vol.\u00a03, pp. 1099\u20131105 (2003)"},{"key":"27_CR20","unstructured":"Sasakura, M., Yamasaki, S.: An explanation reasoning procedure applicable to loop transformation in compiler. In: Proc. of ACM ESEC\/FSE International Workshop on Intelligent Technologies for Software Engineering (WITSE 2003), Helsinki, pp. 34\u201339 (2003)"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Sasakura, M., Yamasaki, S.: Visualization with hierarchically structured trees for an explanation reasoning system. In: Proc. of 8th International Conference on Information Visualization IV 2004, London, pp. 893\u2013898 (2004)","DOI":"10.1109\/IV.2004.1320247"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-36151-0_25","volume-title":"GD2002","author":"S.T. Teoh","year":"2002","unstructured":"Teoh, S.T., Ma, K.-L.: RINGS: A technique for visualizing large hierarchies. In: Goodrich, M.T., Kobourov, S.G. (eds.) GD 2002. LNCS, vol.\u00a02528, pp. 268\u2013275. Springer, Heidelberg (2002)"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0022-0000(93)90024-Q","volume":"47","author":"A. Gelder Van","year":"1993","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. J. of Computer and System Sciences\u00a047, 185\u2013221 (1993)","journal-title":"J. of Computer and System Sciences"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/S0304-3975(00)00201-2","volume":"266","author":"S. Yamasaki","year":"2001","unstructured":"Yamasaki, S., Kurose, Y.: A sound and complete proof procedure for a general logic program in no-floundering derivations with respect to the 3-valued stable model semantics. Theoretical Computer Science\u00a0266, 489\u2013512 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"27_CR25","first-page":"83","volume":"1","author":"S. Yamasaki","year":"2005","unstructured":"Yamasaki, S., Iwata, K., Sasakura, M.: Reasoning procedure and implementation for logic programs as managing schemes to extract demand. IPSI Trans. on Advanced Research\u00a01(1), 83\u201390 (2005)","journal-title":"IPSI Trans. on Advanced Research"},{"key":"27_CR26","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0743-1066(94)00023-Y","volume":"22","author":"J.-H. You","year":"1995","unstructured":"You, J.-H., Yuan, L.Y.: On the equivalence of semantics for normal logic programs. J. of Logic Programming\u00a022, 211\u2013222 (1995)","journal-title":"J. of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","High-Performance Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77704-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:49:29Z","timestamp":1619506169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77704-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540777038","9783540777045"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77704-5_27","relation":{},"subject":[]}}