Aims and Scope

The rapid advances and widespread diffusion of AI systems today create new challenges for logics and systems of formal reasoning. Besides its traditional role as a vehicle for knowledge representation and reasoning in symbolic AI, logic should also play a pivotal role in furthering responsible and trustworthy AI through its capacity to reason about intelligent systems, analyse their behaviour and provide explanations for the results obtained and decisions and actions taken by such systems. If logic is to help make AI more accountable, logic itself needs to be accountable. It should therefore be susceptible to critical examination and evaluation of its adequacy for the objectives which its designers and users have set it. Following a previous workshop ACLAI22 (https://www.dc.fi.udc.es/~cabalar/ACLAI22/) held in Madrid, ACLAI23 will be devoted to challenges and adequacy conditions for logics in light of their important role in contributing to accountable AI. The workshop will host a range of talks and discussions that include technical work on current systems of logic for AI as well as philosophical reflections on logical methodology, besides examining external desiderata for logics that arise for instance from legal or ethical requirements for AI systems. 

Submission Guidelines

We invite abstracts of 2-5 pages (plus references) on topics related to adequacy conditions and challenges for logics in artificial intelligence, to be submitted to EasyChair. Contributions may include position papers, recent research, as well as relevant work previously presented or published.

List of Topics (not exhaustive)

• answer set prgramming
• argumentation frameworks
• description logics
• epistemic logics
• temporal and deontic logics
• methodologies supporting sound design of logics in KR
• formal reasoning in light of legal and ethical requirements for AI
• formal reasoning to support explanatory AI
• nonmonotonic logics
• philosophical and epistemological foundations of applied logics
• probabilistic reasoning combined with logic
• logical reasoning combined with learning

Committees

Programme Committee

• tba

Organizing committee

• Pedro Cabalar
• Claudia Fernández
• Nicolas Madrid
• David Pearce

Invited Speakers

• Esra Erdem
• Gabriele Kern-Isberner
• Leon van der Torre
• João Leite

Publication

Workshop proceedings will be informal. However, selected original research papers will be invited to publish in a special issue of the Journal of Applied Nonclassical Logics

Venue

Málaga, Spain

Contact

Questions about venue and registration should be submitted to Claudia Fernández <cffernandez@uma.es>. For more information on submissions and student grants please contact david.pearce@upm.es.

Sponsors:  BBVA Foundation, Association for Logic Programming, Asociación Española para la Inteligencia Artificial, Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España