Computerwissenschaften - Logik in der Informatik

Ein neuer Ansatz verbessert das Verständnis von KI-Entscheidungen im föderierten Lernen.

Lern, wie kryptografische Protokolle sensitive digitale Informationen schützen.

Eine neue Methode verbessert die Genauigkeit der Klassifizierung von Bewegungsmustern.

Ein Blick darauf, wie Realisierbarkeit Mathematik, Logik und Rechnung miteinander verbindet.

Ein Blick darauf, wie unser Gehirn die Welt vorhersagt und handelt.

Dieser Artikel untersucht selbstadaptive Systeme in Unterwasser-Roboterfahrzeugen.

Die Erkundung der Auswirkungen der monus-Semantik auf Vektoraddition Systeme mit Zuständen.

Eine neue Methode, um formale Beweise zwischen verschiedenen Beweisassistenten zu teilen.

Ein Blick darauf, wie VeriFast die Verifizierung von C-Programmen mit formalen Systemen verbessert.

Ein Blick auf Best-Effort-Synthese für Agenten, die mit Unsicherheit konfrontiert sind.

Ein Rahmenwerk zum Verwalten des Verhaltens von smarten Maschinen durch Regeln und Strafen.

In diesem Artikel wird ein innovativer Ansatz vorgestellt, um die Erkennung von Verkehrsschildern zu verbessern.

Ein klarer Blick auf Prozesse, Nebenläufigkeit und deren Bedeutung in der Informatik.

Maschinelles Lernen mit logischem Denken kombinieren, um die Entscheidungsfindung in dynamischen Umgebungen zu verbessern.

Das Verständnis von Erklärbarkeit in KI durch Answer-set Programming verbessert Entscheidungsprozesse.

Eine Studie über die Verbindung von Deep Learning und symbolischem Denken für bessere KI-Modelle.

Das Verständnis der Fahrer für sichereres halbautonomes Fahren verbessern.

Dieses System kombiniert Python und Prolog für eine reibungslose Funktionalität.

Optimierung der Flugzeugproduktion durch Co-Design und moderne Modellierungsmethoden.

Strategien zur Beibehaltung der Konsistenz in Antwortmengenprogrammen durch Konfliktlösung.

Neue Methoden verbessern die Effizienz beim Lösen von Answer Set Programming-Problemen.

Dieses Paper bewertet die logischen Denkfähigkeiten des CLIP-Modells von OpenAI.

KI kann effizient aus einem einzigen Beispiel lernen und verbessert so die Textklassifikation.

Erforschen, wie KI über verschiedene Entscheidungen und Ergebnisse nachdenken kann.

Eine Methode, um Programmieren zu verbessern, indem man Prädikate und ihre Argumente analysiert.

Dieser Artikel bewertet Benchmarks zur Einschätzung von Sprachen, die Logikregeln integrieren.

Ein Blick darauf, wie ABA-Lernen das Argumentieren in der Künstlichen Intelligenz beeinflusst.

Ein einfacher Leitfaden zu unscharfen groben Annäherungen und deren Anwendungen.

Ein Blick auf Model-Checking zur Programmbestätigung bei komplexen Verhaltensweisen.

Ein Blick auf die Bedeutung und Anwendungen von Moore-Penrose-Inversen.

Eine Übersicht über Quanten-Suplattices und ihre Bedeutung in der Quantenmechanik und Mathematik.

Untersuchung der Erfüllbarkeit in der mehrdimensionalen zeitlichen propositionalen Temporallogik.

Dieses Papier untersucht den Einfluss der Multirole-Logik auf logische Operationen und Kommunikationssysteme.

Lerne Methoden, um Worst-Case-Szenarien für nebenläufige Programme zu erstellen.

Ein Blick auf Gradierungen und ihre Rolle beim Management von Berechnungseffekten in Monaden.

Ein neuer Ansatz vereinfacht die Verifikation für nebenläufige Programme über verschiedene Speicherarchitekturen hinweg.

Ein neuer Ansatz, um Agenteninteraktionen und Wissen in Systemen zu verstehen.

Dieser Artikel untersucht, wie man Ereignisse in stochastischen Prozessen mit metrischer temporaler Logik misst.

Untersucht die Beziehung zwischen minimalen und konstruktiven modalen Logiken im Denken.

Ein Blick darauf, wie Beziehungen die Datenorganisation vereinfachen und die Analyse verbessern.