Artificial Intelligence and Symbolic Computation: 13th International Conference

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