An official invitation letter will be provided upon successful registration for your participation in the conference.
학술대회 참가 등록이 정상적으로 완료되면 공식 초청장이 발급됩니다.
Plenary, keynote and parallel sessions.
전체회의, 기조연설 및 분과 세션.
Connect with fellow researchers.
동료 연구자들과의 교류.
Digital certificate of participation.
디지털 참가 증명서 발급.
Official letter after successful registration.
등록 완료 후 공식 초청장 발급.
E-proceedings & resource materials.
전자 논문집 및 참고 자료.
Learn from leading experts & scholars.
저명한 전문가 및 학자들의 강연.
The conference's session tracks effectively support the following SDGs.
본 학술대회의 세션 트랙은 다음의 지속가능발전목표를 효과적으로 지원합니다.
This track focuses on the latest developments in abductive and inductive reasoning within artificial intelligence. Researchers are invited to present novel approaches and applications that enhance reasoning capabilities in AI systems.
This session will explore the theoretical foundations and practical applications of answer set programming in AI. Contributions that demonstrate innovative uses of this logic programming paradigm are highly encouraged.
This track addresses the role of argumentation systems in artificial intelligence, emphasizing their design and implementation. Papers that investigate the integration of argumentation with other AI methodologies are particularly welcome.
This session will cover advancements in automated reasoning techniques, including satisfiability checking and its extensions. Contributions that highlight new algorithms or applications in this area are sought.
This track invites discussions on the computational complexity and expressiveness of various logical systems used in AI. Papers that analyze the trade-offs between expressiveness and computational efficiency are encouraged.
This session will focus on the application of deontic logic in modeling normative systems within AI. Researchers are invited to present work that explores ethical reasoning and decision-making frameworks.
This track aims to explore the intersection of description logics and semantic web technologies. Contributions that showcase innovative applications or theoretical advancements in this domain are welcome.
This session will delve into various knowledge representation and reasoning techniques in AI. Papers that propose new models or frameworks for effective knowledge management are encouraged.
This track focuses on logic-based approaches to data access and integration in AI systems. Contributions that address challenges in data interoperability and semantic integration are particularly welcome.
This session will explore the role of logics in managing uncertainty and probabilistic reasoning in AI. Researchers are invited to present innovative frameworks that enhance decision-making under uncertainty.
This track addresses the application of non-classical logics, such as modal and temporal logics, in artificial intelligence. Contributions that explore their use in complex reasoning tasks are encouraged.