Max Robotics — Global Service Robot Directory + US Certification

About

Emiliano Lorini is a leading researcher at the intersection of logic, multi-agent systems, and artificial intelligence, with a primary focus on epistemic logic, ethical planning, and spatial reasoning. His major contributions include developing PSPACE tableau-based decision procedures for multi-agent epistemic logics that distinguish explicit from implicit beliefs, a foundational advance for modeling knowledge in AI systems. In ethical planning, Lorini has pioneered logic-based frameworks that integrate classical planning with Linear Temporal Logic and lexicographically ordered value sets, enabling robots to reason about multiple ethical values over time. His work on dynamic logics for bidimensional space has opened new avenues for multi-agent planning and robotics by formalizing agents' positions and motion. With over 20 citations across his most influential papers, Lorini's research has shaped how autonomous systems anticipate outcomes and make ethically informed decisions. Notably, his 2023 papers on ethical planning represent cutting-edge efforts to imbue AI with moral reasoning capabilities, bridging formal logic and practical robotics.