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


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

44

Nombre de Notices déposées

6

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

Cartographie des collaborations

Tags

Functional dependencies Approximation Existential Rules Direct access Know-how Agroecology Computational aspects of knowledge representation Ontologies Gestion des données basée sur des connaissances Logic and computation Annotated databases Fine-grained complexity Reasoning with Existential Rules Automated planning Conjunctive queries Factorised databases Computational complexity of reasoning Knowledge representation languages Knowledge representation and reasoning Knowledge based data management Lexicographic ordering Service crop Query rewriting First-order logic Accès aux données médiatisé par une ontologie Knowledge graph Ecosystem service Gradual Semantics Bayesian Network Decidability Hyperproperties Core Human-aware task planning Knowledge Integration Argumentation Food packaging Computability Theory Informatique Data Quality Apprentissage automatique Functional trait Causality Benchmarking Computer science Database repairs HyperLTL CO2 Solubility Knowledge representation Constraint translation Logic Functional Diagram Existential rules Databases Ontology-based data access Hypertree decomposition Mapping Database theory Machine learning Food Machine ethics Aggregate queries Ontology Ethique des machines Knowledge discovery Integrity constraints Join queries Disjunctive Existential Rules Knowledge Representation Disjunctive existential rules Food Compositional parameters Answer Set Programming LTL Datalog Expert knowledge Reasoning Knowledge reasoning Cheesemaking Inconsistency handling Complexity Knowledge Base Disjunctive Chase Termination ASP Probabilistic model Logic programming Database inconsistency Collaborative planning Enumeration Database query processing and optimization theory Graph based Knowledge Representation and Reasoning INRAE Data Integration Logic Ethics Chase Logique Expertise integration Knowledge Representation and Reasoning Decision support systems Agroécologie Linked open data Rules