Inference Operators for Argumentation Formalisms – The Case of Dung-style Frameworks
Type
Publication
23rd International Workshop on Non-Monotonic Reasoning (NMR 2025)
Leon van der Torre
Professor of Artificial Intelligence and Computer Science
Leon van der Torre is a full professor of artificial intelligence and computer science at the University of Luxembourg. He has been working on deontic logic and its applications for nearly three decades. He is one of the founding fathers of input-output logic, the BOID architecture, the game-theoretic approach to normative multiagent systems, and the LogiKEy methodology.