GCAI 2020: BibTeX Entries

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}}