Volume
@proceedings{GCAI2020,
title = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2020}}
Papers
@inproceedings{GCAI2020:Learning_Ex_Nihilo,
author = {Selmer Bringsjord and Naveen Sundar Govindarajulu and John Licato and Michael Giancola},
title = {Learning Ex Nihilo},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NzWG},
doi = {10.29007/ggcf},
pages = {1-27},
year = {2020}}
@inproceedings{GCAI2020:Adjudication_Symbolic_Connectionist_Arguments,
author = {Michael Giancola and Selmer Bringsjord and Naveen Sundar Govindarajulu and John Licato},
title = {Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Vtl4},
doi = {10.29007/k647},
pages = {28-33},
year = {2020}}
@inproceedings{GCAI2020:Partial_Regularization_First_Order,
author = {Jan Gorzny and Ezequiel Postan and Bruno Woltzenlogel Paleo},
title = {Partial Regularization of First-Order Resolution Proofs},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/n62J},
doi = {10.29007/3r41},
pages = {34-45},
year = {2020}}
@inproceedings{GCAI2020:WinoReg_New_Faster_More,
author = {Nicos Isaak and Loizos Michael},
title = {WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/qvGz},
doi = {10.29007/wl4b},
pages = {46-58},
year = {2020}}
@inproceedings{GCAI2020:Face_Image_Deblurring_Data,
author = {Abdelwahed Nahli and Yuanzhouhan Cao and Shugong Xu},
title = {Face Image Deblurring: A Data-Driven Strategy},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/F4qB},
doi = {10.29007/tlhq},
pages = {59-69},
year = {2020}}
@inproceedings{GCAI2020:Property_Preserving_Embedding_First,
author = {Julian Parsert and Stephanie Autherith and Cezary Kaliszyk},
title = {Property Preserving Embedding of First-order Logic},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cwgq},
doi = {10.29007/18t1},
pages = {70-82},
year = {2020}}
@inproceedings{GCAI2020:Common_Knowledge_Epistemic_Logic,
author = {Levan Uridia and Dirk Walther},
title = {Common Knowledge in an Epistemic Logic with Hypotheses},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/K6hP},
doi = {10.29007/43wj},
pages = {83-91},
year = {2020}}
@inproceedings{GCAI2020:Guided_Inductive_Logic_Programming,
author = {Yan Wu and Jinchuan Chen and Plarent Haxhidauti and Vinu Ellampallil Venugopal and Martin Theobald},
title = {Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/N3D1},
doi = {10.29007/ppgx},
pages = {92-106},
year = {2020}}
@inproceedings{GCAI2020:Topical_Neural_Theorem_Prover,
author = {Shuang Xia and Krysia Broda and Alessandra Russo},
title = {Topical Neural Theorem Prover that Induces Rules},
booktitle = {GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)},
editor = {Gregoire Danoy and Jun Pang and Geoff Sutcliffe},
series = {EPiC Series in Computing},
volume = {72},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mFsC},
doi = {10.29007/wscr},
pages = {107-120},
year = {2020}}
