LOGICALINTELLIGENCE

Elektronik, Software und Messgeräte

Herunterladbare Software für künstliche Intelligenz, maschinelles Lernen, Deep Learning, Generierung natürlicher Sprache, statistisches Lernen, überwachtes Lernen, unüberwachtes Lernen, Datamining, prädiktive Analytik und Computer Vision; herunterladbare Software für künstliche Intelligenz zur Implementierung energiebasierter Modelle, automatisierten Schlussfolgerns (automated reasoning), Constraint Solving und Entscheidungsfindung in kritischen Systemen; herunterladbare Software Development Kits (SDKs) zum Erstellen, Testen und Bereitstellen energiebasierter KI-Modelle und agentischen KI-Anwendungen; herunterladbare Software für künstliche Intelligenz, die energiebasierte Modelle für mathematisches und räumliches Denken (reasoning) nutzt; herunterladbare Programmierschnittstellen (API)-Software zur Integration von KI-Schlussfolgerungsmaschinen (reasoning machines) in Anwendungen Dritter; herunterladbare Software zur Überprüfung von Softwarecode auf die Einhaltung festgelegter Sicherheits-, Schutz- und Zuverlässigkeitsanforderungen; herunterladbare Software zum Entwickeln, Trainieren, Bewerten und Bereitstellen von energiebasierten Modellen künstlicher Intelligenz und agentischen Schlussfolgerungssystemen (reasoning systems); herunterladbare Software zur KI-Inferenz-Orchestrierung, Constraint-basiertes Schlussfolgern und automatisierten Entscheidungsfindung; herunterladbare Software zur formalen Verifizierung und Validierung von Softwarecode und Modellausgaben (model outputs); herunterladbare Software, die künstliche Intelligenzmodelle nutzt, um generative KI-Textaufgaben sowie KI-Aufgaben im Bereich der Verarbeitung natürlicher Sprache auszuführen; herunterladbare Software zum Verarbeiten und Generieren von Abfragen in natürlicher Sprache; herunterladbare Software, die künstliche Intelligenz (KI) zum Erzeugen von Sprache, Text, Bildern, Videos, Ton und Code nutzt; herunterladbare Software für multimodale, auf maschinellem Lernen basierende Verarbeitung von Sprache, Text, gesprochenem Wort, Bildern, Videos, Code und Ton; herunterladbare Software zum Erleichtern der Interaktion und Kommunikation zwischen Menschen und KI-Chatbots in den Bereichen Wissenschaft, Ingenieurwesen, Mathematik, Informatik, Kunst, Musik, Sprache, Unterhaltung und Allgemeinwissen; herunterladbare Computersoftware zum Erleichtern der multimodalen Eingabe von natürlicher Sprache, gesprochenem Wort, Text, Bildern, Videos, Code und Ton; herunterladbare Software zum Erleichtern der Interaktion und Kommunikation zwischen Menschen und KI-Chatbots; herunterladbare Software zur Verarbeitung, Generierung, zum Verständnis und zur Analyse natürlicher Sprache; herunterladbare Software zum Erstellen generativer Modelle künstlicher Intelligenz; herunterladbare Software zum Verarbeiten von Sprache, Text, Ton, Code, Videos, Bildern und Toneingaben (sound input); herunterladbare Software zum Generieren von Sprache, Text, Ton, Code, Videos, Bildern und Tonausgaben (sound output).

Wissenschaft, Technik und IT

