Computerwissenschaften - Logik in der Informatik

Künstliche IntelligenzModellbasiertes Verstärkungslernen verbessert analoges Denken

Eine Studie vergleicht modellbasiertes und modellfreies Reinforcement Learning beim analogischen Schliessen.

Jihwan Lee, Woochang Sim, Sejin Kim

Jun 21, 2025 ― 5 min Lesedauer

LogikDie Struktur mathematischer Beweise

Ein Blick in die Beweistheorie und ihre Bedeutung in der Mathematik.

Amirhossein Akbar Tabatabai

Jun 20, 2025 ― 5 min Lesedauer

Rechnen und SpracheLLM-Antworten mit der 4StepFocus-Methode verfeinern

Eine neue Methode verbessert die Zuverlässigkeit der Antworten von grossen Sprachmodellen.

Derian Boer, Fabian Koch, Stefan Kramer

Jun 19, 2025 ― 6 min Lesedauer

Künstliche IntelligenzSpielentwicklung mit der YORO-Methode verbessern

Erfahre, wie YORO die prozedurale Inhaltserstellung im Gaming verbessert.

Jediah Katz, Bahar Bateni, Adam M. Smith

Jun 19, 2025 ― 7 min Lesedauer

Logik in der InformatikVerstehen von gut gefilterten DCPOs in der Mathematik

Ein einfacher Leitfaden zu gut gefilterten dcpos und deren Eigenschaften.

Hualin Miao, Huijun Hou, Xiaodong Jia

Jun 18, 2025 ― 5 min Lesedauer

Logik in der InformatikVerstehen von Booleschen Funktionen und Modallogik

Eine Übersicht über boolesche Funktionen und modale Logik in Denksystemen.

Christoph Berkholz, Dietrich Kuske, Christian Schwarz

Jun 18, 2025 ― 6 min Lesedauer

Diskrete MathematikDie Rolle von Hypergraphen in Kausalitätsstudien

Hypergraphen erkunden, um Ereignisbeziehungen und Kausalität zu verstehen.

Utkarsh Bajaj

Jun 18, 2025 ― 6 min Lesedauer

Logik in der InformatikLE-Logik: Verbesserung der Wissensdarstellung

Erfahre, wie LE-Logik die Wissensdarstellung und die Beantwortung von Anfragen verbessert.

Krishna Manoorkar, Ruoding Wang

Jun 18, 2025 ― 6 min Lesedauer

Logik in der InformatikAutomatisierung der Transformation von nichtlinearen Optimierungsmodellen

Dieses Papier spricht über automatisierte Methoden zur Umwandlung komplexer nichtlinearer Optimierungsmodelle in lineare Formen.

Jian Cao, Liyong Lin, Lele Li

Jun 17, 2025 ― 6 min Lesedauer

Logik in der InformatikDer Mason-Stothers-Satz und seine Auswirkungen

Die Erforschung des Mason-Stothers-Theorems und seiner Bedeutung in der Zahlentheorie.

Jineon Baek, Seewoo Lee

Jun 16, 2025 ― 7 min Lesedauer

Logik in der InformatikUntersuchung der Weihrauch-Reduzierbarkeit durch Büchi-Spiele

Die Analyse der Verbindungen zwischen Weihrauchproblemen und Büchi-Spielen in der Informatik.

Cécilia Pradic

Jun 15, 2025 ― 5 min Lesedauer

Künstliche IntelligenzNeues Denken über das Denken: Die Rolle von Ausnahmen

Untersuchen, wie widerlegbare Argumentation Ausnahmen in unser Verständnis von Konzepten einbezieht.

Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni

Jun 15, 2025 ― 7 min Lesedauer

LogikKonstruktive und intuitionistische modale Logiken verbinden

Eine Studie, die Ähnlichkeiten zwischen zwei Arten von modaler Logik aufdeckt.

Leonardo Pacheco

Jun 14, 2025 ― 5 min Lesedauer

