Consistent Academic Support
Science Net ensures that research activities continue without interruption in the current global situation. Participants can engage through digital and hybrid conference formats.
10% OFF
ON THE TOTAL FEEInput this Professional Credit at checkout for a max $30.00 offset.
FAST10
Conference Program
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. It fosters knowledge exchange, innovation, and collaborative engagement.
Why it matters
SDG 4 — Quality Education
SDG 7 — Affordable and Clean Energy
SDG 9 — Industry, Innovation and Infrastructure
SDG 16 — Peace, Justice and Strong Institutions
SDG 17 — Partnerships for the Goals
Explore
All Session Tracks
Track 01
Advancements in Abductive and Inductive Reasoning
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.
Track 02
Answer Set Programming and Its Applications
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.
Track 03
Argumentation Systems in AI
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.
Track 04
Automated Reasoning and Satisfiability Checking
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.
Track 05
Computational Complexity and Expressiveness in Logic
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.
Track 06
Deontic Logic and Normative Systems
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.
Track 07
Description Logics and Semantic Web Applications
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.
Track 08
Knowledge Representation and Reasoning Techniques
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.
Track 09
Logic-Based Data Access and Integration
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.
Track 10
Logics for Uncertainty and Probabilistic Reasoning
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.
Track 11
Non-Classical Logics in AI Applications
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.