Registration summary
ConferenceICLAIML
ModeStandard / Physical
ParticipationListener
Registration fee$135.00
Bank charges (5.8%)$7.83
Total payable$142.83
Includes all bank processing charges — the amount above is exactly what will be charged.
Benefits of Registering as Listener
Access to Conference Sessions
Networking Opportunities
Certificate of Participation
Invitation Letter Support
Conference Kit / Materials
Access to Keynote Sessions
• Conference Session Tracks •
SDG-Aligned Research Themes
ICLAIML conference tracks support global knowledge exchange, innovation, and sustainable development priorities across diverse disciplines.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
