This paper explores the relationship between informal reasoning, creativity in mathematics,
and problem solving. It underscores the importance of environments that promote …

Proof requires a dialogue between agents to clarify obscure inference steps, fill gaps, or
reveal implicit assumptions in a purported proof. Hence, argumentation is an integral …

As automation in artificial inte a growing amount of ethical making raises novel challenges
will have to explore new ways on the development and formal ethical behaviour and …

As automation in robotics and artificial intelligence is increasing, we will need to automate a
growing amount of ethical decision making. However, ethical decision-making raises novel …

In this paper, we argue that argumentation theory can be used to explore certain aspects of
the development of discovery proof-events in time. Since argumentation is inseparable from …