Showing papers by "Alexander Artikis published in 2007"

TL;DR: A specification, in the action language C+, of Brewka's reconstruction of a theory of formal disputation originally proposed by Rescher is presented, focusing on the procedural aspects rather than the adequacy of this particular protocol for the conduct of debate and the resolution of disputes.