{"id":4846,"date":"2024-12-19T06:05:18","date_gmt":"2024-12-19T06:05:18","guid":{"rendered":"https:\/\/science.sjp.ac.lk\/mat\/?page_id=4846"},"modified":"2024-12-19T06:05:50","modified_gmt":"2024-12-19T06:05:50","slug":"amt-457-2-0-an-introduction-to-answer-set-prolog","status":"publish","type":"page","link":"https:\/\/science.sjp.ac.lk\/mat\/amt-457-2-0-an-introduction-to-answer-set-prolog\/","title":{"rendered":"AMT 457 2.0 An Introduction to Answer Set Prolog"},"content":{"rendered":"<section class=\"wpb-content-wrapper\"><p>[vc_row][vc_column][vc_column_text]<\/p>\n<p><strong>Course:\u00a0AMT 457 2.0 An Introduction to Answer Set Prolog<\/strong>\u00a0<strong>(Compulsory)<\/strong><\/p>\n\n<p><strong>Course content:<\/strong><\/p>\n\n<p style=\"text-align: justify;\">Syntax &amp; Semantics of Answer Set Prolog; Modeling Common Sense Reasoning; Answer Set Programming; ASP Reasoning Methods; Modeling Dynamic Domains; Planning and Diagnostics; ASP Solvers Clingo and Dlv; Introduction to SPARC.<\/p>\n\n<p><strong>Recommended Readings:<\/strong><\/p>\n\n\n<ol type=\"1\">\n<li style=\"list-style-type: none;\">\n<ol type=\"1\"><\/p>\n<li>Gelfond M., Kahl Y. &#8211; Knowledge Representation, Reasoning, and the Design of Intelligent Agents- The Answer-Set Programming Approach<\/li>\n\n\n<li>M. Balduccini and M. Gelfond: Diagnostic Reasoning with A-Prolog &#8211; Theory and Practice of Logic Programming, 3(4-5):425-461, Jul. 2003<\/li>\n\n\n<li>M. Gelfond and N. Leone: Logic Programming and Knowledge Representation \u2013 A-Prolog Perspective &#8211; Artificial Intelligence, 2002<\/li>\n<\/ol>\n<\/li>\n<\/ol>\n\n\n<p>&nbsp;<\/p>\n<p>[\/vc_column_text][\/vc_column][\/vc_row]<\/p>\n<\/section>","protected":false},"excerpt":{"rendered":"<p>[vc_row][vc_column][vc_column_text] Course:\u00a0AMT 457 2.0 An Introduction to Answer Set Prolog\u00a0(Compulsory) Course content: Syntax &amp; Semantics of Answer Set Prolog; Modeling Common Sense Reasoning; Answer Set Programming; ASP Reasoning Methods; Modeling Dynamic Domains; Planning and Diagnostics; ASP Solvers Clingo and Dlv; Introduction to SPARC. Recommended Readings: &nbsp; [\/vc_column_text][\/vc_column][\/vc_row]<\/p>\n","protected":false},"author":33,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_ti_tpc_template_sync":false,"_ti_tpc_template_id":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages\/4846"}],"collection":[{"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/users\/33"}],"replies":[{"embeddable":true,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/comments?post=4846"}],"version-history":[{"count":2,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages\/4846\/revisions"}],"predecessor-version":[{"id":4849,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages\/4846\/revisions\/4849"}],"wp:attachment":[{"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/media?parent=4846"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}