{"id":6607,"date":"2019-05-07T20:40:23","date_gmt":"2019-05-07T18:40:23","guid":{"rendered":"https:\/\/www.ftf.or.at\/?p=6607"},"modified":"2019-05-07T20:40:23","modified_gmt":"2019-05-07T18:40:23","slug":"review-a-survey-of-evaluation-techniques-and-systems-for-answer-set-programming-videoslides","status":"publish","type":"post","link":"https:\/\/www.ftf.or.at\/?p=6607","title":{"rendered":"Review: A Survey of Evaluation Techniques and Systems for Answer Set Programming [Video][Slides]"},"content":{"rendered":"<p>The review of the TEWI colloquium of\u00a0<strong>Prof. Francesco Ricca<\/strong>\u00a0from\u00a0<a href=\"https:\/\/www.ftf.or.at\/2019\/04\/a-survey-of-evaluation-techniques-and-systems-for-answer-set-programming\/\">May 3, 2019<\/a>\u00a0comprises the <a href=\"https:\/\/www.aau.at\/blog\/ftf-francesco-ricca\/\">video<\/a> and slides (below):<\/p>\n<p><iframe loading=\"lazy\" title=\"A Survey of Evaluation Techniques and Systems for Answer Set Programming\" src=\"https:\/\/www.slideshare.net\/slideshow\/embed_code\/key\/2ihDurWBtlKIY2\" width=\"427\" height=\"356\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" style=\"border:1px solid #CCC; border-width:1px; margin-bottom:5px; max-width: 100%;\" allowfullscreen> <\/iframe> <\/p>\n<div style=\"margin-bottom:5px\"> <strong> <a href=\"https:\/\/www.slideshare.net\/slideshow\/a-survey-of-evaluation-techniques-and-systems-for-answer-set-programming\/144211434\" title=\"A Survey of Evaluation Techniques and Systems for Answer Set Programming\" target=\"_blank\">A Survey of Evaluation Techniques and Systems for Answer Set Programming<\/a> <\/strong> from <strong><a href=\"https:\/\/www.slideshare.net\/foerderverein\" target=\"_blank\">F\u00f6rderverein Technische Fakult\u00e4t<\/a><\/strong> <\/div>\n<p><strong>Abstract:<\/strong><\/p>\n<p>Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this talk we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.<\/p>\n<p><strong>CV:<\/strong><\/p>\n<p><a href=\"https:\/\/www.ftf.or.at\/wp-content\/uploads\/2019\/04\/Ricca.png\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-6587 alignright\" src=\"https:\/\/www.ftf.or.at\/wp-content\/uploads\/2019\/04\/Ricca.png\" alt=\"\" width=\"227\" height=\"288\" \/><\/a>Francesco Ricca (<a href=\"http:\/\/www.mat.unical.it\/ricca\">www.mat.unical.it\/ricca<\/a>) is currently an Associate Professor at the Department of Mathematics and Computer Science of the University of Calabria, Italy. In the same Department he is Coordinator of the Computer Science Courses Council.<br \/>\nHe received his Laurea Degree in Computer Science Engineering (2002) and a PhD in Computer Science and Mathematics (2006) from the University of Calabria, Italy, and received the Habilitation for Full Professor in Computer Science (INF\/01) in 2017.<br \/>\nHe is interested in declarative logic-based languages, consistent query answering, and rule-based reasoning on ontologies and in particular on the issues concerning their practical applications: system design and implementation, and development tools. He is co-author of more than 100 (peer-reviewed) publications including international research journals (30+), encyclopedia chapters, conference proceedings, and workshops of national and international importance. He has served in program committees of international conference and workshop, such as IJCAI, AAAI, KR, ICLP, LPNMR and JELIA, and has been reviewer for AIJ, JAIR, TPLP, JLC, etc. He is Area Editor of Association for Logic Programming newsletters, and member of the Executive Board of the Italian Association for Artificial Intelligence.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The review of the TEWI colloquium of\u00a0Prof. Francesco Ricca\u00a0from\u00a0May 3, 2019\u00a0comprises the video and slides (below): A Survey of Evaluation Techniques and Systems for Answer Set Programming from F\u00f6rderverein Technische Fakult\u00e4t Abstract: Answer set programming (ASP) is a prominent knowledge &hellip; <a href=\"https:\/\/www.ftf.or.at\/?p=6607\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[1],"tags":[],"class_list":["post-6607","post","type-post","status-publish","format-standard","hentry","category-tewi-kolloquium"],"_links":{"self":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/6607","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6607"}],"version-history":[{"count":1,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/6607\/revisions"}],"predecessor-version":[{"id":6608,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/6607\/revisions\/6608"}],"wp:attachment":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6607"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=6607"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=6607"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}