Topological Inquiry in Abstract Model Theory. - Asterios Gkantzounis; Petros Stefaneas (WADT, 2024)

A collaborative argumentation framework for goal-oriented reasoning. - Sofia Almpani; Asterios Gkantzounis; Petros Stefaneas (Requir. Eng., 2026)