Session Tracksหัวข้อหลักของการประชุม

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.