Xixi Logic

The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the International Conferences on Logic and Artificial Intelligence at Zhejiang University (ZJULogAI). With its special focus theme on “Explainable AI and Responsible AI”, the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable.

 

http://www.gcai-2020.info/ (GCAI 2020)

http://www.xixilogic.org/zjulogai/ (ZJULogAI)

 

 

 

GCAI 2020 accepts submissions of two types: 

 

– Full paper submissions, which must be original and cannot be submitted simultaneously elsewhere. Full paper submissions must be at most 12 pages long, excluding references. Additional support material may be included in an appendix, which may be considered or ignored by the program committee.

 

– Extended abstract submissions, which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper (in the case of an already published paper, the full version has to be referenced explicitly). Extended abstract submissions must be at most 4 pages long, excluding references.

 

Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format. Submissions not complying with these guidelines will be rejected at the discretion of the program committee.

 

Each submission will be reviewed by at least two reviewers. Abstracts are due on 23 November 2019, full papers and extended abstracts are due on 15 December 2019, and decisions will be made by 20 January 2020.

 

Submissions: via EasyChair

 

Instructions for authors and EasyChair paper templates can be found at

 

 

 

 

Submissions in all areas of artificial intelligence are welcome. Suggested topics include, but are not limited to:

 

 

 

+ Knowledge representation

 

+ Cognitive modeling

 

+ Perception

 

+ Search

 

+ Reasoning and programming

 

+ Machine learning

 

+ Constraints and uncertainty

 

 

 

+ Agents and distributed AI

 

+ Intelligent user interfaces

 

+ Natural language systems and linguistics

 

+ Information retrieval

 

+ Case-based reasoning

 

+ Hierarchical and deep representations

 

+ Affective computing

 

 

 

+ Aviation and aerospace

 

+ Education and tutoring systems

 

+ Games and entertainment

 

+ Law and machine ethics

 

+ Mathematics and the sciences

 

+ Medicine and healthcare

 

+ Management and manufacturing

 

+ World Wide Web

 

+ Robotics

 

+ Security

 

 

 

+ Philosophical foundations

 

+ Social impact and ethics

 

+ Evaluation of AI systems

 

+ AI education

 

 

 

 

Geoff Sutcliffe (University of Miami, USA) 

 

 

 

Grégoire Danoy (University of Luxembourg, Luxembourg) 

Jun Pang (University of Luxembourg, Luxembourg) 

 

 

 

 

Krysia Broda, Imperial College, UK

Marco Gavanelli, University of Ferrara, Italy

Germain Forestier, Université de Haute Alsace, France

Mateja Jamnik, University of Cambridge, UK

Gang Li, Deakin University, Australia

Apivadee Piyatumrong, National Electronics and Computer Technology Center, Thailand

Serge Autexier, DFKI, Germany

Gabriella Cortellessa, CNR-ISTC, National Research Council of Italy, Italy

Sanjiang Li, University of Technology, Sydney, Australia

Radu-Emil Precup, Politehnica University of Timisoara, Romania

Inon Zuckerman, Ariel University, Israel

Panagiotis Kanellopoulos, University of Patras and CTI “Diophantus”, Greece

Chenyi Zhang, Jinan University, China

Marco Roveri, FBK-irst, Italy

Matthias R. Brust, University of Luxembourg, Luxembourg

Dumitru Roman, SINTEF, Norway

Christoph Benzmüller, Freie Universität Berlin, Germany

Steven Schockaert, Cardiff University, UK

Gianluigi Greco, University of Calabria, Italy

Angelo Montanari, University of Udine, Italy

Gabriele Kern-Isberner, Technische Universitaet Dortmund, Germany

Ines Lynce, INESC-ID/IST, Universidade de Lisboa, Portugal

Marcin Seredynski, E-Bus Competence Center, Luxembourg

Wolfgang Faber, TU Wien, Austria

Juan Luis Jiménez Laredo, Université du Havre Normandie, France

Jose Julio Alferes, Universidade NOVA de Lisboa, Portugal

Tommi Junttila, Aalto University, Finland

Till Mossakowski, University of Magdeburg, Germany

George Metcalfe, University of Bern, Switzerland

 

 

 

Nikolaj Bjorner (Microsoft Research, USA)

Adel Bouhoula (University of Carthage, Tunisia)

Laura Kovács (Chalmers University, Sweden)

Sriram Rajamani (Microsoft Research, India)

Geoff Sutcliffe (University of Miami, USA)

Andrei Voronkov (University of Manchester, UK)

 

 

 

Organizing Committee of ZjuLogAI can be found at

 

 

 

 

GCAI 2020 proceedings will be published in the EasyChair EPiC series in Computing. Proceedings of the previous GCAI conferences are available online:

 

 

Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).

GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36)

 

 

 

Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).

GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41)

 

 

 

Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).

GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 50)

 

 

 

Daniel Lee, Alexander Steen and Toby Walsh (editors).

GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 55)

 

 

 

 

– Abstract submission deadline: 23 November 2019

– Paper submission deadline: 30 November 2019 15 December 2019

– Acceptance notification: 20 January 2020

– Camera ready copy due: 3 February 2020

– Conference: 6-9 April 2020

 

 

 

All questions about submissions should be emailed to program chairs.