{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:16:49Z","timestamp":1725520609746},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888079"},{"type":"electronic","value":"9783540888086"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88808-6_21","type":"book-chapter","created":{"date-parts":[[2008,10,28]],"date-time":"2008-10-28T09:06:41Z","timestamp":1225184801000},"page":"197-210","source":"Crossref","is-referenced-by-count":2,"title":["Visualization of Proofs in Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Ioannis","family":"Avguleas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katerina","family":"Gkirtzou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofia","family":"Triantafilou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonis","family":"Bikakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Efstratios","family":"Kontopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"WWW 2003: Proceedings of the 12th international conference on World Wide Web","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003: Proceedings of the 12th international conference on World Wide Web, pp. 48\u201357. ACM, New York (2003)"},{"issue":"1-2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.C.: Combining Horn rules and description logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem.\u00a03(1), 61\u201373 (2005)","journal-title":"J. Web Sem."},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 364\u2013378. Springer, Heidelberg (2002)"},{"key":"21_CR5","first-page":"723","volume-title":"WWW 2004: Proceedings of the 13th international conference on World Wide Web","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 723\u2013731. ACM, New York (2004)"},{"key":"21_CR6","unstructured":"RuleML: The RuleML Initiative website (2006), http:\/\/www.ruleml.org\/"},{"issue":"2","key":"21_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. IEEE Trans. on Knowl. and Data Eng.\u00a019(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. on Knowl. and Data Eng."},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2006010101","volume":"2","author":"N. Bassiliades","year":"2006","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: A Defeasible Logic Reasoner for the Semantic Web. International Journal of Semantic Web and Information Systems (IJSWIS)\u00a02(1), 1\u201341 (2006)","journal-title":"International Journal of Semantic Web and Information Systems (IJSWIS)"},{"key":"21_CR9","unstructured":"Gandhe, M., Finin, T., Grosof, B.: SweetJess: Translating DamlRuleML to Jess. In: International Workshop on Rule Markup Languages for Business Rules on the Semantic Web in conjunction with ISWC 2002, Sardinia, Italy (2002)"},{"key":"21_CR10","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: Dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In: Fink, M., Tompits, H., Woltran, S. (eds.) WLP, Technische Universit\u00e4t Wien, Austria. INFSYS Research Report, vol.\u00a01843, pp. 206\u2013210 (2006)"},{"key":"21_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-76719-0_21","volume-title":"Knowledge Science, Engineering and Management","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., Zeginis, D.: Proof Explanation for the Semantic Web Using Defeasible Logic. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol.\u00a04798, pp. 186\u2013197. Springer, Heidelberg (2007)"},{"issue":"3","key":"21_CR12","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1016\/j.datak.2007.10.006","volume":"64","author":"G. Antoniou","year":"2008","unstructured":"Antoniou, G., Bikakis, A., Dimaresis, N., Genetzakis, M., Georgalis, G., Governatori, G., Karouzaki, E., Kazepis, N., Kosmadakis, D., Kritsotakis, M., Lilis, G., Papadogiannakis, A., Pediaditis, P., Terzakis, C., Theodosaki, R., Zeginis, D.: Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng.\u00a064(3), 662\u2013687 (2008)","journal-title":"Data Knowl. Eng."},{"key":"21_CR13","series-title":"Nonmonotonic Reasoning and Uncertain Reasoning","first-page":"353","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming. Nonmonotonic Reasoning and Uncertain Reasoning, vol.\u00a03, pp. 353\u2013395. Oxford University Press, Oxford (1994)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/11836025_28","volume-title":"The Semantic Web \u2013 ASWC 2006","author":"E. Kontopoulos","year":"2006","unstructured":"Kontopoulos, E., Bassiliades, N., Antoniou, G.: Visualizing Defeasible Logic Rules for the Semantic Web. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol.\u00a04185, pp. 278\u2013292. Springer, Heidelberg (2006)"},{"issue":"6","key":"21_CR15","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1017\/S1471068406002778","volume":"6","author":"G. Antoniou","year":"2006","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding Defeasible Logic into Logic Programming. Theory Pract. Log. Program.\u00a06(6), 703\u2013735 (2006)","journal-title":"Theory Pract. Log. Program."},{"issue":"4","key":"21_CR16","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1142\/S0218213001000623","volume":"10","author":"M.J. Maher","year":"2001","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billington, D., Miller, T.: Efficient Defeasible Reasoning Systems. International Journal on Artificial Intelligence Tools\u00a010(4), 483\u2013501 (2001)","journal-title":"International Journal on Artificial Intelligence Tools"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Billington, D., Maher, M.J.: On the Analysis of Regulations using Defeasible Rules. In: HICSS (1999)","DOI":"10.1109\/HICSS.1999.772631"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/11580072_14","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"N. Bassiliades","year":"2005","unstructured":"Bassiliades, N., Kontopoulos, E., Antoniou, G.: A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 172\u2013186. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Rule Representation, Interchange and Reasoning on the Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88808-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T08:10:52Z","timestamp":1632039052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88808-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888079","9783540888086"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88808-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}