Argument technology

study of how conclusions are reached through logical reasoning; one of four rhetorical modes

part of the ethics of artificial intelligence

software tool to assist with the development of formal proofs by human-machine collaboration

mathematical proof at least partially generated by computer

legal informatics concerned with the automation of legal reasoning

international technical standard for representing executive, legislative and judiciary documents in a structured manner

theory of text organization

Kialo is an online structured debate platform with argument maps in the form of debate trees. It is a collaborative reasoning tool for thoughtful discussion, understanding different points of view, and collaborative decision-making, showing arguments for and against claims underneath user-submitted theses or questions.