Search dblp for Publications

export results for "toc:db/conf/aisc/aisc2018.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.