Logik in der InformatikHybridspiele und Kontrollstrategien durchsuchen

Die Herausforderungen von Hybridspielen und das Syntheseproblem erkunden.

Catalin Dima, Mariem Hammami, Youssouf Oualhadj

Jun 14, 2025 ― 6 min Lesedauer

LogikVerstehen von Deep Sets in der Berechnung

Die Bedeutung und Auswirkungen von Deep Sets in der Informationstheorie erkunden.

Ang Li

Jun 13, 2025 ― 7 min Lesedauer

Logik in der InformatikVerwaltung von Shared-Memory-Konkurrenz in der Programmierung

Lern die wichtigsten Strategien für den Umgang mit gemeinsamen Ressourcen in der nebenläufigen Programmierung.

Ian J. Hayes, Cliff B. Jones, Larissa A. Meinicke

Jun 12, 2025 ― 6 min Lesedauer

Diskrete MathematikDie Komplexität von Automaten-Netzwerken enthüllt

Dieser Artikel behandelt die Herausforderungen bei der Analyse von Automaten-Netzwerken und deren Auswirkungen.

Aliénor Goubault--Larrecq, Kévin Perrot

Jun 12, 2025 ― 7 min Lesedauer

Künstliche IntelligenzMinimale Unzufriedenstellende Kerne in Temporaler Logik identifizieren

Eine neue Methode zur Findung minimaler unbefriedigbarer Kerne in linearer Zeitlogik.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza

Jun 12, 2025 ― 5 min Lesedauer

Logik in der InformatikDie Rolle von Containern in der Programmierung erkunden

Container formen Datenstrukturen für besseres Management und Organisation in der Programmierung.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

Jun 11, 2025 ― 7 min Lesedauer

Logik in der InformatikEffizientes Zählen von minimalen Modellen in booleschen Formeln

Eine neue Methode vereinfacht das Zählen von minimalen Modellen in der Booleschen Logik.

Mohimenul Kabir

Jun 11, 2025 ― 6 min Lesedauer

Logik in der InformatikEinführung in den Ressourcen-Lambda-Kalkül

Ein neuer Ansatz für die Lambda-Kalkül, der Ressourcennutzung und Approximierung integriert.

Davide Barbarossa

Jun 10, 2025 ― 5 min Lesedauer

Logik in der InformatikUntersuchung der Stabilitätseigenschaft im Call-by-Value-Kalkül

Ein Blick auf die Stabilitätseigenschaft und ihre Bedeutung im Call-by-Value-Kalkül.

Davide Barbarossa

Jun 10, 2025 ― 5 min Lesedauer

Logik in der InformatikDie Rolle der Zufälligkeit in der Informatik

Ein Blick darauf, wie Zufälligkeit moderne Computationstechniken prägt.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Jun 9, 2025 ― 6 min Lesedauer

KategorientheorieVerstehen von Funktionen und ihren Veränderungen

Ein Blick auf Funktionen, Ableitungen und wie sie in unserem Alltag miteinander verbunden sind.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani

Jun 9, 2025 ― 6 min Lesedauer

Algebraische TopologieEin tiefer Blick in Überdeckungsräume

Erforsche die Bedeutung von Überlagerungsräumen in der algebraischen Topologie und deren Anwendungen.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Jun 8, 2025 ― 6 min Lesedauer

Software-EntwicklungFortschritte in der Beweisautomatisierung mit LLMs

Neue Methoden zur Verbesserung der Beweisverifizierung in der Softwaretechnik erkunden.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

Jun 8, 2025 ― 7 min Lesedauer

Logik in der InformatikNebenläufigkeit und Wahrscheinlichkeit in moderner Programmierung

Ein Rahmenwerk zur Analyse von parallelen Programmen mit probabilistischen Ergebnissen.

Renato Neves

Jun 6, 2025 ― 8 min Lesedauer

KategorientheoriePropositionale Gleichheit in der Typentheorie: Ein genauerer Blick

