Computational logic and automated reasoning form the foundation for systems that can make rigorous logical inferences, prove theorems, and reason about complex domains with mathematical precision. At VRAIN, our research in this area emphasizes computational argumentation, knowledge representation, and automated decision support systems.

We develop argumentation frameworks that enable AI systems to construct, analyze, and evaluate arguments—facilitating rational decision-making in contexts where multiple perspectives or conflicting information must be reconciled. Our work also includes argument mining techniques that automatically extract argumentative structures from natural language text, enabling applications in legal reasoning, policy analysis, and intelligent debate systems. We have developed knowledge representation systems like G-MAC that support complex reasoning tasks, as well as computational argumentation and argument mining services that help organizations make well-founded decisions in uncertain environments.

These technologies are essential for building explainable AI systems that can justify their conclusions, expert systems that capture and apply specialized knowledge, and decision support tools that help humans make well-reasoned choices in complex scenarios.