index - Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données Accéder directement au contenu


Les systèmes d’information actuels sont basés sur l’exploitation de données provenant d’un nombre croissant de sources hétérogènes. Pour maîtriser la variété des données, il est nécessaire de développer des paradigmes d’accès aux données qui s’adaptent aux différents types de sources, ainsi que des langages déclaratifs de haut niveau assurant le traitement de ces données et leur qualité. L’équipe BOREAL s’intéresse aux problématiques de raisonnement, à la fois fondamentales et appliquées, dans un contexte de variété des données. Son expertise en représentation de connaissances et raisonnement automatique est mise au service de la conception de nouvelles techniques pour la gestion de données hétérogènes et fédérées, qui s’appuient en particulier sur des langages expressifs à base de règles.

Open Access Files

94 %

Nombre de Fichiers déposés

32

Nombre de Notices déposées

3

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

Safety Agroécologie Existential rules Milk Microfiltration Ecosystem service Service crop Knowledge representation Automated planning Ontologies Expert knowledge Ré-écriture de requête Knowledge graph Linked open data Disjunctive existential rules Query Rewriting HyperLTL Reasoning with Existential Rules Approximation Restricted Chase Chase INRAE Knowledge reasoning Database theory Query rewriting Règles existentielles Core Knowledge representation languages Median Knowledge discovery Apprentissage automatique Food Semantic Web Hyperproperties Functional trait Quantiles Knowledge Integration Ranking functions Knowledge Representation and Reasoning Logique Rules Gradual Semantics Raisonnements Human-aware task planning Ontology-based data access Représentation des connaissances First-order logic Ethique des machines Informatique Decision support systems Existential Rules Agroecology Database query processing and optimization theory Disjunctive Chase Termination Data Integration CO2 Solubility Bayesian Network Complexity Machine ethics OBDA Graph based Knowledge Representation and Reasoning Knowledge representation and reasoning Argumentation Computational aspects of knowledge representation LTL System Validation Disjunctive Existential Rules Causality Logic Ontology Based Data Access Knowledge Base Expertise integration Cheesemaking Qualité des données Know-how Ontology-Based Data Access Reasoning Food packaging Logic Functional Diagram Ethics Packaging sustainability Food Compositional parameters Gestion des données basée sur des connaissances Computer science Machine learning Knowledge based data management Accès aux données médiatisé par une ontologie Datalog Logic and computation Constraint translation Reliability Collaborative planning Mapping Research Data Quality Join queries Probabilistic relational models Planification automatique Probabilistic model Satisfiability Ontology