|
NCMA 2025
Non-Classical Models for Automata and Applications
|
|
IPPR 2025
11th International Conference on Image Processing and Pattern Recognition
|
|
HCVS 2025
12th Workshop on Horn Clauses for Verification and Synthesis
|
|
KR 2025
22nd International Conference on Principles of Knowledge Representation and Reasoning
|
|
ICMLSC 2025
9th International Conference on Machine Learning and Soft Computing
|
|
JELIA 2025
19th European Conference on Logics in Artificial Intelligence
|
|
AAIA 2025
Advanced Artificial Intelligence in Applications - IEEE FedCSIS
|
|
SLIE 2025
Semantic, Logics, Information Extraction and AI (SLIE)
|
|
QR 2025
38th International Workshop on Qualitative Reasoning at IJCAI
|
|
ICCBR 2025
33rd International Conference on Case-based Reasoning
|
