At VRAIN, research in computational logic and automated reasoning addresses argumentation frameworks, knowledge representation, and automated decision support, with emphasis on systems that construct and evaluate arguments in contexts involving conflicting or uncertain information.

Work in this area includes argumentation frameworks for multi-perspective or conflicting-information scenarios, and argument mining techniques that extract argumentative structures from natural language text, with applications in legal reasoning and policy analysis. The G-MAC system supports knowledge representation and complex reasoning tasks. Computational argumentation and argument mining services are also available for organisations requiring structured decision support.

Applications include explainable AI systems with traceable justifications, expert systems for specialised knowledge domains, and decision support tools for complex or high-stakes scenarios.