{"id":71,"date":"2024-06-14T11:23:39","date_gmt":"2024-06-14T09:23:39","guid":{"rendered":"https:\/\/web.umons.ac.be\/sinf\/?page_id=71"},"modified":"2026-02-18T15:35:29","modified_gmt":"2026-02-18T14:35:29","slug":"knowledge-representation-and-reasoning","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/","title":{"rendered":"Knowledge Representation and Reasoning"},"content":{"rendered":"<div class=\"file-attachment\">\n<p>Read the\u00a0<a href=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/84\/2026\/02\/schedule2026.pdf\" target=\"_blank\" rel=\"noopener\">course schedule<\/a><\/p>\n<p>&nbsp;<\/p>\n<p><a href=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/84\/2026\/02\/intro.pdf\" target=\"_blank\" rel=\"noopener\">Slides<\/a>\u00a0of first session.<\/p>\n<\/div>\n<h2><\/h2>\n<h2>Part I: Answer Set Programming<\/h2>\n<h3>I.A Theory<\/h3>\n<p>The first part of the course covers the logic programming paradigm known as Answer Set Programming (ASP).<\/p>\n<h4>Books and Articles<\/h4>\n<ul>\n<li>\n<div class=\"file-attachment\"><a href=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/84\/2026\/02\/ASP.pdf\" target=\"_blank\" rel=\"noopener\">My own slides<\/a>\u00a0on ASP.<\/div>\n<\/li>\n<li><a href=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/84\/2026\/02\/Answer_Set_Programming_A_Primer.pdf\" target=\"_blank\" rel=\"noopener\">Answer Set Programming: A Primer<\/a><\/li>\n<li>Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:\u00a0<a href=\"https:\/\/www.researchgate.net\/publication\/220421804_Answer_Set_Programming_at_a_Glance\" target=\"_blank\" rel=\"noopener\">Answer set programming at a glance.<\/a>\u00a0Commun. ACM 54(12): 92-103 (2011)<\/li>\n<li><a href=\"https:\/\/potassco.org\/\" target=\"_blank\" rel=\"noopener\">Potassco<\/a>\u00a0(don&rsquo;t forget to explore the\u00a0<a href=\"https:\/\/potassco.org\/doc\/\" target=\"_blank\" rel=\"noopener\">documentation page<\/a>!)<\/li>\n<li><a href=\"https:\/\/github.com\/potassco\/guide\/releases\/\" target=\"_blank\" rel=\"noopener\">Potassco User Guide<\/a><\/li>\n<li>Book\u00a0<a href=\"https:\/\/potassco.org\/book\/\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice<\/a>\u00a0(2012)<\/li>\n<li><a href=\"https:\/\/www.springer.com\/gp\/book\/9783030246570\" target=\"_blank\" rel=\"noopener\">Book by Vladimir Lifschitz<\/a>\u00a0(2019)<\/li>\n<\/ul>\n<h4>ASP Course<\/h4>\n<p>An excellent course on ASP by the experts, entitled \u00ab\u00a0Answer Set Solving in Practice,\u00a0\u00bb is available at the\u00a0<a href=\"https:\/\/potassco.org\/\" target=\"_blank\" rel=\"noopener\">Potassco web site<\/a>.<\/p>\n<ul>\n<li><a href=\"https:\/\/teaching.potassco.org\/\" target=\"_blank\" rel=\"noopener\">Welcome page<\/a>\u00a0of the course<\/li>\n<li>Playlists by Torsten Schaub on\u00a0<a href=\"https:\/\/www.youtube.com\/channel\/UCnvoHDf9RqBJxKPSGdToLzA\/feed\" target=\"_blank\" rel=\"noopener\">Potassco Youtube channel<\/a>\n<ol>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=wDbXSEjcoKo&amp;list=PL7DBaibuDD9P6BVlYnEZzBQUABSdvyuCH\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (organization; 14 min.)<\/a><\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=_nOPF6eaMeQ&amp;list=PL7DBaibuDD9NrGgRqhS9GXnHjIF12x4AF\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (motivation; 72 min.)<\/a><\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=_9dlDE1OsQA&amp;list=PL7DBaibuDD9NWhREiceTokOiY-S3nertB\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (introduction; 170 min.)<\/a><\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=xuNQF04tqD0&amp;list=PL7DBaibuDD9MUeCOgW6j1N3hxhMOEi002\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (modeling; 106 min.)<\/a><\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=mhUJnWd3qOU&amp;list=PL7DBaibuDD9PeXzX7mExyVADcMU9b8eJ1\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (language; 128 min.)<\/a><\/li>\n<li><a href=\"https:\/\/www.youtube.com\/watch?v=KWx6VDmLdFY&amp;list=PL7DBaibuDD9PRJitHc-lVwLNI2nlMEsSU\" target=\"_blank\" rel=\"noopener\">Answer Set Solving in Practice (grounding; 119 min.)<\/a><\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<h3>I.B Putting into Practice (PiP)<\/h3>\n<ul>\n<li>PiP 1 available in Moodle on February 10, 2025 (due on February 24, 2025)<\/li>\n<li>PiP 2 available in Moodle on February 17, 2025 (due on March 3, 2025)<\/li>\n<li>PiP 3 available in Moodle on March 3, 2025 (due on March 23, 2025)<\/li>\n<\/ul>\n<h3>I.C Project<\/h3>\n<p>The project consists in\u00a0<i>(i)<\/i>\u00a0realizing an ASP implementation, and\u00a0<i>(ii)<\/i>\u00a0running experiments for the problem to be announced.<\/p>\n<h2>Part II: Web Data Management<\/h2>\n<h3>II.A Theory<\/h3>\n<p>The second part of the course covers aspects of Web Data Semantics and Integration. Course material is available at the following URLs.<\/p>\n<ul>\n<li>Part II of the book\u00a0<a href=\"http:\/\/webdam.inria.fr\/Jorge\/\" target=\"_blank\" rel=\"noopener\">Web Data Management<\/a><\/li>\n<\/ul>\n<h3>II.B Putting into Practice<\/h3>\n","protected":false},"excerpt":{"rendered":"<p>Read the\u00a0course schedule &nbsp; Slides\u00a0of first session. Part I: Answer Set Programming I.A Theory The first part of the course covers the logic programming paradigm known as Answer Set Programming (ASP). Books and Articles My own slides\u00a0on ASP. Answer Set Programming: A Primer Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:\u00a0Answer set programming at a glance.\u00a0Commun. ACM [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":11,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-71","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d&#039;Information<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d&#039;Information\" \/>\n<meta property=\"og:description\" content=\"Read the\u00a0course schedule &nbsp; Slides\u00a0of first session. Part I: Answer Set Programming I.A Theory The first part of the course covers the logic programming paradigm known as Answer Set Programming (ASP). Books and Articles My own slides\u00a0on ASP. Answer Set Programming: A Primer Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:\u00a0Answer set programming at a glance.\u00a0Commun. ACM [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Syst\u00e8mes d&#039;Information\" \/>\n<meta property=\"article:modified_time\" content=\"2026-02-18T14:35:29+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/\",\"url\":\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/\",\"name\":\"Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d'Information\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/sinf\/#website\"},\"datePublished\":\"2024-06-14T09:23:39+00:00\",\"dateModified\":\"2026-02-18T14:35:29+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/sinf\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Activit\u00e9s d&rsquo;enseignement\",\"item\":\"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Knowledge Representation and Reasoning\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/sinf\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/sinf\/\",\"name\":\"Service \/ FS - Syst\u00e8mes d'Information\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/sinf\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d'Information","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/","og_locale":"fr_FR","og_type":"article","og_title":"Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d'Information","og_description":"Read the\u00a0course schedule &nbsp; Slides\u00a0of first session. Part I: Answer Set Programming I.A Theory The first part of the course covers the logic programming paradigm known as Answer Set Programming (ASP). Books and Articles My own slides\u00a0on ASP. Answer Set Programming: A Primer Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski:\u00a0Answer set programming at a glance.\u00a0Commun. ACM [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/","og_site_name":"Service \/ FS - Syst\u00e8mes d'Information","article_modified_time":"2026-02-18T14:35:29+00:00","twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/","url":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/","name":"Knowledge Representation and Reasoning - Service \/ FS - Syst\u00e8mes d'Information","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/sinf\/#website"},"datePublished":"2024-06-14T09:23:39+00:00","dateModified":"2026-02-18T14:35:29+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/knowledge-representation-and-reasoning\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/sinf\/"},{"@type":"ListItem","position":2,"name":"Activit\u00e9s d&rsquo;enseignement","item":"https:\/\/web.umons.ac.be\/sinf\/activites-denseignement\/"},{"@type":"ListItem","position":3,"name":"Knowledge Representation and Reasoning"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/sinf\/#website","url":"https:\/\/web.umons.ac.be\/sinf\/","name":"Service \/ FS - Syst\u00e8mes d'Information","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/sinf\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"fr","translations":{"fr":71},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/pages\/71","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/comments?post=71"}],"version-history":[{"count":3,"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/pages\/71\/revisions"}],"predecessor-version":[{"id":430,"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/pages\/71\/revisions\/430"}],"up":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/pages\/11"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/sinf\/wp-json\/wp\/v2\/media?parent=71"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}