Making sense of hidden neuron activations with deductive reasoning (abstract)

Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems (abstract)

A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram (abstract)

Comparison and implementation of ROS-based SLAM and path planning methods (abstract)

A diagnostic model generation method based on clustering (abstract)

An Abstraction Neural Network Generator for Efficient Formal Verification (abstract)

Direct limits of EMV-algebras (abstract)

Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment (abstract)

Evidence-Based Argumentation and its Incremental Semantics (abstract)

Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts (abstract)

A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means (abstract)

A Trustworthiness Fuzzy Evaluation Model for Open Source Community (abstract)

On simple perturbation of the α-universal triple I algorithm via specific interval implication operators (abstract)

FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education (abstract)

A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster (abstract)

Conceptual clustering based on linguistic-valued layered concept lattice (abstract)

Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction (abstract)

An Improved Genetic Programming Based Factor Construction for Stock Price Prediction (abstract)

Dual Channel Graph Neural Network for Fraud Detection (abstract)

Research on Spatial Integrity Constraints of Linked Data (abstract)

Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels (abstract)

Graph-based Diagnostic Prediction Model Based On Global Visit Contexts (abstract)

Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators (abstract)

Weighted Means based on Triangular Norms (abstract)

Characterizations of nilpotent T-power invariant implications (abstract)

On interval perturbation of the α-universal triple I algorithm for unified interval implications (abstract)

Modeling and Solving Combinatorial Problems in Picat (abstract)

Moral Agreements among Stakeholders Based on Norms and Argumentation (abstract)

Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding (abstract)

Hierarchical time series forecasting based on temporal convolution and Attention mechanism (abstract)

Nonlinear Manifold Learning via Graph Curvature (abstract)

Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks (abstract)

CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning (abstract)

GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System (abstract)

XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting (abstract)

A Multi-Label Feature Selection Method Based Label Granulation (abstract)

Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition (abstract)

Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction (abstract)

Improved CDFSIP feature selection algorithm based on ADA-DPC (abstract)

Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition (abstract)

Person Re-idedtification based on fusion of shared feature branches (abstract)

Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism (abstract)

Paraconsistent transition systems and their logics (abstract)