Argumentation, automated reasoning, High-Expressivity Planner, Hybrid, Hybrid AI, Multi-Operator Logic, Uncertainty Multi-Operator Logic.
