At VRAIN, research in computational logic and automated reasoning addresses argumentation frameworks 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, including domains such as legal reasoning and policy analysis.
 
Applications include logic-based explainable AI systems, and decision support tools for complex or high-stakes scenarios in domains such as healthcare and legal analysis.

Related Technological Offer

Services

    • Reasoning — Computational argumentation and argument mining services.