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

This page contains an index consisting of author-provided keywords.

A
Abstraction	An Abstraction Neural Network Generator for Efficient Formal Verification
Adjacency graph	Nonlinear Manifold Learning via Graph Curvature
Aggregation function	Weighted Means based on Triangular Norms
Approximate graph simulation
Attention	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
Attention Mechanism	Hierarchical time series forecasting based on temporal convolution and Attention mechanism Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Automated Planning
Automated Reasoning	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
autonomous system	Moral Agreements among Stakeholders Based on Norms and Argumentation
B
be confirmed	Paraconsistent transition systems and their logics
Binary Decision Diagram	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
C
ChineseKorean text classification	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Classical and Intuitionistic Fuzzy Formal Concepts	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
Clause Selection	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
Closing Price	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
clustering	Improved CDFSIP feature selection algorithm based on ADA-DPC A diagnostic model generation method based on clustering
Combinatorial Problems	Modeling and Solving Combinatorial Problems in Picat
Concept lattice	Conceptual clustering based on linguistic-valued layered concept lattice
Conceptual clustering	Conceptual clustering based on linguistic-valued layered concept lattice
confirmed	Paraconsistent transition systems and their logics
Consistency constraints	Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
Consistent Discriminant Correlation Analysis	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction
Constraint Optimization Problems	Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems
constraint satisfaction problems	Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems Modeling and Solving Combinatorial Problems in Picat
continuous underlying operators	Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators
convolutional neural network	XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting
Coupled Mapping	Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition
Coupled non-negative matrix factorization	Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition
Course of Action(COA) Ontology
Coverage	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
D
Decision Literal	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
Deduction Distance	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
Deductive reasoning	Making sense of hidden neuron activations with deductive reasoning
Deep Learning	Hierarchical time series forecasting based on temporal convolution and Attention mechanism Person Re-idedtification based on fusion of shared feature branches Making sense of hidden neuron activations with deductive reasoning
Deep part-based feature learning	Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition
Difficulty	FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education
direct limit	Direct limits of EMV-algebras
discernibility matrix	Improved CDFSIP feature selection algorithm based on ADA-DPC
Discrete Event System	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
Discrimination	FDDKT:A novel knowledge tracing method by fusing difficulty and discrimination for intelligent education
Dynamic change	A Multi-Label Feature Selection Method Based Label Granulation
E
Embedding Learning	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
EMV-algebra	Direct limits of EMV-algebras
EMV-homomorphism	Direct limits of EMV-algebras
evidence-based reasoning	Evidence-Based Argumentation and its Incremental Semantics
evidential support	Evidence-Based Argumentation and its Incremental Semantics
Evolutionary Algorithm	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
F
Factor Construction	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
Fault Diagnosis	A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
feature discernibility	Improved CDFSIP feature selection algorithm based on ADA-DPC
Feature extraction	Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels
feature independence	Improved CDFSIP feature selection algorithm based on ADA-DPC
feature selection	Improved CDFSIP feature selection algorithm based on ADA-DPC
forecasting	Hierarchical time series forecasting based on temporal convolution and Attention mechanism
forgetting law	GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
formal argumentation	Evidence-Based Argumentation and its Incremental Semantics Moral Agreements among Stakeholders Based on Norms and Argumentation
Fraud Detection	Dual Channel Graph Neural Network for Fraud Detection
Fused attention mechanism	Person Re-idedtification based on fusion of shared feature branches
fuzzy assessment	A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means
fuzzy c-means	A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means
fuzzy cluster	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
fuzzy comprehensive evaluation	A Trustworthiness Fuzzy Evaluation Model for Open Source Community
Fuzzy implication	Characterizations of nilpotent T-power invariant implications
Fuzzy reasoning	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators
G
Genetic Programming	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
Geospatial Linked Data	Research on Spatial Integrity Constraints of Linked Data
Granular computing	A Multi-Label Feature Selection Method Based Label Granulation
Granulation Measures	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
Graph Curvature	Nonlinear Manifold Learning via Graph Curvature
Graph neural networks	Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks Graph-based Diagnostic Prediction Model Based On Global Visit Contexts Dual Channel Graph Neural Network for Fraud Detection
Graph pattern matching
GRU	GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
H
Healthcare	Graph-based Diagnostic Prediction Model Based On Global Visit Contexts
Hennessy-Milner logic
heterogeneous multicore system	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
Hierarchical Task Network(HTN)
Hierarchical time series	Hierarchical time series forecasting based on temporal convolution and Attention mechanism
I
Imbalanced Node Classification	Dual Channel Graph Neural Network for Fraud Detection
Incomplete Model	A diagnostic model generation method based on clustering
information gain	Improved CDFSIP feature selection algorithm based on ADA-DPC
Information theory	A Multi-Label Feature Selection Method Based Label Granulation
Integrity Verification	Research on Spatial Integrity Constraints of Linked Data
interpretability	XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting GRU-attention interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
Interval implication	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators
J
Jiminy	Moral Agreements among Stakeholders Based on Norms and Argumentation
K
Knowledge Base	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Knowledge Graph Alignment	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Knowledge tracing	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
L
Label redundancy	A Multi-Label Feature Selection Method Based Label Granulation
Linguistic truth-valued lattice implication algebra	Conceptual clustering based on linguistic-valued layered concept lattice
Linguistic-valued layered concept lattice	Conceptual clustering based on linguistic-valued layered concept lattice
Link prediction	Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Literal Selection	Clause and Literal Selection Strategies Based on Complementary Pair Distribution for Contradiction Separation Deduction
Low resolution face recognition	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction
Low-resolution Face Image Recognition	Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition
Low-resolution image recognition	Coupled non-negative matrix factorization with deep part-based feature learning for low-resolution image recognition
M
Manifold Learning	Nonlinear Manifold Learning via Graph Curvature
Metric
Model Construct	A diagnostic model generation method based on clustering
Model-base Diagnosis	A diagnostic model generation method based on clustering
multi-attribute decision model	Weighted Means based on Triangular Norms
Multi-kernel fusion	Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels
Multi-label feature selection	A Multi-Label Feature Selection Method Based Label Granulation
multi-view clustering	A Novel Multi-view Fuzzy Clustering Algorithm Based on Fuzzy C-Means
Multi-view discriminant analysis	Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
Multi-view learning	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction
multivariate time series prediction	XCTF: A CNN-based Interpretable Model for Multivariate Time Series Forecasting
Mushroom Image Classification	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
N
Neighbor Sampling	Cross-lingual Entity Alignment via Two-Hop neighbor sampling and Distinguishable Relation Embedding
Neural Network	An Abstraction Neural Network Generator for Efficient Formal Verification
Nilpotent t-norm	Characterizations of nilpotent T-power invariant implications
Nogoods	Towards Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization Problems
Non-negative matrix factorization	Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels Regularized loose coupled deep non-negative basis matrix factorization for low-resolution face image recognition
O
Ontologies	Making sense of hidden neuron activations with deductive reasoning
Ontology reasoning
open source community	A Trustworthiness Fuzzy Evaluation Model for Open Source Community
Over Approximation	An Abstraction Neural Network Generator for Efficient Formal Verification
P
Pairwise proximity	Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
path planning	Comparison and implementation of ROS-based SLAM and path planning methods
pearson correlation coefficient	Improved CDFSIP feature selection algorithm based on ADA-DPC
Person re-identification	Person Re-idedtification based on fusion of shared feature branches
Perturbation	On interval perturbation of the α-universal triple I algorithm for unified interval implications
Picat	Modeling and Solving Combinatorial Problems in Picat
Pre-trained language model	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Prompt Learning	CKKP:Chinese-Korean Text Classification via Knowledge Base and Prompt Learning
Q
quantum structure	Direct limits of EMV-algebras
quasi-arithmetic mean	Weighted Means based on Triangular Norms
R
real-time applications	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
Reasoning	Link Prediction Based on Pairwise Proximity Preserving Graph Neural Networks
Regular expression
Residual Network	Fine-grained Mushroom Image Classification by Resnet Combined with Attention Mechanism
Robustness	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
ROS	Comparison and implementation of ROS-based SLAM and path planning methods
RViz	Comparison and implementation of ROS-based SLAM and path planning methods
S
Sequential diagnostic prediction	Graph-based Diagnostic Prediction Model Based On Global Visit Contexts
SHACL	Research on Spatial Integrity Constraints of Linked Data
Shared feature layering	Person Re-idedtification based on fusion of shared feature branches
SLAM	Comparison and implementation of ROS-based SLAM and path planning methods
Spatial Integrity Constraints	Research on Spatial Integrity Constraints of Linked Data
Specificity	Granular Computing Measures for the Classical Formal Concepts and Intuitionistic Fuzzy Formal Concepts
Stock Price Prediction	An Improved Genetic Programming Based Factor Construction for Stock Price Prediction
T
T-power invariance	Characterizations of nilpotent T-power invariant implications
Tableau Calculus	Research on Spatial Integrity Constraints of Linked Data
task scheduling	A Heterogeneous Multicore Co-Scheduling Algorithm Based on Multi-characteristic Fuzzy Cluster
temporal convolution	Hierarchical time series forecasting based on temporal convolution and Attention mechanism
The CRI algorithm	On interval perturbation of the α-universal triple I algorithm for unified interval implications
The nilpotent T-power invariant implication	Characterizations of nilpotent T-power invariant implications
the triple I algorithm	On interval perturbation of the α-universal triple I algorithm for unified interval implications
The universal triple I algorithm	On simple perturbation of the α-universal triple I algorithm via specific interval implication operators
to be confirmed	Paraconsistent transition systems and their logics
triangular norm	Weighted Means based on Triangular Norms
trustworthiness measurement	A Trustworthiness Fuzzy Evaluation Model for Open Source Community
U
uninorm	Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators
Unreliable labeling environments	Weighted Consistent Multi-View Discriminant Analysis in Unreliable Labeling Environment
W
Weight correction	Low Resolution Face Image Recognition Based on Consistent Discriminant Correlation Analysis with Weight Correction
weighted mean	Weighted Means based on Triangular Norms
α
α-migrative property	Migrativity for uninorms in the usual classes over uninorms with continuous underlying operators

Disclaimer | Powered by EasyChair Smart Program