Informatique - Logique en informatique

Cet article explore les séquents imbriqués et leur application dans les logiques modales quantifiées.

Comprendre les réseaux de Petri et leur équivalence grâce à la bisimilarité préservant la structure.

Un aperçu des règles existentielle et de leur importance dans l'implication des requêtes.

Un aperçu des principes de la Théorie des Types d'Homotopie et son impact.

Un aperçu des concepts clés en informatique quantique, en se concentrant sur la somme des chemins.

Ce papier examine des méthodes pour évaluer la relation entre des concepts en utilisant DBpedia.

Cet article présente une nouvelle approche pour gérer les données bruyantes dans la programmation logique inductive.

Ce travail présente des techniques innovantes pour gérer efficacement des programmes réactifs complexes.

Un aperçu de la vérification formelle et des architectures de sécurité pour la conduite automatisée.

Une exploration du rôle de la théorie des types dans la structuration des relations mathématiques et informatiques.

Cet article examine les obligations conditionnelles et leur importance dans le raisonnement éthique.

Un aperçu des sessions partiellement tapées pour des interactions digitales efficaces.

Une étude sur la création de protocoles de communication fiables pour les systèmes critiques de sécurité.

Examiner des méthodes pour gérer les incohérences dans les systèmes relationnels flous.

Une nouvelle méthode améliore l'efficacité de la classification NPN en utilisant l'influence booléenne.

Un aperçu de l'utilisation de la causalité pour mieux comprendre les pannes de système.

Examiner les modèles de contrôle d'accès et le rôle de la logique formelle dans l'amélioration de la sécurité.

Un nouveau regard sur les fonctions avec des équations différentielles ordinaires discrètes.

Explorer une approche par couches de la logique modale et ses applications.

Un nouveau DSL améliore la conception et la vérification du matériel, boostant la productivité et la précision.

Une nouvelle approche améliore la compréhension des décisions de l'IA dans l'apprentissage fédéré.

Apprends comment les protocoles cryptographiques protègent les infos digitales sensibles.

Une nouvelle méthode améliore la précision de la classification des motifs de mouvement.

Un aperçu de comment la réalisabilité relie les mathématiques, la logique et la computation.

Un aperçu de comment nos cerveaux prédisent et agissent dans le monde.

Cet article explore les systèmes auto-adaptatifs dans les véhicules robotiques sous-marins.

Explorer l'impact de la sémantique monus sur les systèmes d'addition de vecteurs avec états.

Une nouvelle méthode pour partager des preuves formelles entre différents assistants de preuve.

Un aperçu de comment VeriFast améliore la vérification des programmes C en utilisant des systèmes formels.

Un aperçu de la synthèse à meilleur effort pour les agents confrontés à l'incertitude.

Un cadre pour gérer le comportement des machines intelligentes à travers des règles et des pénalités.

Cet article présente une approche innovante pour améliorer la reconnaissance des panneaux de circulation.

Un aperçu clair des processus, de la concurrence et de leur importance en informatique.

Combiner l'apprentissage automatique avec le raisonnement pour améliorer les capacités de décision dans des environnements dynamiques.

Comprendre l'explicabilité en IA grâce à la programmation par ensembles de réponses améliore les processus de prise de décision.

Une étude sur la fusion de l'apprentissage profond et du raisonnement symbolique pour de meilleurs modèles d'IA.

Améliorer la compréhension des conducteurs pour un pilotage semi-autonome plus sûr.

Ce système intègre Python et Prolog pour une fonctionnalité sans accroc.

Rendre la production d'avions plus efficace grâce au co-design et aux méthodes de modélisation avancées.

Stratégies pour maintenir la cohérence dans les programmes d'ensemble de réponses grâce à la résolution de conflits.