[PlanetKR] CfP: Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023) Submission: May 27 2023

[Beishui Liao]

CALL FOR PAPERS

 

Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023)

Hangzhou, China

 

ANNOUNCEMENT:

- The deadline for submissions has been extended to May 27th. (Please see all dates below.)

- The workshop will be organised in hybrid mode, with all online talks scheduled in the same session or day.

 

The Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023) will be held at Zhejiang University, Hangzhou, China, 8th - 9th September 2023. While we encourage physical participation if possible, the workshop will be organized in a hybrid format, with both in-person and virtual participation options available. Participants can give or listen to talks online, enabling a wider range of attendees to join and engage with the community.

The workshop is associated with a national key project called “Research on Logics for New Generation Artificial Intelligence” (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project.

 

List of Topics

Topics include, but are not limited to the following:

 

- Argument mining

- Answer set programming

- Autonomous agents and multi-agent systems

- Causation/Causal inference

- Commonsense reasoning

- Conditional logics

- Connection between machine-learning and causal inference

- Default logics

- Deontic logic

- Description logics

- Ethical approaches

- Explanation in AI and law

- Formal argumentation

- Graphical causal models/Bayesian networks

- Human-agent explanation

- Knowledge graphs

- Knowledge graph embedding

- Connection between Foundation Models and Logic

- Neuro-Symbolic AI

- Legal argumentation

- Logics for ethical AI

- Logics for explainable AI

- Markov logic network

- Nonmonotonic logics

- Norms and value based reasoning

- Reasoning about actions and change

- Reasoning about knowledge graphs

- Subgraph reasoning

- Uncertain reasoning

 

— INVITED SPEAKERS —

 

Dong An, Zhejiang University

Dastani Mehdi, Utrecht University

Leon van der Torre, University of Luxembourg

 

Submissions and publication

 

— TYPES —

 

We invite two types of submissions:

Full papers (within 16 pages excluding bibliography) describing original and unpublished work.

Extended abstracts (within 6 pages excluding bibliography) of preliminary original work.

Additional support material may be included in an appendix, which may be considered or ignored by the program committee.

 

— FORMAT —

 

Submissions must be formatted according to the LaTeX specification that can be downloaded by clicking the following link: https://xixilogic.org/lngai/download/LNGAI-latex-template.zip

Submissions not complying with these guidelines will be desk rejected.

 

— WHERE TO SUBMIT —

 

Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=lngai2023

 

— ACCEPTANCE & PRESENTATION AT LNGAI 2023 —

 

Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the workshop.

 

— PUBLICATION —

 

All accepted papers will be published with College Publications, and extended versions (after peer review) will be published in a special Issue on Logics for New Generation Artificial Intelligence, ‘AI Logic’ corner, Journal of Logic and Computation.

 

Important dates

 

Submission: May 27 2023

Notification: July 15 2023

Final version: July 31 2023

Workshop: September 8 - 9 2023

 

— PROGRAM COMMITTEE —

 

Pietro Baroni, University of Brescia

Christoph Benzmüller, Otto-Friedrich-Universität Bamberg

Alexander Bochman, Holon Institute of Technology

Giuseppe Contissa, University of Bologna

Huimin Dong, Sun Yat-Sen University

Réka Markovich, University of Luxembourg

Valeria de Paiva, Topos Institute

Olivier Roy, Universität Bayreuth

Guillermo Simari, Universidad del Sur in Bahia Blanca

Leon van der Torre, University of Luxembourg

 

— PROGRAM CHAIRS —

 

Bruno Bentzen, Zhejiang University

Beishui Liao, Zhejiang University

Davide Liga, University of Luxembourg

Bin Wei, Zhejiang University

 

If you have any questions please contact the PC chairs.