AISC

Keyphrases

Publications

2018

Yu Wang, Wenyuan Wu, Bican Xia
Early Ending in Homotopy Path-Tracking for Real Roots. AISC (2018)
Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai
Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. AISC (2018)
Alan Bundy, Kwabena Nuamah, Christopher Lucas
Automated Reasoning in the Age of the Internet. AISC (2018)
Pedro Quaresma
Automatic Deduction in an AI Geometry Book. AISC (2018)
Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang
LaTEX: A Linear Algebra Textbook System. AISC (2018)
Jose Divasón, Jesús Aransay
A Formal Proof of the Computation of Hermite Normal Form in a General Setting. AISC (2018)
Francisco Botana, Zoltán Kovács, Tomás Recio
Towards an Automated Geometer. AISC (2018)
Tianshu Song, Feng Zhu, Ke Xu
Specialty-Aware Task Assignment in Spatial Crowdsourcing. AISC (2018)
Ilias S. Kotsireas, Jing Yang
Autocorrelation via Runs. AISC (2018)
Wei Su, Chuan Cai, Jinzhao Wu
The Accessibility of Mathematical Formulas for the Visually Impaired in China. AISC (2018)
Shaofan Liu, Jie Luo
FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets. AISC (2018)
Dongchen Jiang, Xiaoyu Chen, Xin Yang
A Chinese New Word Detection Approach Based on Independence Testing. AISC (2018)
Martin Strecker
Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving. AISC (2018)
Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot
Machine Learning for Inductive Theorem Proving. AISC (2018)
Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola
Into the Infinite - Theory Exploration for Coinduction. AISC (2018)
James H. Davenport
Methodologies of Symbolic Computation. AISC (2018)
Fadoua Ghourabi, Kazuko Takahashi
What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds? AISC (2018)
Zoltán Kovács
Discovering Geometry Theorems in Regular Polygons. AISC (2018)
Changbo Chen, Wenyuan Wu
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. AISC (2018)
David Braun, Nicolas Magaud, Pascal Schreck
Formalizing Some "Small" Finite Models of Projective Geometry in Coq. AISC (2018)

volume 11110, 2018

Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings AISC 11110 (2018)

2015

volume 161, 2015

13th Australasian Information Security Conference, AISC 2015, Sydney, Australia, January 2015 AISC 161 (2015)

2014

volume 8884, 2014

Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings AISC 8884 (2014)

volume 149, 2014

Twelfth Australasian Information Security Conference, AISC 2014, Auckland, New Zealand, January 2014 AISC 149 (2014)