{"id":4702,"date":"2024-12-19T04:04:26","date_gmt":"2024-12-19T04:04:26","guid":{"rendered":"https:\/\/science.sjp.ac.lk\/mat\/?page_id=4702"},"modified":"2024-12-19T04:04:58","modified_gmt":"2024-12-19T04:04:58","slug":"mat-358-2-0-an-introduction-to-answer-set-prolog","status":"publish","type":"page","link":"https:\/\/science.sjp.ac.lk\/mat\/mat-358-2-0-an-introduction-to-answer-set-prolog\/","title":{"rendered":"MAT 358 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:\u00a0\u00a0<\/strong>MAT 358 2.0 An Introduction to Answer Set Prolog (Optional)<\/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>Recommend 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\n\n<li>M. Gelfond: Representing Knowledge in A-Prolog &#8211; Volume 2408 of Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pages 413-451, 2002<\/li>\n\n\n<li>M. Gelfond, M. Balduccini, J. Galloway: Diagnosing Physical Systems in A-Prolog &#8211; Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 213-225, Sep. 2001<\/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:\u00a0\u00a0MAT 358 2.0 An Introduction to Answer Set Prolog (Optional) 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. Recommend 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\/4702"}],"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=4702"}],"version-history":[{"count":2,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages\/4702\/revisions"}],"predecessor-version":[{"id":4706,"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/pages\/4702\/revisions\/4706"}],"wp:attachment":[{"href":"https:\/\/science.sjp.ac.lk\/mat\/wp-json\/wp\/v2\/media?parent=4702"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}