Informatique - Logique en informatique

Une méthode pour traduire la logique temporelle linéaire avec des opérateurs passés en automates de Rabin déterministes.

Une méthode pour améliorer la précision de classification en deep learning en imposant des règles logiques.

Apprends comment la logique de Hoare quantique assure la justesse des programmes de calcul quantique.

Cette étude présente une nouvelle façon d'explorer les Logiques Atomiques à travers des perspectives modulaires.

Explorer de nouvelles méthodes pour vérifier les requêtes SQL en utilisant des théories de tables et de relations.

Explore le concept de représenter des fonctions à travers des processus en informatique.

Apprends à créer des requêtes qui distinguent les données efficacement.

Cet article parle d'une nouvelle perspective sur les processus de décision de Markov pour les systèmes multi-agents.

Un aperçu de la logique de Lukasiewicz à valeurs finies et de ses systèmes de preuve.

Une méthode pour automatiser et optimiser la sélection d'instructions pour différentes architectures informatiques.

Apprends sur la logique intuitionniste et ses applications dans différents domaines.

Explorer le rôle des MSO dans la compréhension des suites de récurrence linéaires et de leur décidabilité.

Cette étude examine la dimension de Weisfeiler-Leman et les configurations cohérentes dans les graphes.

De nouvelles méthodes améliorent la création de protocoles distribués pour un calcul fiable.

Explorer le rôle des désignateurs non-rigides dans les logiques de description modales.

DPSynth utilise la programmation dynamique pour synthétiser les fonctions booléennes de manière efficace.

Une nouvelle approche améliore la vérification du code Rust qui utilise la mutabilité intérieure.

Examiner les relations et la complexité des degrés de Weihrauch à travers la théorie équationnelle.

Une nouvelle méthode simplifie la complexité des jeux à états infinis pour une conception de système efficace.

Une étude sur la complexité de la vérification de modèle de la logique inquisitive.

Explorer les liens entre les algèbres combinatoires à ruban et la logique computationnelle.

Explore les bases et les applications de la théorie des graphes dans différents domaines.

Cet article présente des techniques efficaces pour utiliser la logique du premier ordre dans la vérification des systèmes.

Ce papier explore de nouveaux problèmes dans les modèles VASS continus affines.

Un aperçu des graphes, de leurs propriétés et de leur rôle en informatique.

Une nouvelle méthode améliore la vérification des logiciels en utilisant les Langages de Précédence des Opérateurs et SMT.

Combiner les LLM avec des graphes de connaissances améliore la précision des réponses dans les systèmes de données.

Explorer les RNC et leur rôle dans le traitement du langage à travers des éléments d'identité.

Cet article parle de la vérification des skiplists sans verrou dans les systèmes concurrents.

Un aperçu de la façon dont différents systèmes de surveillance vérifient des comportements complexes.

Apprends à ajuster tes croyances en fonction de nouvelles preuves dans la prise de décisions.

Une méthode pour vérifier la sécurité des voitures autonomes et des drones en utilisant des réseaux de neurones.

Examiner les nouvelles avancées dans les outils pour vérifier des systèmes complexes.

Une vue d'ensemble des CSPs commutatifs et non commutatifs et de leurs implications.

Un aperçu des théories composites et de leur importance dans les mathématiques modernes.

Une nouvelle approche utilise des données pour simplifier l'analyse de systèmes complexes.

Cet article examine l'inférence profonde et le calcul des séquences dans le raisonnement logique.

Un aperçu de comment les agents partagent et raisonnent sur la connaissance.

Exploration des défis de bi-accessibilité dans les réseaux de Petri améliorés avec des valeurs de données.

Un outil qui utilise l'IA pour générer des assertions d'aide pour la vérification de code Dafny.