Bereitstellung von nicht herunterladbarer Online-Software für Software für künstliche Intelligenz, maschinelles Lernen, Deep Learning, Generierung natürlicher Sprache, statistisches Lernen, überwachtes Lernen, unüberwachtes Lernen, Datamining, prädiktive Analytik und Computer Vision; Bereitstellung von nicht herunterladbarer Online-Software für künstliche Intelligenz zur Implementierung energiebasierter Modelle, automatisierten Schlussfolgerns (automated reasoning), Constraint Solving und Entscheidungsfindung in kritischen Systemen; Bereitstellung von nicht herunterladbarer Online-Software Development Kits (SDKs) zum Erstellen, Testen und Bereitstellen energiebasierter KI-Modelle und agentischen KI-Anwendungen; Bereitstellung von nicht herunterladbarer Online-Software für künstliche Intelligenz, die energiebasierte Modelle für mathematisches und räumliches Denken (reasoning) nutzt; Bereitstellung von nicht herunterladbarer Online-Programmierschnittstellen (API)-Software zur Integration von KI-Schlussfolgerungsmaschinen (reasoning machines) in Anwendungen Dritter; Bereitstellung von nicht herunterladbarer Online-Software zur Überprüfung von Softwarecode auf die Einhaltung festgelegter Sicherheits-, Schutz- und Zuverlässigkeitsanforderungen; Bereitstellung von nicht herunterladbarer Online-Software zum Entwickeln, Trainieren, Bewerten und Bereitstellen von energiebasierten Modellen künstlicher Intelligenz und agentischen Schlussfolgerungssystemen (reasoning systems); Bereitstellung von nicht herunterladbarer Online-Software zur KI-Inferenz-Orchestrierung, Constraint-basiertes Schlussfolgern und automatisierten Entscheidungsfindung; Bereitstellung von nicht herunterladbarer Online-Software zur formalen Verifizierung und Validierung von Softwarecode und Modellausgaben (model outputs); Bereitstellung von nicht herunterladbarer Online-Software, die künstliche Intelligenzmodelle nutzt, um generative KI-Textaufgaben sowie KI-Aufgaben im Bereich der Verarbeitung natürlicher Sprache auszuführen; Bereitstellung von nicht herunterladbarer Online-Software zum Verarbeiten und Generieren von Abfragen in natürlicher Sprache; herunterladbare Software, die künstliche Intelligenz (KI) zum Erzeugen von Sprache, Text, Bildern, Videos, Ton und Code nutzt; Bereitstellung von nicht herunterladbarer Online-Software für multimodale, auf maschinellem Lernen basierende Verarbeitung von Sprache, Text, gesprochenem Wort, Bildern, Videos, Code und Ton; Bereitstellung von nicht herunterladbarer Online-Software zum Erleichtern der Interaktion und Kommunikation zwischen Menschen und KI-Chatbots in den Bereichen Wissenschaft, Ingenieurwesen, Mathematik, Informatik, Kunst, Musik, Sprache, Unterhaltung und Allgemeinwissen; Bereitstellung von nicht herunterladbarer Online-Software zum Erleichtern der multimodalen Eingabe von natürlicher Sprache, gesprochenem Wort, Text, Bildern, Videos, Code und Ton; Bereitstellung von nicht herunterladbarer Online-Software zum Erleichtern der Interaktion und Kommunikation zwischen Menschen und KI-Chatbots; Bereitstellung von nicht herunterladbarer Online-Software zur Verarbeitung, Generierung, zum Verständnis und zur Analyse natürlicher Sprache; Bereitstellung von nicht herunterladbarer Online-Software zum Erstellen generativer Modelle künstlicher Intelligenz; Bereitstellung von nicht herunterladbarer Online-Software zum Verarbeiten von Sprache, Text, Ton, Code, Videos, Bildern und Toneingaben (sound input); Bereitstellung von nicht herunterladbarer Online-Software zum Generieren von Sprache, Text, Ton, Code, Videos, Bildern und Tonausgaben (sound output); Forschung und Entwicklung auf dem Gebiet der künstlichen Intelligenz, nämlich energiebasierte Schlussfolgerungsmodelle (energy based reasoning models), Architekturen für automatisiertes Schlussfolgern (automated reasoning architectures) und sicherheitskritische KI-Systeme; Forschungs- und Entwicklungsdienstleistungen auf dem Gebiet der künstlichen Intelligenz; Forschung, Entwicklung und Bewertung von Large Language Models (LLM), energiebasierten Modellen und Datensätzen.

Inhaberin

Vertreterin