The sixth International Conference on Artificial Intelligence Logic and Applications (AILA 2027) will be held in Belfast, UK, from 8^th to 10^th of April 2027. The local organizers are Queen’s University Belfast (https://www.qub.ac.uk) and Ulster University (https://www.ulster.ac.uk), UK.

Aims and Mission

AILA aims to advance the foundations, methods and applications of logic in artificial intelligence. It promotes the integration of logic with contemporary AI as a pathway towards more reliable, interpretable, accountable and trustworthy intelligent systems, particularly at a time when AI is increasingly expected to reason, explain, verify and act responsibly in complex real-world environments.

Scope and Topics

AILA welcomes original contributions on the theory, methods and applications of logic in artificial intelligence, as well as work exploring the integration of logic with machine learning, large language models and data-driven AI. Topics of interest include, but are not limited to:

· Belief, deontic, epistemic, default, description, modal and dynamic logics

· Non-monotonic, non-classical, probabilistic and fuzzy logics

· Separation logic, spatial logic and temporal logic

· Automated reasoning, logical reasoning in large language models, monotonic reasoning and circular reasoning

· Approximate reasoning, fuzzy reasoning, granular computing and soft computing

· Logic programming and logic-based approaches to decision-making, image processing and data intelligence

· Knowledge graphs, knowledge representation, reasoning and related themes

· Neuro-symbolic AI, explainable AI, trustworthy AI and logic-informed AI systems

· Logic-based modelling, verification, safety, accountability and governance of AI systems

· Applications of logic-based AI in areas such as decision support, fraud detection, cybernetics, precision medicine, intelligent systems and many more

Submission and Publication

Further information will be made available through the AILA conference website: http://ailasym.com/index.html. Important dates, including the submission deadline and notification date, will be announced in due course. The EasyChair submission page is available at: https://easychair.org/my/conference?conf=aila2027.