Untersuchung der Rolle der propositionalen Gleichheit in der Typentheorie und ihrer Implikationen.

Andrea Laretto, Fosco Loregian, Niccolò Veltri

Jun 6, 2025 ― 4 min Lesedauer

Künstliche IntelligenzVerbesserung des KI-Denkens mit Gedankennachweis

Ein neues Framework soll die Zuverlässigkeit und Klarheit im KI-Denken verbessern.

Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary

Jun 6, 2025 ― 8 min Lesedauer

Logik in der InformatikDie Schnittstelle von Logik und Geometrie in Beweisen

Untersuchen der Beziehung zwischen mathematischen Beweisen und geometrischen Räumen.

Davide Barbarossa

Jun 5, 2025 ― 6 min Lesedauer

ProgrammiersprachenEine neue Methode zur Beweisführung von Programmbeendigung

Werkzeuge verbessern, um zu überprüfen, ob Schleifen in Programmen fertig laufen.

Shaowei Zhu, Zachary Kincaid

Jun 5, 2025 ― 6 min Lesedauer

Logik in der InformatikAnalyse von unendlichen Markov-Ketten

Ein Rahmen für ein besseres Verständnis komplexer Markov-Ketten durch Abstraktions- und Sampling-Techniken.

Benoît Barbot, Patricia Bouyer, Serge Haddad

Jun 4, 2025 ― 7 min Lesedauer

Logik in der InformatikSicherheit voranbringen durch Team-Semantik in der Softwareentwicklung

Teamsemantik verbessert die Überprüfung komplexer Eigenschaften in Softwaresystemen.

Andreas Krebs, Arne Meier, Jonni Virtema

Jun 4, 2025 ― 8 min Lesedauer

Logik in der InformatikBewachte Rekursion in Programmiersprachen

Erforschen, wie geschützte Rekursion unendliche Datenstrukturen in der Programmierung verbessert.

Louis Lemonnier

Jun 3, 2025 ― 9 min Lesedauer

GruppentheorieVerbindung von Schlangen und Gruppen: Ein Überblick über die Forschung

Erkunde die Beziehung zwischen Gruppen und Schlangenteilungsproblemen in der Mathematik.

Laurent Bartholdi, Ville Salo

Jun 3, 2025 ― 5 min Lesedauer

Logik in der InformatikVerbindung von Logik und Programmierung durch Call-by-Value-Auswertung

Dieses Papier untersucht den Zusammenhang zwischen minimaler intuitionistischer Logik und Call-by-Value-Auswertung in der Programmierung.

Beniamino Accattoli

Jun 3, 2025 ― 11 min Lesedauer

Künstliche IntelligenzModellierung von Argumentationsrahmen: Ein neuer Ansatz

Eine frische Perspektive darauf, wie die Reihenfolge der Argumente Diskussionen prägt.

Yann Munro, Camilo Sarmiento, Isabelle Bloch

Jun 3, 2025 ― 7 min Lesedauer

ProgrammiersprachenÜberprüfung der Ausnahmebehandlung im Java-Bytecode

Ein Verfahren zur Analyse von aussergewöhnlichem Verhalten in Java-Programmen mit Hilfe von Bytecode.

Marco Paganoni, Carlo A. Furia

Jun 2, 2025 ― 7 min Lesedauer

Logik in der InformatikBranching Bisimilarität und Time-Outs in reaktiven Systemen

Untersuche, wie Time-outs die Systeminteraktionen in der verzweigten Bisimilarität beeinflussen.

Gaspard Reghem, Rob van Glabbeek

Jun 2, 2025 ― 5 min Lesedauer

Logik in der InformatikCybersecurity neu denken: Eine frische Perspektive

Dieses Papier bespricht einen neuen Ansatz zur Cybersicherheit mit probabilistischer Obstruktionszeitlogik.

Jean Leneutre, Vadim Malvone, James Ortiz

Jun 2, 2025 ― 6 min Lesedauer