{"id":688,"date":"2015-08-07T21:15:57","date_gmt":"2015-08-07T21:15:57","guid":{"rendered":"https:\/\/www.w3.org\/community\/argumentation\/?p=688"},"modified":"2016-01-28T14:39:19","modified_gmt":"2016-01-28T14:39:19","slug":"software-analysis-automated-theorem-proving-plan-and-argument-analysis","status":"publish","type":"post","link":"https:\/\/www.w3.org\/community\/argumentation\/2015\/08\/07\/software-analysis-automated-theorem-proving-plan-and-argument-analysis\/","title":{"rendered":"Software Analysis, Automated Theorem Proving, Plan and Argument Analysis"},"content":{"rendered":"

The technology of static program analysis<\/a>, automated theorem proving<\/a>, computer algebra systems<\/a>, formula editors<\/a>, automated planning and scheduling<\/a>, plan rationale<\/a>, argumentation software<\/a>, argument analysis software,\u00a0related document authoring and editing software as well as the features and\u00a0ergonomics of such software are of interest to our group.<\/p>\n

Towards software or software plugins that can provide argumentation-related features, broadly, some links are provided including to web-based mathematics and planning domain authoring and editing software.<\/p>\n

See Also<\/b><\/p>\n

Static Program Analysis<\/a>, Automated Theorem Proving<\/a>, Computer Algebra System<\/a>,
\nFormula Editor<\/a>, Automated Planning and Scheduling<\/a>, Planning Domain Definition Language<\/a>, Argument Map<\/a><\/p>\n

Hyperlinks<\/b><\/p>\n

Static Program Analysis<\/b>
\nList of Tools for Static Code Analysis<\/a><\/p>\n

Automated Theorem Proving<\/b>
\nList of Theorem Provers and Proof Assistants<\/a><\/p>\n

Computer Algebra Systems<\/b>
\nList of Computer Algebra Systems<\/a><\/p>\n

Mathematics Document Editing Software<\/b>
\nWebLurch<\/a>, Lurch<\/a> (Video<\/a>)<\/p>\n

Automated Planning and Scheduling Software<\/b>
\nPlanning and Scheduling<\/a><\/p>\n

Planning Domain Document Editing Software<\/b>
\nPDDL Studio<\/a>, myPDDL<\/a>, Planning.Domains<\/a> (Editor.Planning.Domains<\/a>)<\/p>\n

Argument Analysis Software<\/b>
\nList of Argument Mapping Software<\/a>, Web-based Collaboration Software<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

The technology of static program analysis, automated theorem proving, computer algebra systems, formula editors, automated planning and scheduling, plan rationale, argumentation software, argument analysis software,\u00a0related document authoring and editing software as well as the features and\u00a0ergonomics of such software are … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1959,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_s2mail":"no","footnotes":""},"categories":[5,58],"tags":[],"class_list":["post-688","post","type-post","status-publish","format-standard","hentry","category-argumentation","category-web"],"_links":{"self":[{"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/posts\/688","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/users\/1959"}],"replies":[{"embeddable":true,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/comments?post=688"}],"version-history":[{"count":19,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/posts\/688\/revisions"}],"predecessor-version":[{"id":861,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/posts\/688\/revisions\/861"}],"wp:attachment":[{"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/media?parent=688"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/categories?post=688"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.w3.org\/community\/argumentation\/wp-json\/wp\/v2\/tags?post=688"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}