Hybrid Conferencee

International Conference on Logics in Artificial Intelligence, Reasoning and Compilation (ICLAIRC - 27)

6th - 7th April 2027 | Meknes, Morocco
Sample Abstract
Download
Conference Brochure
Sample Full Paper
Download
Expand the Academic Reach of Your Research - a Q1-ranked and Scopus-indexed journal publication opportunity

Journal consideration and publication are subject to editorial review, peer review and applicable journal policies.

Conference Notifications:

"Be sure to check this section regularly for all Research Plus International Conference updates. We’ll keep you informed about deadlines, event details, and more important notifications."

Call for Papers Extended:
"The deadline for full paper submissions has been extended for the Research Plus International Conference in Meknes. Submit your research by today to participate in one of the top conferences."
Certificate of Presentation:
"Present your research and receive a Certificate of Presentation to recognise your valuable contribution to the conference."
Abstract Submissions Open:
"Abstract submissions for the Meknes event are now open! Don’t miss the chance to present your research. Submit now."
Networking with Global Experts:
"Engage with researchers and professionals from around the world at the Meknes conference. Build collaborations and gain insights from leading experts."
Keynote Speaker Sessions:
"Don’t miss our Keynote Sessions in Meknes, featuring global leaders and innovators sharing their knowledge."
Best Paper & Best Paper Presentation Award:
"Submit your paper and stand a chance to win the Best Paper Presentation Award. The winner will be recognized at the conference in Meknes."
SDG-Inspired Conference Focus:
"Our conference will highlight research that addresses global sustainability, inclusive education, and solutions for environmental challenges."

Conference Session Tracks

SDG Wheel

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.

SDG 4
SDG 4 Quality Education
SDG 9
SDG 9 Industry, Innovation and Infrastructure
SDG 16
SDG 16 Peace, Justice and Strong Institutions
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.