Tutorials
Standard Contradiction Based Automated Theorem Generation (ATG): Methods, Tools and Applications
Special Sessions
1. AI for Agriculture - Innovations and Applications
- Guanjin Wang - School of IT, Murdoch University, Australia
- Junyu Xuan - AAII, University of Technology Sydney, Australia
- Wenyong Li - National Engineering Research Center for Information Technology in Agriculture, China
- Ferdous Sohel - Murdoch University, Australia
Artificial Intelligence is transforming agriculture, enabling smarter, more efficient, and sustainable farming. This special session will showcase advances in AI methods and applications for crop, livestock, and resource management, while addressing challenges of adoption, trust, scalability, and ethical deployment.
- Present novel AI approaches to key agricultural challenges.
- Highlight trustworthy, explainable and sustainable AI for agriculture.
- Share case studies and industry applications demonstrating real-world impact.
- Encourage cross-disciplinary collaboration among AI researchers, agricultural scientists, industry, and policymakers.
We invite contributions (theoretical, empirical or applied) in topics including, but not limited to:
- Precision agriculture, computer vision for crop monitoring
- Predictive analytics for yield, climate adaptation, and soil health
- Genotype-to-phenotype prediction and AI-driven plant/animal breeding applications
- Pest, disease, and weed detection using AI
- Smart irrigation and resource management
- AI for livestock health and welfare monitoring
- Robotics and automation in farming
- Climate-informed AI for agricultural resilience
- Statistical AI methods for time series, extremes, and spatial analysis in agriculture
- LLMs, VLMs, and multimodal AI for agricultural knowledge integration, extension services, and decision-making
- Data-driven sustainable agriculture and food security
- AI-enabled agri-food supply chain optimization
- Explainable, trustworthy, and ethical AI in agriculture
2. Responsible AI for Social Good
- Qian Liu - University of Auckland, New Zealand
- Junyi Chen - University of Auckland, New Zealand
- Hang Yu - Shanghai University, China
- Yi Zhang - AAII, University of Technology Sydney, Australia
Artificial intelligence holds immense promise to advance human well-being, equity, and sustainability-yet realizing this promise requires methods and deployments that prioritize social impact, safety, and accountability alongside technical excellence.
This Special Session invites research that translates advances in learning, reasoning, sensing, and interaction into measurable benefit for social communities. We particularly welcome work that goes beyond benchmark accuracy to foreground responsible data practices, transparency and accountability, human-centered and participatory design, and rigorous real-world evaluation. Topics of interest include, but are not limited to:
- Advanced AI methods for social computing (e.g., graph neural networks, agent-based simulation, social network analysis)
- Fairness and equity (e.g., bias mitigation, equitable resource allocation)
- Transparency and interpretability (e.g., accountability in high-stakes decisions)
- Affective computing (e.g., well-being, empathy-aware agents, mental-health support)
- Responsible foundation and multimodal models for societal impact
- Causal reasoning and policy analysis (e.g., causal inference, counterfactuals, evaluation)
- Inclusive language technologies (e.g., low-resource, multilingual, culturally adaptive NLP for public services)
- Crisis informatics (e.g., disaster prediction, early warning, response, recovery)
- AI for climate and environment (e.g., adaptation, mitigation, biodiversity monitoring, sustainable agriculture)
- Information integrity and safety (e.g., misinformation, content quality, ecosystem health)
- Human-AI collaboration and decision support (e.g., trust, calibration, mixed-initiative systems)
3. AI for Health
- Kairui Guo - AAII, University of Technology Sydney, Australia
- Hua Lin - 23Strands, Australia
- Mark Grosser - 23Strands, Australia
- Jie Lu - AAII, University of Technology Sydney, Australia
AI is transforming the healthcare landscape, offering unprecedented opportunities to improve disease detection and prediction, diagnosis, treatment, and patient outcomes. Research on AI for health is a new direction of AI applications because it enables the development of intelligent systems that can analyse vast and complex medical data, such as genomic information, images, and electronic health records, at a scale and speed far beyond human capacity. Through advanced machine learning algorithms, AI can support early disease detection, personalised medicine, and predictive analytics, helping clinicians make faster and more accurate decisions. Moreover, AI research can significantly enhance healthcare accessibility and efficiency. By automating routine tasks, optimising resource allocation, and supporting telemedicine, AI can alleviate the burden on healthcare professionals and extend quality care to underserved populations.
Ultimately, advancing AI research for health is not only a technological imperative but also a societal one in our quality of life. It holds the potential to revolutionise disease prevention, diagnosis, and treatment, improving outcomes, reducing costs, and enabling a more proactive, data-driven, and patient-centred healthcare system for the future.
Keywords: AI, machine learning, health, healthcare.
The main topics of this special session include, but are not limited to, the following:
- Health data feature selection and extraction
- Health data knowledge representation and graph
- Health data classification and clustering
- Transfer learning applications in health
- Concept drift detection models in health
- Recommender systems to personalised health
- Neural networks and deep learning for modelling complex health problems
- Machine learning-based decision support in health
- Human-centred healthcare systems
- Intelligent healthcare management systems
- Medical image process
4. Spatial Intelligence: Representation, Reasoning and Decision-Making
- Zhedong Zheng - University of Macau, Macao SAR, China
- Shengqiong Wu - National University of Singapore, Singapore
- Hao Fei - National University of Singapore, Singapore
- Yaxiong Wang - Hefei University of Technology, China
- Ping Liu - University of Nevada, Reno, USA
- Yadan Luo - University of Queensland, Australia
The creation of agents that can intelligently operate in the physical world is a grand challenge in AI. While current systems excel at spatial perception, they often lack the deeper cognitive abilities to truly understand and reason about their surroundings. This bottleneck limits their autonomy, adaptability, and ability to collaborate with humans in complex, dynamic environments.
This Special Session focuses on the core cognitive pipeline that underpins true spatial intelligence: Representation → Reasoning → Decision-Making. We aim to move beyond pattern recognition to explore how abstract spatial knowledge can be structured, how logical and causal inferences can be drawn from it, and how these inferences can guide robust and explainable actions. Topics of interest include, but are not limited to:
1.Spatial Representation:
- Neuro-symbolic and hybrid representations for spatial knowledge.
- Semantic, topological, and hierarchical mapping of complex environments.
- Spatial knowledge graphs and their construction from multi-modal data.
- Representations that afford causal and physical reasoning.
- Implicit and explicit representations for dynamic scenes.
2.Spatial Reasoning:
- Spatial commonsense reasoning (e.g., object permanence, affordances, functional relationships).
- Qualitative, quantitative, and logical formalisms for spatial inference.
- Predictive reasoning about the consequences of actions and events.
- Integrating Large Language Models (LLMs) for high-level spatial planning and reasoning.
- Causal inference in physical and spatial contexts.
3.Spatial Decision-Making and Applications:
- Long-horizon task and motion planning grounded in spatial understanding.
- Explainable and verifiable decision-making for autonomous agents.
- Human-robot interaction and collaboration in shared physical spaces.
- Spatial Question Answering (SQA) and instruction following.
- Cognitively-inspired models for navigation and spatial problem-solving
5. Integrating Data and Knowledge for Trustworthy AI (DK-TAI)
- Jun Liu - Ulster University, United Kingdom
- Chris Nugent - Ulster University, United Kingdom
- Kare Synnes - Luleå University of Technology, Sweden
- Liming Chen - Dalian University of Technology, China
- Rosa M. Rodríguez Domínguez - University of Jaén, Spain
Trustworthy AI depends on more than model accuracy. It requires robustness, fairness, explainability, compliance, and verifiable alignment with human values and domain constraints. Data-driven learning often struggles with reliability and transparency in real-world, safety-critical settings, while knowledge-based systems can lack adaptability and coverage.
This special session will bring together researchers and practitioners working at the intersection of data-centric machine learning (e.g., foundation models, self-supervision, data governance) and knowledge-centric AI (e.g., logic, ontologies, knowledge graphs, causal models, constraints) to explore hybrid methods that deliver measurable trust properties across a range of application domains.
We invite contributions that (i) integrate symbolic knowledge with data-driven models; (ii) quantify and guarantee trust attributes; and (iii) deploy these methods responsibly in domains such as healthcare, finance, science, climate, law, manufacturing, and public services.
- Architectures that combine learning with reasoning (neuro-symbolic, retrieval-augmented, KGs + LLMs, constraint-aware learning)
- Data governance for trust: data quality, lineage, labelling, curation, and documentation (datasheets, model cards, fact sheets)
- Formal methods and verification for ML systems; certifiable robustness and safety envelopes
- Causal discovery/inference and counterfactual reasoning for fairness, robustness, and interpretability
- Ontology/knowledge graph construction, alignment, and grounding for AI systems
- Program synthesis, domain-specific languages (DSLs), and rule learning for interpretable policies and controllers
- Human-in-the-loop and participatory approaches to encode domain knowledge and norms
- Methods to detect and mitigate bias, toxicity, hallucinations, and distribution shift using knowledge constraints
- Trust metrics and benchmarks that reflect real-world reliability, calibration, and uncertainty quantification
- Privacy-preserving and secure learning (federated, differential privacy, homomorphic encryption) with domain knowledge
- Governance, auditing, and compliance tooling; policy-to-constraint translation; red-teaming with knowledge assets
- Impact against complying with regulatory frameworks or governing bodies, for example the EU AI Act, US Executive Order on AI and China’s AI Labelling rules
- Case studies and deployments in regulated or safety-critical sectors; lessons learned and negative results
6. Evolving Deep and Transfer Learning Models for Computer Vision and Medical Imaging
- Li Zhang - Royal Holloway, University of London, United Kingdom
- Chee Peng Lim - Swinburne University of Technology, Australia
- Houshyar Asadi - Deakin University, Australia
- Yonghong Yu - Nanjing University of Posts and Telecommunications, China
- Haoqian Huang - Hohai University, China
Automated diagnostic imaging problems are challenging owing to data scarcity, poor data quality (e.g. low contrast, occlusions, and distractors), complex characteristics of the diagnostic problems and subtle and delicate distinctiveness between benign and tumour scenarios. Deep learning and transfer learning show superior capabilities of tackling computer vision and automated medical diagnostic problems. Examples include the proposal and adoption of a variety of deep architectures for image synthesis (e.g. auto-encoders, Generative Adversarial Networks and ChatGPT-4o), segmentation (e.g. SegFormer and OneFormer), detection (e.g. YOLOv12), and classification (e.g. SqueezeNet, I3D, R3D, vision and Swin transformers). Moreover, the transfer learning process based on pre-trained models is able to overcome barriers related to data scarcity by transferring learned features to a new task. It enables the networks to not only embed rich features learned from a wide range of non-medical images during pre-training, but also acquire new feature representations from the learning process of a new domain.
However, the design of new and effective deep learning models and identification of the optimal hyper-parameters of the resulting as well as transfer learning models require profound domain knowledge, which may not always be available to researchers. In parallel, evolutionary algorithms show powerful search capabilities of solving single-, multi-, and many-objective optimization problems. In this regard, the superior search capabilities of evolutionary computing algorithms allow them to tackle such optimization problems, e.g. to devise evolving deep neural networks that fit the tasks at hand, as well as to identify optimal hyper-parameters of the transfer learning process.
This special session aims to stimulate studies pertaining to not only complex deep learning-based computer vision and medical imaging systems but also optimal topology and hyper-parameter identification for such deep networks through evolutionary computing and related paradigms.
- Image segmentation & visual saliency detection
- Object detection and recognition
- Image classification and automated medical diagnosis (using X-rays, CT scan, MRI, ultrasound, microscopic and dermoscopic images)
- Hybrid clustering models
- Evolutionary algorithms and soft computing techniques (e.g. Genetic Algorithm and Evolutionary Programming)
- Signal and image processing
- Facial expression recognition
- Human action recognition
- Image/video captioning
- Visual question generation and answering
- Image reconstruction and synthesis
- Feature extraction and selection
- Visual perception and learning
- Health monitoring and surveillance
- Machine learning, deep learning, and transfer learning for computer vision and medical imaging
- Evolving deep architecture generation for computer vision, medical imaging and signal processing problems
- Optimal hyper-parameter identification for deep learning, transfer learning, and other classification and regression models
- Optimal topology generation for machine learning and ensemble learning models
7. Smart Hybrid Intelligence for Enhanced Learning-Driven Defense (SHIELD)
- Grzegorz Kołaczek - Wrocław University of Science and Technology, Poland
- Udayanto Dwi Atmojo - Aalto University, Finland
- Miguel Couceiro - University of Lisbon, Portugal
- Georg Macher - Graz University of Technology, Austria
- Hilal Hudan Nuha - Telkom University, Indonesia
- Parman Sukarno - Telkom University, Indonesia
- Vera Suryani - Telkom University, Indonesia
This special session explores the critical intersection of artificial intelligence(AI), machine learning (ML) and cybersecurity. It addresses the growing need for intelligent defence mechanisms against increasingly sophisticated cyber threats. The session will focus on advanced computational intelligencetechniques, including deep learning architectures, hybrid ML-fuzzy approaches, knowledge-based reasoning and large language models (LLMs), for modelling emergent threats, enhancing intrusion and anomaly detection in uncertain situations, automating vulnerability discovery and improving security-oriented decision-making processes. By integrating soft computing with cutting-edge AI methods, the session aims to develop robust, adaptive and transparent solutions to protect modern digital systems.
8. Machine Learning in Computer Vision for Practical Decision Making
- Zulfiqar Habib - COMSATS University Islamabad, Lahore Campus, Pakistan
- Usama Ejaz Bajwa - COMSATS University Islamabad, Lahore Campus, Pakistan
- Aksam Iftikhar - COMSATS University Islamabad, Lahore Campus, Pakistan
- Allah Bux Sargano - University of Bergen, Norway
This session focuses on how modern Machine Learning methods improve Computer Vision tasks such as detection, tracking, recognition, segmentation and 3D understanding. The aim is to bring together researchers working on real-life problems where visual data plays a key role in decision making. The session will encourage works that solve practical issues in health, security, agriculture, transport and industry through efficient ML-based vision systems. It will provide a good platform for sharing new ideas, lightweight solutions and explainable models suitable for real-world deployment.
9. Artificial Intelligence for Sustainable Agriculture
- Honglei Xu - Curtin University, Australia
- Chengdao Li - Murdoch University, Australia
This special session aims to bring together researchers and practitioners working at the intersection of artificial intelligence (AI), data analytics, and modern agriculture. It focuses on emerging AI methods that enhance efficiency, sustainability, and resilience in agriculture. Its scope covers AI applications for precision farming, crop and soil monitoring, yield forecasting, water and nutrient optimization, disease and pest detection, autonomous machinery, crop gene engineering, smart logistics, etc. It will explore advances in applications of AI and data analytics to enhance productivity, reduce environmental impact, and strengthen resilience across agricultural value chains.
10. Data Stream Mining under Concept Drift: Algorithms, Benchmarks, and Applications
- Yinan Guo - China University of Mining and Technology (Beijing), China
- Shengxiang Yang - De Montfort University, United Kingdom
- Wenbin Pei - Dalian University of Technology, China
- Botao Jiao - China University of Petroleum (East China), China
With the rapid deployment of sensing, IoT, and industrial monitoring systems, massive data are generated continuously in a streaming fashion, known as data streams. In many realworld scenarios, such as industrial process monitoring, finance, smart city sensing, and cybersecurity, the underlying data distribution in data streams evolves over time due to environmental changes, system aging, user behavior shifts, or external disturbances. This phenomenon, known as concept drift, poses significant challenges to traditional learning models that assume a stationary distribution. Data stream mining under concept drift has therefore become an essential research topic. Recent advances include drift detection, incremental ensemble learning, label-scarce data stream learning, class-evolving streams learning, and multistream learning. This Special Session aims to bring together researchers and practitioners to share recent developments in algorithms, evaluation methodologies, benchmark design, and real-world applications for concept drift data stream mining. We welcome contributions from machine learning, data mining, computational intelligence, deep learning, and real-time decision-making communities.
We invite submissions on all topics of data stream mining, including but not limited to:
- Concept drift detection, understanding, and adaptive mechanisms
- Adaptive online classification and regression models
- Online semi-supervised and label-scarce learning under drift
- Class-evolving and open-set data stream learning
- Ensemble and incremental learning for streaming data
- Active learning for streaming data with concept drift
- Imbalanced and rare-event data stream learning
- Multistream classification and asynchronous drift learning
- Adaptive learning for trapezoidal data stream with concept drift
- Synthetic drift generators and real-world drift construction
- Real-world applications of data stream mining
11. Learning for Graphs
- Ming Li - Zhejiang Normal University, China
- Feilong Cao - Zhejiang Normal University, China
- Feng Xia - RMIT University, Australia
- Pietro Liò - University of Cambridge, United Kingdom
This special session focuses on learning methods for graph-structured data, including theoretical foundations, model design, and practical applications. With the rapid growth of graph neural networks, graph/hypergraph learning, and graph foundation models, there is a strong need to better understand their capabilities, limitations, and deployment in real-world systems. The session aims to bring together researchers working on theory, algorithms, and applications of learning for graphs, fostering dialogue between methodological advances and domain-driven problems.
12. Building Reliable Agents by Fusing LLMs with Knowledge Graphs
- Xinzhi Wang - Shanghai University, China
- Weinan Zhang - Shanghai Jiao Tong University, China
Building reliable LLM-derived agents requires combining the generative and reasoning strengths of large language models with mechanisms that enhance accuracy, safety, and control. As current LLMs and agents continue to face reliability limitations, this session examines how integrating LLMs with structured, verifiable knowledge graphs can address these gaps. We highlight hybrid architectures that unite flexible language generation with grounded, factual, and maintainable knowledge sources. By leveraging these complementary strengths, the session focuses on enabling transparent, dependable agents capable of robust multi-step reasoning while reducing dependence on brittle, parametric memory alone.
13. Artificial Intelligence for Optimization and Decision Making
- Zhen Zhang - Dalian University of Technology, China
- Lijun Sun - Dalian University of Technology, China
- Jiapeng Liu - Xi'an Jiaotong University, China
- Yucheng Dong - Sichuan University, China
The rapid emergence and evolution of Artificial Intelligence (AI) have introduced transformative paradigms for automating and enhancing decision-making processes. This session features cutting-edge advances that integrate AI, data analytics, optimization, and decision science to reshape organizational decision making. We welcome research on intelligent and adaptive frameworks, including real-time optimization, human-AI collaborative decision processes, machine learning- and LLM-driven decision models, as well as AI-driven multi-criteria and group decision making. Contributions demonstrating both theoretical innovation and practical impact in domains such as operations, finance, and healthcare management are particularly encouraged, with the goal of shaping AI-enabled managerial decisions.
14. Information Aggregation Tools for Artificial Intelligence
- Javier Montero - Complutense University of Madrid, Spain
- Daniel Gomez - Complutense University of Madrid, Spain
The technological revolution that comes with Artificial Intelligence is changing our world and the way we look at reality, supported by a massive access to recorded data.
But a previous stage to deal with such a massive recording is the availability of a wide and flexible family of aggregative tools, to properly describe information in such a way that not only explainable decisions can be reached, but also that improvements can be suggested in our learning system, and even detect possibilities for innovation. This situation might imply a revision of some classical statistical approaches that should be linked with alternative models for uncertainty besides Probability, similarly as the human brain does, capturing essential information (including emotions) by means of fuzzy concepts.
In this special session we pursue to explore the latest theoretical advances in the design of aggregation tools, and also their application in any field of knowledge that implies the management of information in any possible format (numerical, graphical, linguistic, visual, sound, etc.)
15. Emerging Cross-Modal Data Science for Generative AI
- Jianxin Li - Edith Cowan University, Australia
- Xiangjie Kong - Zhejiang University of Technology, China
- Xiaoming Li - Zhejiang Yuexiu University, China
- Yunliang Chen - China University of Geosciences, China
- Zhihai Yang - Chang'an University, China
- Jingxian Cheng - Chang'an University, China
- Liang Qu - Edith Cowan University, Australia
This special session focuses on emerging cross-modal data science techniques that fuse text, vision, audio, sensor and graph data to power next-generation generative AI. We aim to bring together researchers and practitioners working on representation learning, alignment, reasoning and evaluation across modalities, including foundation models and domain-specific applications. The session will highlight novel algorithms, scalable systems and real-world case studies, as well as challenges in robustness, fairness, privacy and responsible deployment of cross-modal generative intelligence.
16. Toward Trustworthy Machine Learning in the Wild: Theory, Algorithm and Application
- Bo Peng - University of Technology Sydney, Australia
- Sean Su - Nanyang Technological University, Singapore
- Zhen Fang - University of Technology Sydney, Australia
- Sharon Yixuan Li - University of Wisconsin-Madison, USA
- Ling Chen - University of Technology Sydney, Australia
Deployed machine learning (ML) systems increasingly operate under dataset shift, partial observability, distributional drift, and adversarial pressure. In safety- and mission-critical contexts (healthcare, finance, autonomy, climate risk, scientific discovery), these systems must be reliable, robust, fair, private, and accountable-not just accurate on static benchmarks. Despite rapid advances, real-world deployments still face: Sensitiveness to out-of-distribution (OOD) inputs; Miscalibrated model uncertainty; Vulnerability to adversarial attack; Ethical and fairness bias
This special session brings together advances in theory (e.g., distributionally robust optimization, uncertainty quantification, calibration, guarantees under shift), algorithms (OOD detection, OOD generalization and robust learning), and applications (e.g., healthcare and autonomous systems) to connect principled risk bounds with scalable methods and field results, spotlighting evaluation protocols that reflect operational realities.
This special session on trustworthy machine learning (TML) is a unique endeavor that bridges the gap among theory, algorithm and application, which is significantly different from prior sessions with focus on structured domains, specific applications, or particular TML paradigms. In addition, our session addresses an urgent need in the era of foundation models (e.g., large language models). Foundation models, which have shown great abilities in solving many problems, are notorious for poor trustworthiness in real-world environments. For instance, foundation models tend to hallucinate something or generate misleading or unethical outputs that conflict with human values, putting critical decisions at risk. Our session seeks to tackle these pressing challenges by providing a significant collective contribution to this emerging field of study.
Topics of Interest (including but not limited to):
- Distribution shift: OOD detection, OOD generalization, Test-time adaptation
- Uncertainty estimation and calibration: Bayesian deep learning and conformal prediction
- Adversarial learning: robustness to adversarial manipulation of models and data
- Ethic and fairness: fairness definition and assessment, bias identification and mitigation
- Trustworthy foundation models: jailbreak and prompt-injection defenses, data poisoning and backdoors, hallucination detection/mitigation
- Autonomous trustworthy machine learning: hyperparameter optimization and neural architecture search
- Datasets and reproducibility: the benchmark dataset, platform or measure to evaluate the trustworthiness of machine learning models in real-world contexts
- Applications: computer vision, natural language processing, biology, physics, chemistry
17. Towards Responsible Intelligent Decision Support Systems
- Bapi Dutta - University of Jaén, Spain
- Rosa M. Rodríguez - University of Jaén, Spain
- Raciel Yera Toledo - University of Jaén, Spain
- Luis Martínez - University of Jaén, Spain
Intelligent Decision Support Systems (IDSS) play a relevant role in contemporary decision-making, supporting human judgment across areas such as healthcare, finance, logistics, education, and public administration. With the growing incorporation of artificial intelligence, machine learning, and computational intelligence techniques, concerns related to fairness, transparency, and trust have become central research challenges. While conventional approaches tend to prioritize performance metrics like accuracy and efficiency, they often overlook essential issues such as ethical considerations, model interpretability, and uncertainty handling, which are essential for achieving responsible and equitable decision-making.
This special session seeks to create a multidisciplinary forum for discussing recent theoretical insights, methodological innovations, and real-world applications focused on improving fairness, transparency, and trustworthiness in intelligent decision support systems. In this context, fuzzy logic and other soft computing techniques provide valuable tools for modeling human-like reasoning and producing explainable decisions. The combination of fuzzy approaches with modern IDSS, artificial intelligence, machine learning, and data-driven techniques enables the development of hybrid solutions that strengthen interpretability, accountability, and ethical awareness in automated decision processes.
The session invites contributions in the following areas (but not limited to):
- Fairness-aware fuzzy modeling and inference mechanisms.
- Fuzzy and hybrid approaches for explainable and trustworthy IDSS.
- Bias detection and mitigation in fuzzy decision-making frameworks.
- Multi-criteria and fuzzy-based methods for fair decision support.
- Trust modeling and uncertainty quantification in human-machine collaboration.
- Evaluation metrics for fairness, robustness, and interpretability in fuzzy systems.
- Consensus reaching processes and conflict resolution models for fair group decision-making.
- Linguistic, hesitant, and probabilistic fuzzy approaches for collective agreement and fairness analysis.
- Explainable consensus models.
- Explanation and fairness in recommendation systems.
- Trust-aware aggregation operators and fairness-preserving fusion mechanisms in group decisions. Real-world applications demonstrating fairness and trust in IDSS.
This session seeks to advance both the theoretical and applied understanding of fairness, trustworthiness and transparency in decision support environments, across the synergy between fuzzy systems and responsible AI.
18. Spatio-Temporal Autonomous Learning in Uncertain Decision Situations
- Kun Wang - School of Computer Engineering and Science, Shanghai University, China
- En Yu - AAII, University of Technology Sydney, Australia
- Ruiping Yin - School of Computer Science, Beijing University of Technology, China
- Bin Wang - Computer Science and Technology, Ocean University of China, China
In dynamic and unpredictable real-world environments, massive spatio-temporal data exhibit dynamic and uncertain characteristics, posing challenges to autonomous learning and decision-making in non-stationary environments. Intelligent systems must continuously learn from spatio-temporal data while accounting for inherent uncertainties.
This special session is dedicated to exploring cutting-edge advancements for spatio-temporal autonomous learning under uncertainty, and their translation into practical applications. We aim to bring together researchers and practitioners to discuss algorithms, theoretical frameworks, and real-world applications that enable systems to perceive, reason, and act in non-stationary sequential scenarios.
This special session welcomes high-quality contributions spanning theoretical, methodological, and applied facets of spatio-temporal learning, encompassing (but not limited to):
- Theoretical foundations of spatio-temporal data mining
- Online and continual learning for spatial-temporal data
- Reinforcement learning under spatial-temporal uncertainties
- Algorithms for handling multi-modal data with evolving distributions
- Real-time anomaly detection and predictive modelling
- Adaptive and robust autonomous learning for smart city
- Recommender systems with temporal and contextual awareness
- Graph machine learning for spatial and relational data
- Generative AI for spatio-temporal pattern synthesis
- Real-world applications in mobility, climate, healthcare, social media, and more
19. Human-Centric Intelligence: Behavioural Dynamics and Social Sensing for Resilience
- Angela Huo – School of Computer Science, University of Technology Sydney, Australia
- Xiufeng Liu - Department of Technology, Management and Economics, Technical University of Denmark, Denmark
- Jianli Zhao - School of Computer Science and Engineering, Shandong University of Science and Technology, China
- Haizhou Du - School of Computer Science and Engineering, Shanghai University of Electric Power, China
- Kaize Shi - School of Mathematics, Physics and Computing, University of Southern Queensland, Australia
- Anchen Li - Department of Computer Science, Aalto University, Finland
Modern accident events, from natural disasters to infrastructure failures, are not merely physical challenges; they are complex Cyber-Physical-Social Systems (CPSS) problems. While traditional control systems excel at managing physical infrastructure, they often fail to account for the highly non-linear and "irrational" dynamics of human behaviour under stress (e.g., panic propagation, non-compliance with safety orders, and information cascades).
This special session aims to bridge the gap between Web Technologies (Social Sensing) and Computational Intelligence (Control & Decision). We invite research that treats human behaviour not as random noise, but as a critical variable in the control loop of incident management.
We are seeking contributions that utilise Fuzzy Logic, Neural Networks, and Evolutionary Computing to detect, model, and guide human behaviour during various dynamics, ensuring that decision support systems remain effective even when the "human factor" is unpredictable.
-
The session invites contributions in the following areas (but not limited to):
- Social Sensing for Management: utilizing Large Language Models (LLMs) and NLP to extract real-time actionable intelligence from different data resources, such as social media, multimedia, sensor data etc.
- Modeling Crowd Dynamics: Applying Graph Neural Networks (GNNs) and agent-based modeling to predict panic diffusion, stampedes, and irregular evacuation patterns that defy standard physical models.
- Information Control and Misinformation Mitigation: Algorithms to detect and counteract the spread of dangerous rumors (e.g., fake rescue zones) that compromise physical safety operations.
- Human-in-the-Loop Resilient Control: Designing feedback control laws that adapt to real-time changes in public compliance and sentiment.
- Fairness in Triage and Logistics: Fuzzy decision-making frameworks for ethical resource allocation (food, shelter, medical aid) in data-scarce and high-stakes environments.
- Privacy-Preserving Behavioral Analysis: Federated learning approaches to analyzing mobility and behavior in sensitive zones without compromising survivor privacy.