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. Computational argumentation and argument mining services are also available for organisations requiring structured decision support.

 

Applications include logic-based explainable AI systems that produce human-interpretable justifications through formal inference chains, and decision support tools for complex or high-stakes scenarios in domains such as healthcare and legal analysis.