AILA 2023: THE 3RD INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE LOGIC AND APPLICATIONS

A
Ali, Imran	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
B
Bao, Hailu	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
Bao, Xianyu	Person Re-idedtification based on fusion of shared feature branches
C
Chen, Chen	Evidence-Based Argumentation and its Incremental Semantics
Chen, Shuwei	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
Chen, Xinyu	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
Chen, Xueyi	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
Chen, Yixiang	A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means A Trustworthiness Fuzzy Evaluation Model for Open Source Community A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
Chen, Zhuanhua	Direct limits of EMV-algebras
F
Fei, Chaoqun	Nonlinear Manifold Learning via Graph Curvature Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Feng, Yuxuan	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Fu, Haitao	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
G
Gao, Jianwei	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators On interval perturbation of the α-universal triple I algorithm for unified interval implications
Gao, Man	A Multi-Label Feature Selection Method Based Label Granulation
Guo, Anyi	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators
H
He, Liangli	Graph-based Diagnostic Prediction Model Based On Global Visit Contexts
He, Yuhu	Improved CDFSIP feature selection algorithm based on ADA-DPC
Heng, Yong	Dual Channel Graph Neural Network for Fraud Detection
Hitzler, Pascal	Making sense of hidden neuron activations with deductive reasoning
Hou, Xuecheng	A Trustworthiness Fuzzy Evaluation Model for Open Source Community
Huang, Degen	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Huang, Xikun	Nonlinear Manifold Learning via Graph Curvature Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Huang, Yifan	On interval perturbation of the α-universal triple I algorithm for unified interval implications
J
Jiang, Shipan	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
K
Kang, Ning	A Trustworthiness Fuzzy Evaluation Model for Open Source Community
Kang, Ning	Conceptual clustering based on linguistic-valued layered concept lattice
L
Lee, Jimmy	Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems
Li, Chuang	Comparison and implementation of ROS-based SLAM and path planning methods
Li, Gang	Weighted Means based on Triangular Norms
Li, Haonan	GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
Li, Jianhua	Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition
Li, Jiapeng	XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting
Li, Meihua	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
Li, Shujie	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators
Li, Xin	Graph-based Diagnostic Prediction Model Based On Global Visit Contexts Dual Channel Graph Neural Network for Fraud Detection
Li, Xinzi	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Li, Yangyang	Nonlinear Manifold Learning via Graph Curvature Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Li, Yongming	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
Li, Yu	GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
Liao, Beishui	Moral Agreements among Stakeholders Based on Norms and Argumentation Evidence-Based Argumentation and its Incremental Semantics
Lin, Xiaoan	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction
Lin, Ze	A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means
Lu, Mingyu	Conceptual clustering based on linguistic-valued layered concept lattice
Lu, Xinghua	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Lu, Yuanjie	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Lu, Yubo	Research on Spatial Integrity Constraints of Linked Data
Luis, S. Barbosa	Paraconsistent transition systems and their logics
P
Pan, Xin	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Pang, Kuo	Conceptual clustering based on linguistic-valued layered concept lattice
Pei, Jihong	Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels
S
Shao, Bojie	An Abstraction Neural Network Generator for Efficient Formal Verification
Shi, Zhan	Comparison and implementation of ROS-based SLAM and path planning methods
Song, Xiaoying	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Sun, Lijun	Weighted Means based on Triangular Norms
T
Tan, Xiaoyan	Dual Channel Graph Neural Network for Fraud Detection
Tang, Yiming	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators On interval perturbation of the α-universal triple I algorithm for unified interval implications
Tingting, He	Characterizations of nilpotent T-power invariant implications
W
Wang, Changqing	FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education
Wang, Chuanqing	Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Wang, Chuanqing	Nonlinear Manifold Learning via Graph Curvature
Wang, Fude	Comparison and implementation of ROS-based SLAM and path planning methods
Wang, Haiyan	Comparison and implementation of ROS-based SLAM and path planning methods
Wang, Hao	Hierarchical time series forecasting based on temporal convolution and Attention mechanism
Wang, He	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Wang, Jiaojiao	Graph-based Diagnostic Prediction Model Based On Global Visit Contexts
Wang, Jinxin	Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition
Wang, Mingqi	Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators
Wang, Weiwen	Person Re-idedtification based on fusion of shared feature branches
Wang, Xiaoyu	A diagnostic model generation method based on clustering
Wang, Xinpeng	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Wang, Zhaohui	An Abstraction Neural Network Generator for Efficient Formal Verification
Wang, Zhigang	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Wei, Bin	Evidence-Based Argumentation and its Incremental Semantics
Wen, Haiqiang	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Wu, Zhaozhong	Improved CDFSIP feature selection algorithm based on ADA-DPC
X
Xie, Juanying	Improved CDFSIP feature selection algorithm based on ADA-DPC
Xie, Yongjian	Direct limits of EMV-algebras
Xu, Shengkai	An Abstraction Neural Network Generator for Efficient Formal Verification
Xu, Xirong	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Y
Yang, Fang	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Yang, Xuan	Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
Yang, Zhenting	Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels
Ye, Sicong	Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels
Ye, Yuxin	Research on Spatial Integrity Constraints of Linked Data
Yi, Wenqing	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Yin, Zhefeng	FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education
Z
Zhan, Zhilong	Person Re-idedtification based on fusion of shared feature branches
Zhang, Bin	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
Zhang, Changsheng	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
Zhang, Li	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators On interval perturbation of the α-universal triple I algorithm for unified interval implications
Zhang, Min	An Abstraction Neural Network Generator for Efficient Formal Verification
Zhang, Qinghua	A Multi-Label Feature Selection Method Based Label Granulation
Zhang, Yalin	Research on Spatial Integrity Constraints of Linked Data
Zhang, Yong	Person Re-idedtification based on fusion of shared feature branches
Zhang, Zhenguo	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting
Zhang, Zhenguo	Hierarchical time series forecasting based on temporal convolution and Attention mechanism
Zhao, Chen	Weighted Means based on Triangular Norms
Zhao, Yang	Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
Zheng, Xiaodong	An Abstraction Neural Network Generator for Efficient Formal Verification
Zhou, Hongjun	Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators Characterizations of nilpotent T-power invariant implications
Zhou, Neng Fa	Modeling and Solving Combinatorial Problems in Picat
Zhu, Li	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Zhu, Shengwen	A Multi-Label Feature Selection Method Based Label Granulation
Zong, Tuo	Person Re-idedtification based on fusion of shared feature branches
Zou, Li	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding Conceptual clustering based on linguistic-valued layered concept lattice

Disclaimer | Powered by EasyChair Smart Program