2016년에 출시된 SPSSAU는 4세대 웹 기반 통계 분석 소프트웨어로 자리 잡고 있습니다. 약 500개의 스마트 알고리즘과 테스트를 통합하여 세계의 대학 및 연구자들의 필요에 맞게 조정됩니다. SPSSAU의 주요 차별점은 표준화된 표, 분석 제안 및 지능적 해석을 제공하는 AI 기반 분석입니다. 설치할 필요 없이 간단한 드래그 앤 드롭 방식으로 파일 업로드를 통해 접근 가능하여 매우 사용자 친화적입니다. 이 소프트웨어는 다양한 데이터 형식을 지원하며 포괄적인 서비스와 시각화를 제공하여 원활하고 안전한 데이터 분석 프로세스를 보장합니다. 현재 전 세계 500만 명 이상의 사용자에게 서비스를 제공하며, 5천만 개 이상의 분석 결과를 생성하고 있습니다.

ASP-DALI는 논리 기반 지능형 에이전트를 정의하고 실행하는 통합 플랫폼을 제공합니다. 개발자는 ASP 규칙을 작성하여 에이전트의 지식과 목표를 표현하고, DALI 구성체를 사용하여 이벤트 반응과 작업 실행을 정의합니다. 런타임에는 ASP 해결기가 해답 세트(answer sets)를 계산하여 에이전트의 결정에 방향을 제시하며, 이를 통해 계획 수립, 이벤트에 대한 반응, 신념을 동적으로 조정할 수 있습니다. 이 프레임워크는 모듈식 지식베이스를 지원하여 점진적 업데이트와 선언적 규칙과 반응 행동 간의 명확한 분리를 가능하게 합니다. ASP-DALI는 Prolog로 구현되었으며, 대중적인 ASP 해결기와 인터페이스를 제공하여 연구와 프로토타입 환경에서의 통합과 배포를 쉽게 합니다.