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},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
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},
pages = {1--27},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NzWG},
doi = {10.29007/ggcf}}
@inproceedings{GCAI2020:Adjudication_of_Symbolic,
author = {Michael Giancola and Selmer Bringsjord and Naveen Sundar Govindarajulu and John Licato},
title = {Adjudication of Symbolic \textbackslash{}\& 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},
pages = {28--33},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Vtl4},
doi = {10.29007/k647}}
@inproceedings{GCAI2020:Partial_Regularization_of_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},
pages = {34--45},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/n62J},
doi = {10.29007/3r41}}
@inproceedings{GCAI2020:WinoReg_New_Faster_and,
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},
pages = {46--58},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/qvGz},
doi = {10.29007/wl4b}}
@inproceedings{GCAI2020:Face_Image_Deblurring_Data_Driven,
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},
pages = {59--69},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/F4qB},
doi = {10.29007/tlhq}}
@inproceedings{GCAI2020:Property_Preserving_Embedding_of,
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},
pages = {70--82},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Cwgq},
doi = {10.29007/18t1}}
@inproceedings{GCAI2020:Common_Knowledge_in_an,
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},
pages = {83--91},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/K6hP},
doi = {10.29007/43wj}}
@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},
pages = {92--106},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/N3D1},
doi = {10.29007/ppgx}}
@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},
pages = {107--120},
year = {2020},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mFsC},
doi = {10.29007/wscr}}