Torsten Schaub is a Professor at the Institute of Computer Science , University of Potsdam. His research focuses on Answer Set Programming (ASP) , constraint solving, temporal reasoning, and combinatorial optimization, with applications in multi-agent pathfinding, product configuration, and course timetabling. Key contributions include ASP-based tools for industrial-scale optimization problems, metric temporal logic implementations, and frameworks for dynamic equilibrium logic. Recent work explores efficient design space exploration, stream reasoning, and multi-shot ASP solving for complex domains. His publications emphasize hybrid ASP systems , integrating constraints and temporal logic, with co-authors across Europe and Asia. He actively develops tools like clingo and Clingraph for practical ASP applications in logistics, bioinformatics, and robotics. The articles reveal a trend toward multi-agent systems (e.g., pathfinding algorithms) and temporal extensions in ASP, combining formal logic with real-world problem-solving. Sub-fields include constraint satisfaction, logical abduction, and declarative modeling for optimization tasks.
Dr. Carl Corea is a postdoctoral researcher at the University of Koblenz-Landau, Germany, affiliated with the Process Science Group within the Department of Computer Science. He holds a PhD in Computer Science (with distinction, 2020) and has served in roles such as Acting Professor of Business Information Systems (2023/24) at Justus Liebig University Giessen and Visiting Researcher at SAP Signavio. His research bridges business informatics and theoretical computer science, focusing on process mining, declarative process specifications, and decision modeling (DMN). He actively contributes to academic leadership roles, including memberships on doctoral committees, examination boards, and interdisciplinary research centers at the University of Koblenz. Corea's research interests include business process management, artificial intelligence applications in processes, and inconsistency measurement in business rules and process models. He has delivered courses on AI in Accounting, Project Management, and Business Process Management at multiple institutions. His work has been recognized with awards such as the Best Paper Award at WI 2019 and the Debeka Innovationspreis for research projects like 'Predictive Process Monitoring'. He serves on the program committees of major conferences in AI and business process management, including KR, AAAI, BPM, and ECAI. His publications span topics like declarative process modeling, DMN verification, and carbon-aware process execution. Corea also chairs Minitracks at events like HICSS and oversees conference organization for tracks such as Business Process Technology. Education: PhD in Computer Science (2020, with distinction) Awards: Multiple research and teaching awards, including nominations for early-career recognition Administration: Member of doctoral committees, academic boards, and interdisciplinary research centers Grants: DAAD Fellowship for international conference participation (2020)
Mario Alviano is a Professor at the University of Calabria's Department of Computer Engineering, Modeling, Electronics and Systems (DIMES) in Rende, Italy. With a prolific publication record spanning from 2008 to 2025, he has established himself as a leading researcher in Answer Set Programming (ASP), logic programming, and knowledge representation. His work bridges theoretical foundations with practical applications across diverse domains including cybersecurity, environmental monitoring, and explainable AI. Alviano's research focuses on advancing the theoretical understanding and practical applications of Answer Set Programming. His key contributions include developing ASP Chef, a visualization and development framework for ASP; advancing theoretical foundations of conditional reasoning and typicality in weighted knowledge bases; and creating bridges between neural networks and symbolic AI through preferential interpretations. His recent work explores temporal extensions to conditional logics, applications of ASP to digital twin visualization, and tools for improving explainability in AI systems. Alviano's publications consistently appear in top-tier venues including ICLP, LPNMR, JELIA, and Theory and Practice of Logic Programming. His research demonstrates strong trends toward practical applications of theoretical advances, with increasing focus on explainability, visualization, and real-world problem solving. The recent surge in publications (26 in 2024 alone) indicates significant ongoing research activity and leadership in the field. His work increasingly integrates ASP with other AI paradigms, particularly neural networks, to create more interpretable and robust AI systems. Alviano has made substantial contributions to the development of tools and frameworks that lower barriers to entry for ASP, most notably ASP Chef which provides visualization capabilities for complex logic programs. His work on Hashcash Tree demonstrates applications to security problems, while his research on marketplace logistics shows practical business applications of declarative programming. His collaborative network is extensive, with frequent co-authorship with researchers including Wolfgang Faber, Nicola Leone, Francesco Ricca, Carmine Dodaro, Laura Giordano, and Daniele Theseider Dupré, reflecting strong connections across European AI research institutions. Alviano has also organized workshops including multiple editions of Datalog 2.0, demonstrating leadership in the logic programming community.
Dr. Yuliya Lierler is a Professor in the Department of Computer Science at the University of Nebraska Omaha's College of Information Science & Technology. She has been a faculty member since 2012, reaching the rank of full professor, and was appointed to the Cheryl Prewett Diamond Professorship in 2020. Her work focuses on artificial intelligence, particularly in knowledge representation, automated reasoning, and declarative problem solving. PhD in Computer Science (University of Texas at Austin, 2010) Dr. Lierler's research bridges logic programming with practical AI applications, including natural language understanding, constraint satisfaction, and SMT-based solvers. She is a co-director of the NLPKR lab and has authored over 70 peer-reviewed publications in venues like Artificial Intelligence Journal and AAAI. Her contributions include open-access textbooks and tools like text2alm for semantic information extraction. Her recent publications explore advancements in answer set programming (ASP) semantics, automated reasoning frameworks, and hybrid knowledge representation systems. She has served as program co-chair for major conferences like ICLP (2022) and PADL (2017), and received awards such as the IS&T Outstanding Research Award (2024). Dr. Lierler also mentors students and leads initiatives in teaching innovation through online education and professional development programs. Mentor of the Year Award, Aksarben Foundation (2025) IS&T Outstanding Research and Creativity Award (2024) Best Student Paper Award (with Amelia Harrison, 2016) Dr. Lierler contributes to academic service through leadership roles in international conferences and program committees. Her lab, NLPKR, focuses on integrating natural language processing with formal logic, while her teaching emphasizes formal methods and AI foundations.
Dr. Sarah Alice Gaggl is a Researcher at the International Center for Computational Logic (ICCL) within the Technische Universität Dresden , where she has served as Group Leader for Logical Programming and Argumentation since October 2020. She also leads the BMBF-funded project NAVAS - Navigation in the Solution Space of Answer Sets and was a Principal Investigator in the Collaborative Research Center 248 (CPEC) from 2019 to 2022. Her research centers on Abstract Argumentation , Answer Set Programming (ASP) , and Knowledge Representation . Doctorate in Computer Science, Vienna University of Technology, March 2013 Her work bridges Answer Set Programming with practical applications in Knowledge Representation and Nonmonotonic Reasoning , focusing on navigation in plan spaces, efficient algorithms for ASP, and multi-criteria answer set selection. She has supervised numerous theses on topics like Multi-Shot ASP , Abstract Argumentation Frameworks , and Reinforcement Learning in game environments. Recent publications highlight trends in Answer Set Navigation (e.g., PlanPilot , IASCAR ), Algorithm Refinement (e.g., Winning Snake ), and Rule-Based Argumentation (e.g., Grounding Rule-Based Argumentation ). Her contributions span Computational Logic , Automated Reasoning , and Software Systems . She has held editorial and organizational roles for journals and conferences, including the Argument & Computation journal, KR , IJCAI , and ICLP . Dr. Gaggl leads the Logical Programming and Argumentation group and has been affiliated with the Computational Logic Group at TU Dresden since 2013. Her teaching includes courses like Theoretical Computer Science & Logic and Advanced Problem Solving .
Carmine Dodaro is an active researcher in Answer Set Programming (ASP) at the University of Calabria's Department of Mathematics and Computer Science. With over 130 publications from 2011-2025, his work bridges theoretical advances in logic programming with practical healthcare applications. His primary research interests include: Answer Set Programming theory and implementation Compiler techniques for ASP solvers Healthcare scheduling optimization (operating rooms, nurse staffing, chemotherapy) Integration of ASP with other AI paradigms Real-world constraint satisfaction problems Dodaro's recent work demonstrates exceptional focus on healthcare applications of ASP, with multiple 2023-2024 publications addressing nurse scheduling, operating room management, rehabilitation planning, and nuclear medicine scheduling. His approach typically involves developing specialized ASP encodings that handle complex real-world constraints while maintaining computational efficiency. He maintains a highly productive collaboration network, particularly with Marco Maratea (52 co-authored papers), Mario Alviano (40), and Giuseppe Galatà (23), forming one of Italy's leading ASP research groups. His publications appear consistently in top venues including Theory and Practice of Logic Programming, IJCAI, AAAI, and specialized logic programming conferences. Dodaro has contributed significantly to both theoretical foundations (unsatisfiable core analysis, paracoherent reasoning) and practical implementations (WASP solver extensions, CNL2ASP translation tools). His 2024-2025 publications indicate ongoing research momentum with no signs of reduced activity.
