Intro
Preface
Organization
Keynotes
Temporal Cohort Logic
Qualitative Spatial and Temporal Reasoning
A Unifying Logic for Neural Networks
Contents
Program Logic
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking
1 Introduction
2 Preliminaries
2.1 Linear Temporal Logic
2.2 First-Order Logic
3 FQLTL Language
3.1 Syntax and Semantics
3.2 FQLTL Satisfiability
4 Implementation
4.1 Three-Valued Logic
4.2 Implementation Process
5 Experiment and Case Study
5.1 Experiment
5.2 Case Study
6 Conclusion
References

Quantitative BAN Logic Based on Belief Degree
1 Introduction
2 Related Work
3 The Formalism of BAN Logic
3.1 Basic Notations and Logic Formulae in BAN Logic
3.2 Reasoning Rules in BAN Logic
4 Quantitative BAN Logic Based on Belief
5 Protocol Analysis Using Quantitative BAN Logic
5.1 The TSMCA PUF Protocol
6 Conclusion
References
Predicate Logic Network: Vision Concept Formation
1 Introduction
2 Related Work
2.1 Neural Symbolic Artificial Intelligence
2.2 Object-Centered Visual Concept Reasoning
3 Neural Predicate Network

3.1 NPN Binary Classification Model
3.2 NPN Multi-classification Model
4 Experiments
4.1 Triangle Concept Identification
4.2 Chinese Calligraphy Style Concept Identification
5 Conclusion and Future Work
References
Approximate Simulation for Transition Systems with Regular Expressions
1 Introduction
2 Preliminaries
3 Approximate Simulation
4 Related Properties
5 Conclusion
References
On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm
1 Introduction
2 Preliminaries

1 Introduction
2 Preliminaries
3 ( , ) -Colored Resolution of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
4 ( , ) -Colored Resolution Algorithms of Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
5 Conclusion
References
Viewpoint-Driven Subspace Fuzzy C-Means Algorithm
1 Introduction
2 Related Works
3 The Proposed VSFCM Algorithm
3.1 Cluster Initialization Method Induced by Cut-off Distance
3.2 The Mechanism of VSFCM Algorithm
3.3 Framework of the VSFCM Algorithm
4 Experimental Studies
5 Conclusions
References