{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:19Z","timestamp":1725748519919},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_8","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"73-78","source":"Crossref","is-referenced-by-count":3,"title":["ARVis: Visualizing Relations between Answer Sets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Ambroz","sequence":"first","affiliation":[]},{"given":"G\u00fcnther","family":"Charwat","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Jusits","sequence":"additional","affiliation":[]},{"given":"Johannes Peter","family":"Wallner","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"8_CR1","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G. Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM\u00a054(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"8_CR2","unstructured":"Charwat, G., Wallner, J.P., Woltran, S.: Utilizing ASP for generating and visualizing argumentation frameworks. In: ASPOCP 2012, pp. 51\u201365 (2012)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-540-89982-2_65","volume-title":"Logic Programming","author":"O. Cliffe","year":"2008","unstructured":"Cliffe, O., De Vos, M., Brain, M., Padget, J.: ASPVIZ: Declarative visualisation and animation using answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 724\u2013728. Springer, Heidelberg (2008)"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM\u00a042(1), 3\u201342 (1995)","journal-title":"J. ACM"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-20895-9_37","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"O. Febbraro","year":"2011","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 317\u2013330. Springer, Heidelberg (2011)"},{"issue":"11","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1002\/spe.4380211102","volume":"21","author":"T.M.J. Fruchterman","year":"1991","unstructured":"Fruchterman, T.M.J., Reingold, E.M.: Graph drawing by force-directed placement. Softw., Pract. Exper.\u00a021(11), 1129\u20131164 (1991)","journal-title":"Softw., Pract. Exper."},{"issue":"2","key":"8_CR7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/AIC-2011-0497","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AI Commun.\u00a024(2), 105\u2013124 (2011)","journal-title":"AI Commun."},{"issue":"2","key":"8_CR8","first-page":"61","volume":"11","author":"J.A. Hendler","year":"1990","unstructured":"Hendler, J.A., Tate, A., Drummond, M.: AI planning: Systems and techniques. AI Magazine\u00a011(2), 61\u201377 (1990)","journal-title":"AI Magazine"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0020-0190(89)90102-6","volume":"31","author":"T. Kamada","year":"1989","unstructured":"Kamada, T., Kawai, S.: An algorithm for drawing general undirected graphs. Inf. Process. Lett.\u00a031(1), 7\u201315 (1989)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"8_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell.\u00a052(3), 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"8_CR11","unstructured":"Kloim\u00fcllner, C., Oetsch, J., P\u00fchrer, J., Tompits, H.: Kara: A system for visualising and visual editing of interpretations for answer-set programs. In: WLP 2011 (2011)"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log.\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"8_CR13","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming \u2013 Preliminary report. In: WLP 2011 (2011)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T22:44:36Z","timestamp":1596494676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}