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