# Artificial Intelligence and Symbolic Computation: 13th International Conference

- Length: 269 pages
- Edition: 1st ed. 2018
- Language: English
- Publisher: Springer
- Publication Date: 2018-08-22
- ISBN-10: 3319999567
- ISBN-13: 9783319999562

Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.

The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.

### Table of Contents

Part 1 Invited Presentations

chapter.1 Automated Reasoning in the Age of the Internet

chapter.2 Methodologies of Symbolic Computation

Part 2 Artificial Intelligence, Theorem Proving and SAT Solving

chapter.3 A Formal Proof of the Computation of Hermite Normal Form in a General Setting

chapter.4 Formalizing Some “Small” Finite Models of Projective Geometry in Coq

chapter.5 Into the Infinite – Theory Exploration for Coinduction

chapter.6 Machine Learning for Inductive Theorem Proving

chapter.7 FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets

chapter.8 Deciding Extended Modal Logics by Combining State Space Generation and SAT Solving

Part 3 Symbolic and Numerical Computation

chapter.9 What Does Qualitative Spatial Knowledge Tell About Origami Geometric Folds?

chapter.10 Discovering Geometry Theorems in Regular Polygons

chapter.11 Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically

chapter.12 Early Ending in Homotopy Path-Tracking for Real Roots

chapter.13 Autocorrelation via Runs

Part 4 Intelligent Documents and Collective Intelligence

chapter.14 LAText: A Linear Algebra Textbook System

chapter.15 Towards an Automated Geometer

chapter.16 Automatic Deduction in an AI Geometry Book

chapter.17 A Chinese New Word Detection Approach Based on Independence Testing

chapter.18 The Accessibility of Mathematical Formulas for the Visually Impairedin China

chapter.19 Specialty-Aware Task Assignment in Spatial Crowdsourcing

chapter.20 Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest