Finde Modelle, Firmen und Themen

Constraint Answer Set Programming (CASP) verbindet die deklarative Logik von Answer Set Programming (ASP) mit der leistungsfähigen Verarbei…

In einer kürzlich veröffentlichten Arbeit auf arXiv (2601.20735v1) stellen Wissenschaftler einen innovativen Ansatz vor, der das Metric Ans…

Eine neue Veröffentlichung auf arXiv (2601.04274v1) stellt ein innovatives Answer Set Programming (ASP)-basiertes System vor, das die Termi…

Mit dem rasanten Aufstieg großer Sprachmodelle (LLMs) wächst das Interesse an intelligenten Code‑Assistenten. Während die Unterstützung für…

Ein neuer Ansatz zur effizienten Terminplanung in vertiports wurde auf arXiv veröffentlicht (ArXiv:2512.15462v1). Der Beitrag adressiert di…

Ein neues, auf Logikprogrammierung basierendes System ermöglicht es autonomen Agenten, nicht nur die Einhaltung von Richtlinien zu prüfen…

Ein neues Verfahren aus dem arXiv-Preprint 2511.08715v1 zeigt, wie man unstrukturierte englische Texte in voll funktionsfähige ASP‑Programm…

In der heutigen Welt, in der KI-Modelle immer häufiger Entscheidungen in Bereichen wie Finanzen, Recht und Personalwesen treffen, wächst de…

In der Forschung zur automatischen Entität-Relation-Extraktion (JERE) wurde ein neuer, generischer Workflow vorgestellt, der die Leistungsf…