Important Dates
Early Bird Registration :5th May 2027
Paper Submission Deadline :10th May 2027
Last Date of Registration : 20th May 2027
Date of Conference : 4th - 5th June 2027
Conference Session Tracks
Aligned with
UN Sustainable Development Goals
This conference contributes to global sustainability by aligning its research discussions and academic sessions with key United Nations Sustainable Development Goals.
SDG 4 — Quality Education
SDG 9 — Industry, Innovation and Infrastructure
SDG 16 — Peace, Justice and Strong Institutions
Track 01
Abductive and Inductive Reasoning in AI
This track focuses on the application of abductive and inductive reasoning techniques within artificial intelligence systems. Participants will explore methodologies that enhance machine learning models through logical inference.
Track 02
Answer Set Programming and Its Applications
This session will delve into the principles and applications of answer set programming in solving complex problems. Researchers will present innovative uses of this declarative programming paradigm in AI.
Track 03
Argumentation Systems in AI
This track examines the role of argumentation systems in artificial intelligence, emphasizing their significance in decision-making processes. Contributions will highlight the integration of logical frameworks in argumentation theory.
Track 04
Automated Reasoning and Satisfiability Checking
This session addresses advancements in automated reasoning techniques, including satisfiability checking and its extensions. Participants will discuss the implications of these techniques for AI applications.
Track 05
Computational Complexity and Expressiveness in Logic
This track investigates the computational complexity associated with various logical systems and their expressiveness. Researchers will present findings that bridge theoretical insights with practical applications in AI.
Track 06
Deontic Logic and Normative Systems
This session focuses on deontic logic and its role in modeling normative systems within artificial intelligence. Discussions will include the implications of normative reasoning in ethical AI systems.
Track 07
Description Logics and Semantic Web
This track explores the intersection of description logics and the semantic web, emphasizing their contributions to knowledge representation. Participants will share insights on enhancing ontological frameworks through logical approaches.
Track 08
Knowledge Representation and Reasoning
This session is dedicated to the latest advancements in knowledge representation and reasoning techniques in AI. Contributions will highlight innovative methods for compiling and accessing knowledge bases.
Track 09
Logic Programming and Constraint Programming
This track examines the synergy between logic programming and constraint programming in solving computational problems. Researchers will discuss frameworks that leverage both paradigms for enhanced problem-solving.
Track 10
Logics for Uncertainty and Probabilistic Reasoning
This session focuses on the application of logics designed for uncertain and probabilistic reasoning in AI. Participants will present methodologies that address challenges in reasoning under uncertainty.
Track 11
Logics in Multi-Agent Systems and Social Choice
This track investigates the application of various logics in multi-agent systems, games, and social choice theory. Discussions will center on how logical frameworks can facilitate cooperation and decision-making among agents.