SPSSAU, launched in 2016, stands as a fourth-generation web-based statistical analysis software. It integrates approximately 500 intelligent algorithms and tests, tailoring to the needs of global universities and researchers. SPSSAU's key differentiator is its AI-powered analytics that provide standardized tables, analysis suggestions, and intelligent interpretations. With a no-installation approach, it's accessible through simple drag-and-drop file uploads, making it extremely user-friendly. The software supports various data formats and offers comprehensive services and visualizations, ensuring a seamless and secure data analysis process. It currently serves over 5 million users worldwide, producing more than 50 million analysis results.

ASP-DALI provides a unified platform for defining and executing logic-based intelligent agents. Developers write ASP rules to represent agent knowledge and goals, while DALI constructs define event reactions and action executions. At runtime, an ASP solver computes answer sets that guide the agent’s decisions, enabling it to plan, react to incoming events, and adjust beliefs dynamically. The framework supports modular knowledge bases, facilitating incremental updates and clear separation between declarative rules and reactive behaviors. ASP-DALI is implemented in Prolog with interfaces to popular ASP solvers, simplifying integration and deployment across research and prototype scenarios.