default search action
Search dblp for Publications
export results for "toc:db/conf/aisc/aisc2018.bht:"
@inproceedings{DBLP:conf/aisc/BotanaKR18, author = {Francisco Botana and Zolt{\'{a}}n Kov{\'{a}}cs and Tom{\'{a}}s Recio}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Towards an Automated Geometer}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {215--220}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_15}, doi = {10.1007/978-3-319-99957-9\_15}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/BotanaKR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/BraunMS18, author = {David Braun and Nicolas Magaud and Pascal Schreck}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Formalizing Some "Small" Finite Models of Projective Geometry in Coq}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {54--69}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_4}, doi = {10.1007/978-3-319-99957-9\_4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/BraunMS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/BundyNL18, author = {Alan Bundy and Kwabena Nuamah and Christopher Lucas}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Automated Reasoning in the Age of the Internet}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {3--18}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_1}, doi = {10.1007/978-3-319-99957-9\_1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/BundyNL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ChenSWY18, author = {Xiaoyu Chen and Haotian Shuai and Dongming Wang and Jing Yang}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {LaTEX: {A} Linear Algebra Textbook System}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {209--214}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_14}, doi = {10.1007/978-3-319-99957-9\_14}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/ChenSWY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ChenW18, author = {Changbo Chen and Wenyuan Wu}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {170--180}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_11}, doi = {10.1007/978-3-319-99957-9\_11}, timestamp = {Thu, 13 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/ChenW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Davenport18, author = {James H. Davenport}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Methodologies of Symbolic Computation}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {19--33}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_2}, doi = {10.1007/978-3-319-99957-9\_2}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Davenport18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/DivasonA18, author = {Jose Divas{\'{o}}n and Jes{\'{u}}s Aransay}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {A Formal Proof of the Computation of Hermite Normal Form in a General Setting}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {37--53}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_3}, doi = {10.1007/978-3-319-99957-9\_3}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/DivasonA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/EinarsdottirJP18, author = {S{\'{o}}lr{\'{u}}n Halla Einarsd{\'{o}}ttir and Moa Johansson and Johannes {\AA}man Pohjola}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Into the Infinite - Theory Exploration for Coinduction}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {70--86}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_5}, doi = {10.1007/978-3-319-99957-9\_5}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/EinarsdottirJP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/GhourabiT18, author = {Fadoua Ghourabi and Kazuko Takahashi}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {139--154}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_9}, doi = {10.1007/978-3-319-99957-9\_9}, timestamp = {Mon, 27 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/GhourabiT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/JiangCY18, author = {Dongchen Jiang and Xiaoyu Chen and Xin Yang}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {A Chinese New Word Detection Approach Based on Independence Testing}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {227--236}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_17}, doi = {10.1007/978-3-319-99957-9\_17}, timestamp = {Fri, 28 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/JiangCY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/JiangPF18, author = {Yaqing Jiang and Petros Papapanagiotou and Jacques D. Fleuriot}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Machine Learning for Inductive Theorem Proving}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {87--103}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_6}, doi = {10.1007/978-3-319-99957-9\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/JiangPF18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/KotsireasY18, author = {Ilias S. Kotsireas and Jing Yang}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Autocorrelation via Runs}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {195--205}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_13}, doi = {10.1007/978-3-319-99957-9\_13}, timestamp = {Thu, 02 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/KotsireasY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Kovacs18, author = {Zolt{\'{a}}n Kov{\'{a}}cs}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Discovering Geometry Theorems in Regular Polygons}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {155--169}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_10}, doi = {10.1007/978-3-319-99957-9\_10}, timestamp = {Thu, 13 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Kovacs18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/LiuL18, author = {Shaofan Liu and Jie Luo}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {{FMUS2:} An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {104--118}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_7}, doi = {10.1007/978-3-319-99957-9\_7}, timestamp = {Fri, 28 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/LiuL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/PengMT18, author = {Pengcheng Peng and Chenqi Mou and Wei{-}Tek Tsai}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {255--268}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_20}, doi = {10.1007/978-3-319-99957-9\_20}, timestamp = {Mon, 27 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/PengMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Quaresma18, author = {Pedro Quaresma}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Automatic Deduction in an {AI} Geometry Book}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {221--226}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_16}, doi = {10.1007/978-3-319-99957-9\_16}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/Quaresma18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/SongZ018, author = {Tianshu Song and Feng Zhu and Ke Xu}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Specialty-Aware Task Assignment in Spatial Crowdsourcing}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {243--254}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_19}, doi = {10.1007/978-3-319-99957-9\_19}, timestamp = {Sat, 01 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/SongZ018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/Strecker18, author = {Martin Strecker}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Deciding Extended Modal Logics by Combining State Space Generation and {SAT} Solving}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {119--135}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_8}, doi = {10.1007/978-3-319-99957-9\_8}, timestamp = {Thu, 13 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/Strecker18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/SuCW18, author = {Wei Su and Chuan Cai and Jinzhao Wu}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {The Accessibility of Mathematical Formulas for the Visually Impaired in China}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {237--242}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_18}, doi = {10.1007/978-3-319-99957-9\_18}, timestamp = {Tue, 26 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/SuCW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/WangWX18, author = {Yu Wang and Wenyuan Wu and Bican Xia}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Early Ending in Homotopy Path-Tracking for Real Roots}, booktitle = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {181--194}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_12}, doi = {10.1007/978-3-319-99957-9\_12}, timestamp = {Mon, 27 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aisc/WangWX18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aisc/2018, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, title = {Artificial Intelligence and Symbolic Computation - 13th International Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11110}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9}, doi = {10.1007/978-3-319-99957-9}, isbn = {978-3-319-99956-2}, timestamp = {Tue, 19 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aisc/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.