Informatique - Logique en informatique

Ce papier examine les défis de l'utilisation des comonades de jeu pour représenter des systèmes logiques.

Un aperçu des méthodes qualitatives et quantitatives pour comprendre la probabilité.

Ce papier examine la consistance en logique modale en utilisant des théories génériques.

La recherche se concentre sur l'amélioration des compétences en raisonnement des modèles de langage en utilisant la logique formelle.

Cet article examine la positivité ultime et son importance dans les systèmes linéaires.

Un aperçu de la logique de comptage et son impact sur l'analyse de graphes.

Une méthode qui se concentre sur la validation des exigences de manière efficace pendant le développement de logiciels.

Ce document présente un outil pour expliquer les conclusions logiques manquantes dans les systèmes d'ontologie.

ProofBuddy aide les étudiants à maîtriser les compétences en preuve mathématique en utilisant l'assistant de preuve Isabelle.

Un aperçu des preuves complexes et de leurs structures dans une logique parcimonieuse.

EduSAT simplifie l'apprentissage des concepts booléens avec des outils pratiques et des fonctionnalités interactives.

Un aperçu de la connexion entre les types W et la topologie formelle en maths.

Un nouveau langage de programmation se concentre sur les dimensions pour améliorer la modélisation scientifique.

Examiner le rôle des descriptions définies dans la connaissance et le raisonnement.

De nouvelles méthodes en logiques de description permettent une représentation et un raisonnement des connaissances plus riches.

Un nouveau cadre améliore la planification des robots en utilisant une représentation de connaissance structurée.

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.