Important Dates
Early Bird Registration :15th May 2027
Paper Submission Deadline :20th May 2027
Last Date of Registration : 30th May 2027
Date of Conference : 14th - 15th 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
SDG 17 — Partnerships for the Goals
Track 01
Abductive and Inductive Reasoning in AI
This track focuses on the application of abductive and inductive reasoning techniques in artificial intelligence. It aims to explore innovative methods and frameworks that enhance reasoning capabilities in AI systems.
Track 02
Answer Set Programming and Its Applications
This session will delve into answer set programming as a powerful tool for knowledge representation and reasoning. Participants are encouraged to present novel applications and theoretical advancements in this area.
Track 03
Argumentation Systems in AI
This track examines the role of argumentation systems in artificial intelligence, emphasizing their use in decision-making and conflict resolution. Contributions that showcase practical implementations and theoretical insights are welcome.
Track 04
Automated Reasoning and Satisfiability Checking
Focusing on automated reasoning, this session will cover advancements in satisfiability checking and its extensions. Researchers are invited to discuss new algorithms, tools, and applications in this rapidly evolving field.
Track 05
Computational Complexity and Expressiveness of Logics
This track will explore the computational complexity and expressiveness of various logical systems used in AI. Papers addressing theoretical foundations and practical implications are encouraged.
Track 06
Deontic Logic and Normative Systems
This session will investigate the integration of deontic logic in AI, particularly in modeling normative systems. Contributions that address ethical considerations and compliance in AI applications are particularly relevant.
Track 07
Description Logics and Semantic Web Technologies
This track focuses on description logics and their applications in the semantic web and ontology development. Participants are invited to share insights on enhancing data interoperability and knowledge sharing.
Track 08
Logic-Based Data Access and Integration
This session will explore methodologies for logic-based data access and integration in AI systems. Papers that propose innovative solutions for data interoperability challenges are highly encouraged.
Track 09
Logics for Uncertain and Probabilistic Reasoning
This track addresses the use of logics designed for uncertain and probabilistic reasoning in AI applications. Contributions that bridge theoretical advancements with practical applications are sought.
Track 10
Logics in Machine Learning
This session will explore the intersection of logic and machine learning, focusing on how logical frameworks can enhance learning algorithms. Researchers are invited to present novel approaches and case studies.
Track 11
Non-Classical Logics in Multi-Agent Systems
This track will investigate the application of non-classical logics, such as modal and temporal logics, in multi-agent systems. Contributions that highlight their role in improving agent communication and coordination are welcome.