Learn More
This report was written in order to complete the requirements for my Master's degree, under supervision of prof. In this report, an introspective machine, capable to pass judgement on its own deductive performances, is modelled and analyzed. First, the class of ideal machines which is provided with unlimited resources is studied. Since ideal introspective(More)
Argumentation Markup Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user struc-turing of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument(More)
  • 1